runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10041 MiB free)
memory of node 1: 16384 MiB (10958 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406618-1569406760/watcher-4406618-1569406760 -o /var/tmp/evaluation-result-4406618-1569406760/solver-4406618-1569406760 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1569396628-31597 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 734900325 HOME/instance-4406618-1569406760.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=939, runsolver pid=936
[startup+0.100546 s]*
/proc/loadavg: 2.02 2.04 2.05 4/230 957
/proc/meminfo: memFree=21487100/32770624 swapFree=66997172/67108860
[pid=939] ppid=936 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/939/stat : 939 (xcsp3-exec) S 936 939 31565 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516614349 115843072 364 33554432000 4194304 5098028 140735669193408 140735669191512 139908535890556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31633408 140735669195607 140735669195865 140735669195865 140735669198790 0
/proc/939/statm: 28282 364 305 221 0 87 0
[pid=941] ppid=939 vsize=15144776 memory=28848 CPUtime=0.12 cores=1,3,5,7
/proc/941/stat : 941 (java) S 939 939 31565 0 -1 1077944320 5692 0 0 0 11 1 0 0 20 0 15 0 516614349 15508250624 7212 33554432000 4194304 4196468 140723534136144 140723534118688 139659161722615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
/proc/941/statm: 3786194 7212 3120 1 0 3748377 0
[pid=941/tid=942] ppid=939 vsize=15144776 memory=7022364632946311227 CPUtime=0.09 cores=1,3,5,7
/proc/941/task/942/stat : 942 (java) R 939 939 31565 0 -1 4202560 3645 0 0 0 8 1 0 0 20 0 15 0 516614350 15508250624 7344 33554432000 4194304 4196468 140723534136144 139659165950864 139659161734550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=943] ppid=939 vsize=15144776 memory=4297096162 CPUtime=0 cores=1,3,5,7
/proc/941/task/943/stat : 943 (java) S 939 939 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516614350 15508250624 7344 33554432000 4194304 4196468 140723534136144 139659118275088 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=944] ppid=939 vsize=15144776 memory=140140774533293 CPUtime=0 cores=1,3,5,7
/proc/941/task/944/stat : 944 (java) S 939 939 31565 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516614350 15508250624 7344 33554432000 4194304 4196468 140723534136144 139659117222544 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=945] ppid=939 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/941/task/945/stat : 945 (java) S 939 939 31565 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516614350 15508250624 7344 33554432000 4194304 4196468 140723534136144 139658752350480 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=946] ppid=939 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/941/task/946/stat : 946 (java) S 939 939 31565 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516614350 15508250624 7344 33554432000 4194304 4196468 140723534136144 139658751297936 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=947] ppid=939 vsize=15144776 memory=140140774504064 CPUtime=0 cores=1,3,5,7
/proc/941/task/947/stat : 947 (java) S 939 939 31565 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516614352 15508250624 7344 33554432000 4194304 4196468 140723534136144 139658630327024 139659161733762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=948] ppid=939 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/941/task/948/stat : 948 (java) S 939 939 31565 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516614352 15508250624 7344 33554432000 4194304 4196468 140723534136144 139658629273248 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=949] ppid=939 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/941/task/949/stat : 949 (java) S 939 939 31565 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516614352 15508250624 7344 33554432000 4194304 4196468 140723534136144 139658628220144 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=952] ppid=939 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/941/task/952/stat : 952 (java) S 939 939 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516614355 15508250624 7344 33554432000 4194304 4196468 140723534136144 139658627168720 139659161741211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=953] ppid=939 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/941/task/953/stat : 953 (java) S 939 939 31565 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 516614355 15508250624 7344 33554432000 4194304 4196468 140723534136144 139658626115824 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=954] ppid=939 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/941/task/954/stat : 954 (java) S 939 939 31565 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 15 0 516614355 15508250624 7344 33554432000 4194304 4196468 140723534136144 139658625063280 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=955] ppid=939 vsize=15144776 memory=140140774504064 CPUtime=0.02 cores=1,3,5,7
/proc/941/task/955/stat : 955 (java) R 939 939 31565 0 -1 4202560 341 0 0 0 2 0 0 0 20 0 15 0 516614355 15508250624 7344 33554432000 4194304 4196468 140723534136144 139658624010224 139659161743962 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=956] ppid=939 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/941/task/956/stat : 956 (java) S 939 939 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516614355 15508250624 7344 33554432000 4194304 4196468 140723534136144 139658622957920 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=957] ppid=939 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/941/task/957/stat : 957 (java) S 939 939 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516614355 15508250624 7344 33554432000 4194304 4196468 140723534136144 139658621905968 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30304 KiB
[startup+0.211027 s]*
/proc/loadavg: 2.02 2.04 2.05 5/230 957
/proc/meminfo: memFree=21473260/32770624 swapFree=66997172/67108860
[pid=939] ppid=936 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/939/stat : 939 (xcsp3-exec) S 936 939 31565 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516614349 115843072 364 33554432000 4194304 5098028 140735669193408 140735669191512 139908535890556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31633408 140735669195607 140735669195865 140735669195865 140735669198790 0
/proc/939/statm: 28282 364 305 221 0 87 0
[pid=941] ppid=939 vsize=15144776 memory=40912 CPUtime=0.34 cores=1,3,5,7
/proc/941/stat : 941 (java) S 939 939 31565 0 -1 1077944320 9475 0 0 0 31 3 0 0 20 0 15 0 516614349 15508250624 10228 33554432000 4194304 4196468 140723534136144 140723534118688 139659161722615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
/proc/941/statm: 3786194 10228 3302 1 0 3748377 0
[pid=941/tid=942] ppid=939 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/941/task/942/stat : 942 (java) R 939 939 31565 0 -1 4202560 6610 0 0 0 18 2 0 0 20 0 15 0 516614350 15508250624 10228 33554432000 4194304 4196468 140723534136144 139659165959376 139659161734550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=943] ppid=939 vsize=15144776 memory=4297096162 CPUtime=0 cores=1,3,5,7
/proc/941/task/943/stat : 943 (java) S 939 939 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516614350 15508250624 10228 33554432000 4194304 4196468 140723534136144 139659118275088 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=944] ppid=939 vsize=15144776 memory=140140774533293 CPUtime=0 cores=1,3,5,7
/proc/941/task/944/stat : 944 (java) S 939 939 31565 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516614350 15508250624 10228 33554432000 4194304 4196468 140723534136144 139659117222544 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=945] ppid=939 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/941/task/945/stat : 945 (java) S 939 939 31565 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516614350 15508250624 10228 33554432000 4194304 4196468 140723534136144 139658752350480 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=946] ppid=939 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/941/task/946/stat : 946 (java) S 939 939 31565 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516614350 15508250624 10228 33554432000 4194304 4196468 140723534136144 139658751297936 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=947] ppid=939 vsize=15144776 memory=140140774504064 CPUtime=0 cores=1,3,5,7
/proc/941/task/947/stat : 947 (java) S 939 939 31565 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516614352 15508250624 10228 33554432000 4194304 4196468 140723534136144 139658630327024 139659161733762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=948] ppid=939 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/941/task/948/stat : 948 (java) S 939 939 31565 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516614352 15508250624 10228 33554432000 4194304 4196468 140723534136144 139658629273248 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=949] ppid=939 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/941/task/949/stat : 949 (java) S 939 939 31565 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516614352 15508250624 10228 33554432000 4194304 4196468 140723534136144 139658628220144 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=952] ppid=939 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/941/task/952/stat : 952 (java) S 939 939 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516614355 15508250624 10228 33554432000 4194304 4196468 140723534136144 139658627168720 139659161741211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=953] ppid=939 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/941/task/953/stat : 953 (java) S 939 939 31565 0 -1 1077944384 580 0 0 0 2 0 0 0 20 0 15 0 516614355 15508250624 10228 33554432000 4194304 4196468 140723534136144 139658626115824 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=954] ppid=939 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/941/task/954/stat : 954 (java) S 939 939 31565 0 -1 1077944384 271 0 0 0 2 0 0 0 20 0 15 0 516614355 15508250624 10228 33554432000 4194304 4196468 140723534136144 139658625063280 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=955] ppid=939 vsize=15144776 memory=140140774504064 CPUtime=0.08 cores=1,3,5,7
/proc/941/task/955/stat : 955 (java) S 939 939 31565 0 -1 1077944384 715 0 0 0 8 0 0 0 20 0 15 0 516614355 15508250624 10228 33554432000 4194304 4196468 140723534136144 139658624010224 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=956] ppid=939 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/941/task/956/stat : 956 (java) S 939 939 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516614355 15508250624 10228 33554432000 4194304 4196468 140723534136144 139658622957920 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=957] ppid=939 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/941/task/957/stat : 957 (java) S 939 939 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516614355 15508250624 10228 33554432000 4194304 4196468 140723534136144 139658621905968 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42368 KiB
[startup+0.318416 s]*
/proc/loadavg: 2.02 2.04 2.05 4/230 957
/proc/meminfo: memFree=21466248/32770624 swapFree=66997172/67108860
[pid=939] ppid=936 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/939/stat : 939 (xcsp3-exec) S 936 939 31565 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516614349 115843072 364 33554432000 4194304 5098028 140735669193408 140735669191512 139908535890556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31633408 140735669195607 140735669195865 140735669195865 140735669198790 0
/proc/939/statm: 28282 364 305 221 0 87 0
[pid=941] ppid=939 vsize=15149032 memory=50256 CPUtime=0.54 cores=1,3,5,7
/proc/941/stat : 941 (java) S 939 939 31565 0 -1 1077944320 10947 0 0 0 50 4 0 0 20 0 15 0 516614349 15512608768 12564 33554432000 4194304 4196468 140723534136144 140723534118688 139659161722615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
/proc/941/statm: 3787258 12564 3359 1 0 3748377 0
[pid=941/tid=942] ppid=939 vsize=15149032 memory=6935054825532540783 CPUtime=0.31 cores=1,3,5,7
/proc/941/task/942/stat : 942 (java) R 939 939 31565 0 -1 4202560 7895 0 0 0 28 3 0 0 20 0 15 0 516614350 15512608768 12637 33554432000 4194304 4196468 140723534136144 139659165957424 139659145803102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=943] ppid=939 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/941/task/943/stat : 943 (java) S 939 939 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516614350 15512608768 12637 33554432000 4194304 4196468 140723534136144 139659118275088 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=944] ppid=939 vsize=15149032 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/941/task/944/stat : 944 (java) S 939 939 31565 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516614350 15512608768 12637 33554432000 4194304 4196468 140723534136144 139659117222544 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=945] ppid=939 vsize=15149032 memory=3196 CPUtime=0 cores=1,3,5,7
/proc/941/task/945/stat : 945 (java) S 939 939 31565 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516614350 15512608768 12637 33554432000 4194304 4196468 140723534136144 139658752350480 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=946] ppid=939 vsize=15149032 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/941/task/946/stat : 946 (java) S 939 939 31565 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516614350 15512608768 12637 33554432000 4194304 4196468 140723534136144 139658751297936 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=947] ppid=939 vsize=15149032 memory=4213892 CPUtime=0 cores=1,3,5,7
/proc/941/task/947/stat : 947 (java) S 939 939 31565 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516614352 15512608768 12637 33554432000 4194304 4196468 140723534136144 139658630327024 139659161733762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=948] ppid=939 vsize=15149032 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/941/task/948/stat : 948 (java) S 939 939 31565 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516614352 15512608768 12637 33554432000 4194304 4196468 140723534136144 139658629273248 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=949] ppid=939 vsize=15149032 memory=14004 CPUtime=0 cores=1,3,5,7
/proc/941/task/949/stat : 949 (java) S 939 939 31565 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516614352 15512608768 12637 33554432000 4194304 4196468 140723534136144 139658628220144 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=952] ppid=939 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/941/task/952/stat : 952 (java) S 939 939 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516614355 15512608768 12637 33554432000 4194304 4196468 140723534136144 139658627168720 139659161741211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=953] ppid=939 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/941/task/953/stat : 953 (java) S 939 939 31565 0 -1 1077944384 703 0 0 0 5 0 0 0 20 0 15 0 516614355 15512608768 12637 33554432000 4194304 4196468 140723534136144 139658626115824 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=954] ppid=939 vsize=15149032 memory=140140622209488 CPUtime=0.04 cores=1,3,5,7
/proc/941/task/954/stat : 954 (java) S 939 939 31565 0 -1 1077944384 283 0 0 0 4 0 0 0 20 0 15 0 516614355 15512608768 12637 33554432000 4194304 4196468 140723534136144 139658625063280 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=955] ppid=939 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/941/task/955/stat : 955 (java) S 939 939 31565 0 -1 1077944384 796 0 0 0 12 0 0 0 20 0 15 0 516614355 15512608768 12637 33554432000 4194304 4196468 140723534136144 139658624010224 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=956] ppid=939 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/941/task/956/stat : 956 (java) S 939 939 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516614355 15512608768 12637 33554432000 4194304 4196468 140723534136144 139658622957920 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=957] ppid=939 vsize=15149032 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/941/task/957/stat : 957 (java) S 939 939 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516614355 15512608768 12637 33554432000 4194304 4196468 140723534136144 139658621905968 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51712 KiB
[startup+0.700841 s]
/proc/loadavg: 2.02 2.04 2.05 5/230 957
/proc/meminfo: memFree=21452156/32770624 swapFree=66997172/67108860
[pid=939] ppid=936 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/939/stat : 939 (xcsp3-exec) S 936 939 31565 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516614349 115843072 364 33554432000 4194304 5098028 140735669193408 140735669191512 139908535890556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31633408 140735669195607 140735669195865 140735669195865 140735669198790 0
/proc/939/statm: 28282 364 305 221 0 87 0
[pid=941] ppid=939 vsize=15151156 memory=75176 CPUtime=1.58 cores=1,3,5,7
/proc/941/stat : 941 (java) S 939 939 31565 0 -1 1077944320 15035 0 0 0 152 6 0 0 20 0 15 0 516614349 15514783744 18794 33554432000 4194304 4196468 140723534136144 140723534118688 139659161722615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
/proc/941/statm: 3787789 18794 3457 1 0 3748889 0
[pid=941/tid=942] ppid=939 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/941/task/942/stat : 942 (java) R 939 939 31565 0 -1 4202560 9164 0 0 0 64 3 0 0 20 0 15 0 516614350 15514783744 18794 33554432000 4194304 4196468 140723534136144 139659165961832 139659161734550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=943] ppid=939 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/941/task/943/stat : 943 (java) S 939 939 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516614350 15514783744 18794 33554432000 4194304 4196468 140723534136144 139659118275088 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=944] ppid=939 vsize=15151156 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/941/task/944/stat : 944 (java) S 939 939 31565 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516614350 15514783744 18794 33554432000 4194304 4196468 140723534136144 139659117222544 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=945] ppid=939 vsize=15151156 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/941/task/945/stat : 945 (java) S 939 939 31565 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516614350 15514783744 18794 33554432000 4194304 4196468 140723534136144 139658752350480 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=946] ppid=939 vsize=15151156 memory=772 CPUtime=0 cores=1,3,5,7
/proc/941/task/946/stat : 946 (java) S 939 939 31565 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516614350 15514783744 18794 33554432000 4194304 4196468 140723534136144 139658751297936 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=947] ppid=939 vsize=15151156 memory=10596 CPUtime=0 cores=1,3,5,7
/proc/941/task/947/stat : 947 (java) S 939 939 31565 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516614352 15514783744 18794 33554432000 4194304 4196468 140723534136144 139658630327024 139659161733762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=948] ppid=939 vsize=15151156 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/941/task/948/stat : 948 (java) S 939 939 31565 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516614352 15514783744 18794 33554432000 4194304 4196468 140723534136144 139658629273248 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=949] ppid=939 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/941/task/949/stat : 949 (java) S 939 939 31565 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516614352 15514783744 18794 33554432000 4194304 4196468 140723534136144 139658628220144 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=952] ppid=939 vsize=15151156 memory=3628 CPUtime=0 cores=1,3,5,7
/proc/941/task/952/stat : 952 (java) S 939 939 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516614355 15514783744 18794 33554432000 4194304 4196468 140723534136144 139658627168720 139659161741211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=953] ppid=939 vsize=15151156 memory=2828 CPUtime=0.25 cores=1,3,5,7
/proc/941/task/953/stat : 953 (java) R 939 939 31565 0 -1 4202560 1161 0 0 0 25 0 0 0 20 0 15 0 516614355 15514783744 18794 33554432000 4194304 4196468 140723534136144 139658626102368 139659146846157 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=954] ppid=939 vsize=15151156 memory=1048 CPUtime=0.27 cores=1,3,5,7
/proc/941/task/954/stat : 954 (java) R 939 939 31565 0 -1 4202560 1623 0 0 0 27 0 0 0 20 0 15 0 516614355 15514783744 18794 33554432000 4194304 4196468 140723534136144 139658625049304 139659145107484 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=955] ppid=939 vsize=15151156 memory=6140 CPUtime=0.34 cores=1,3,5,7
/proc/941/task/955/stat : 955 (java) S 939 939 31565 0 -1 1077944384 1777 0 0 0 34 0 0 0 20 0 15 0 516614355 15514783744 18794 33554432000 4194304 4196468 140723534136144 139658624010224 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=956] ppid=939 vsize=15151156 memory=612 CPUtime=0 cores=1,3,5,7
/proc/941/task/956/stat : 956 (java) S 939 939 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516614355 15514783744 18794 33554432000 4194304 4196468 140723534136144 139658622957920 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=957] ppid=939 vsize=15151156 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/941/task/957/stat : 957 (java) S 939 939 31565 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516614355 15514783744 18794 33554432000 4194304 4196468 140723534136144 139658621905968 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 76632 KiB
[startup+1.5009 s]
/proc/loadavg: 2.02 2.04 2.05 5/230 957
/proc/meminfo: memFree=21426544/32770624 swapFree=66997172/67108860
[pid=939] ppid=936 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/939/stat : 939 (xcsp3-exec) S 936 939 31565 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516614349 115843072 364 33554432000 4194304 5098028 140735669193408 140735669191512 139908535890556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31633408 140735669195607 140735669195865 140735669195865 140735669198790 0
/proc/939/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/941/task/949/stat : 949 (java) S 939 939 31565 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 516614352 15514783744 65537 33554432000 4194304 4196468 140723534136144 139658628220160 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=952] ppid=939 vsize=15151156 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/941/task/952/stat : 952 (java) S 939 939 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516614355 15514783744 65537 33554432000 4194304 4196468 140723534136144 139658627168720 139659161741211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=953] ppid=939 vsize=15151156 memory=14127836181038450 CPUtime=2.11 cores=1,3,5,7
/proc/941/task/953/stat : 953 (java) S 939 939 31565 0 -1 1077944384 19059 0 0 0 209 2 0 0 20 0 15 0 516614355 15514783744 65537 33554432000 4194304 4196468 140723534136144 139658626115824 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=954] ppid=939 vsize=15151156 memory=2116 CPUtime=1.84 cores=1,3,5,7
/proc/941/task/954/stat : 954 (java) S 939 939 31565 0 -1 1077944384 14766 0 0 0 182 2 0 0 20 0 15 0 516614355 15514783744 65537 33554432000 4194304 4196468 140723534136144 139658625063280 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=955] ppid=939 vsize=15151156 memory=33840 CPUtime=0.52 cores=1,3,5,7
/proc/941/task/955/stat : 955 (java) S 939 939 31565 0 -1 1077944384 8072 0 0 0 51 1 0 0 20 0 15 0 516614355 15514783744 65537 33554432000 4194304 4196468 140723534136144 139658624010224 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=956] ppid=939 vsize=15151156 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/941/task/956/stat : 956 (java) S 939 939 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516614355 15514783744 65537 33554432000 4194304 4196468 140723534136144 139658622957920 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=957] ppid=939 vsize=15151156 memory=3260 CPUtime=0.47 cores=1,3,5,7
/proc/941/task/957/stat : 957 (java) S 939 939 31565 0 -1 1077944384 886 0 0 0 20 27 0 0 20 0 15 0 516614355 15514783744 65537 33554432000 4194304 4196468 140723534136144 139658621905968 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
Current children cumulated CPU time: 2269.73 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 263604 KiB
[startup+2322.3 s]
/proc/loadavg: 0.67 0.72 0.90 2/207 1236
/proc/meminfo: memFree=25486444/32770624 swapFree=66997172/67108860
[pid=939] ppid=936 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/939/stat : 939 (xcsp3-exec) S 936 939 31565 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516614349 115843072 364 33554432000 4194304 5098028 140735669193408 140735669191512 139908535890556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31633408 140735669195607 140735669195865 140735669195865 140735669198790 0
/proc/939/statm: 28282 364 305 221 0 87 0
[pid=941] ppid=939 vsize=15151156 memory=264196 CPUtime=2329.84 cores=1,3,5,7
/proc/941/stat : 941 (java) S 939 939 31565 0 -1 1077944320 85115 0 0 0 232913 71 0 0 20 0 15 0 516614349 15514783744 66049 33554432000 4194304 4196468 140723534136144 140723534118688 139659161722615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
/proc/941/statm: 3787789 66049 3509 1 0 3748889 0
[pid=941/tid=942] ppid=939 vsize=15151156 memory=14127836181038450 CPUtime=2319.85 cores=1,3,5,7
/proc/941/task/942/stat : 942 (java) R 939 939 31565 0 -1 4202560 21299 0 0 0 231977 8 0 0 20 0 15 0 516614350 15514783744 66049 33554432000 4194304 4196468 140723534136144 139659165962128 139658801352584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=943] ppid=939 vsize=15151156 memory=2116 CPUtime=0.99 cores=1,3,5,7
/proc/941/task/943/stat : 943 (java) S 939 939 31565 0 -1 1077944384 2244 0 0 0 91 8 0 0 20 0 15 0 516614350 15514783744 66049 33554432000 4194304 4196468 140723534136144 139659118275088 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=944] ppid=939 vsize=15151156 memory=288230574492221466 CPUtime=1 cores=1,3,5,7
/proc/941/task/944/stat : 944 (java) S 939 939 31565 0 -1 1077944384 4468 0 0 0 92 8 0 0 20 0 15 0 516614350 15514783744 66049 33554432000 4194304 4196468 140723534136144 139659117222544 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=945] ppid=939 vsize=15151156 memory=288230583166042426 CPUtime=0.99 cores=1,3,5,7
/proc/941/task/945/stat : 945 (java) S 939 939 31565 0 -1 1077944384 5244 0 0 0 88 11 0 0 20 0 15 0 516614350 15514783744 66049 33554432000 4194304 4196468 140723534136144 139658752350480 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=946] ppid=939 vsize=15151156 memory=14127836181038450 CPUtime=1 cores=1,3,5,7
/proc/941/task/946/stat : 946 (java) S 939 939 31565 0 -1 1077944384 2548 0 0 0 91 9 0 0 20 0 15 0 516614350 15514783744 66049 33554432000 4194304 4196468 140723534136144 139658751297936 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=947] ppid=939 vsize=15151156 memory=1456 CPUtime=0.96 cores=1,3,5,7
/proc/941/task/947/stat : 947 (java) S 939 939 31565 0 -1 1077944384 5115 0 0 0 90 6 0 0 20 0 15 0 516614352 15514783744 66049 33554432000 4194304 4196468 140723534136144 139658630327024 139659161733762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=948] ppid=939 vsize=15151156 memory=264196 CPUtime=0 cores=1,3,5,7
/proc/941/task/948/stat : 948 (java) S 939 939 31565 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 516614352 15514783744 66049 33554432000 4194304 4196468 140723534136144 139658629273312 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=949] ppid=939 vsize=15151156 memory=532 CPUtime=0 cores=1,3,5,7
/proc/941/task/949/stat : 949 (java) S 939 939 31565 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 516614352 15514783744 66049 33554432000 4194304 4196468 140723534136144 139658628220160 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=952] ppid=939 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/941/task/952/stat : 952 (java) S 939 939 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516614355 15514783744 66049 33554432000 4194304 4196468 140723534136144 139658627168720 139659161741211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=953] ppid=939 vsize=15151156 memory=6947385649911455296 CPUtime=2.11 cores=1,3,5,7
/proc/941/task/953/stat : 953 (java) S 939 939 31565 0 -1 1077944384 19062 0 0 0 209 2 0 0 20 0 15 0 516614355 15514783744 66049 33554432000 4194304 4196468 140723534136144 139658626115824 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=954] ppid=939 vsize=15151156 memory=1804 CPUtime=1.84 cores=1,3,5,7
/proc/941/task/954/stat : 954 (java) S 939 939 31565 0 -1 1077944384 14768 0 0 0 182 2 0 0 20 0 15 0 516614355 15514783744 66049 33554432000 4194304 4196468 140723534136144 139658625063280 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=955] ppid=939 vsize=15151156 memory=916 CPUtime=0.52 cores=1,3,5,7
/proc/941/task/955/stat : 955 (java) S 939 939 31565 0 -1 1077944384 8074 0 0 0 51 1 0 0 20 0 15 0 516614355 15514783744 66049 33554432000 4194304 4196468 140723534136144 139658624010224 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=956] ppid=939 vsize=15151156 memory=532 CPUtime=0 cores=1,3,5,7
/proc/941/task/956/stat : 956 (java) S 939 939 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516614355 15514783744 66049 33554432000 4194304 4196468 140723534136144 139658622957920 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=957] ppid=939 vsize=15151156 memory=1556 CPUtime=0.49 cores=1,3,5,7
/proc/941/task/957/stat : 957 (java) S 939 939 31565 0 -1 1077944384 901 0 0 0 21 28 0 0 20 0 15 0 516614355 15514783744 66049 33554432000 4194304 4196468 140723534136144 139658621905968 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
Current children cumulated CPU time: 2329.84 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 265652 KiB
[startup+2382.3 s]
/proc/loadavg: 0.82 0.75 0.90 2/207 1243
/proc/meminfo: memFree=25481404/32770624 swapFree=66997172/67108860
[pid=939] ppid=936 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/939/stat : 939 (xcsp3-exec) S 936 939 31565 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516614349 115843072 364 33554432000 4194304 5098028 140735669193408 140735669191512 139908535890556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31633408 140735669195607 140735669195865 140735669195865 140735669198790 0
/proc/939/statm: 28282 364 305 221 0 87 0
[pid=941] ppid=939 vsize=15151156 memory=268292 CPUtime=2389.99 cores=1,3,5,7
/proc/941/stat : 941 (java) S 939 939 31565 0 -1 1077944320 85242 0 0 0 238925 74 0 0 20 0 15 0 516614349 15514783744 67073 33554432000 4194304 4196468 140723534136144 140723534118688 139659161722615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
/proc/941/statm: 3787789 67073 3509 1 0 3748889 0
[pid=941/tid=942] ppid=939 vsize=15151156 memory=2540 CPUtime=2379.75 cores=1,3,5,7
/proc/941/task/942/stat : 942 (java) R 939 939 31565 0 -1 4202560 21403 0 0 0 237967 8 0 0 20 0 15 0 516614350 15514783744 67073 33554432000 4194304 4196468 140723534136144 139659165962016 139658800931955 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=943] ppid=939 vsize=15151156 memory=65220 CPUtime=1.03 cores=1,3,5,7
/proc/941/task/943/stat : 943 (java) S 939 939 31565 0 -1 1077944384 2246 0 0 0 95 8 0 0 20 0 15 0 516614350 15514783744 67073 33554432000 4194304 4196468 140723534136144 139659118275088 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=944] ppid=939 vsize=15151156 memory=988 CPUtime=1.05 cores=1,3,5,7
/proc/941/task/944/stat : 944 (java) S 939 939 31565 0 -1 1077944384 4472 0 0 0 96 9 0 0 20 0 15 0 516614350 15514783744 67073 33554432000 4194304 4196468 140723534136144 139659117222544 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=945] ppid=939 vsize=15151156 memory=268292 CPUtime=1.05 cores=1,3,5,7
/proc/941/task/945/stat : 945 (java) S 939 939 31565 0 -1 1077944384 5248 0 0 0 93 12 0 0 20 0 15 0 516614350 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658752350480 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=946] ppid=939 vsize=15151156 memory=3680 CPUtime=1.04 cores=1,3,5,7
/proc/941/task/946/stat : 946 (java) S 939 939 31565 0 -1 1077944384 2553 0 0 0 95 9 0 0 20 0 15 0 516614350 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658751297936 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=947] ppid=939 vsize=15151156 memory=836 CPUtime=1 cores=1,3,5,7
/proc/941/task/947/stat : 947 (java) S 939 939 31565 0 -1 1077944384 5119 0 0 0 93 7 0 0 20 0 15 0 516614352 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658630327024 139659161733762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=948] ppid=939 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/941/task/948/stat : 948 (java) S 939 939 31565 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 516614352 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658629273312 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=949] ppid=939 vsize=15151156 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/941/task/949/stat : 949 (java) S 939 939 31565 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 516614352 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658628220160 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=952] ppid=939 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/941/task/952/stat : 952 (java) S 939 939 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516614355 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658627168720 139659161741211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=953] ppid=939 vsize=15151156 memory=2540 CPUtime=2.11 cores=1,3,5,7
/proc/941/task/953/stat : 953 (java) S 939 939 31565 0 -1 1077944384 19062 0 0 0 209 2 0 0 20 0 15 0 516614355 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658626115824 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=954] ppid=939 vsize=15151156 memory=1760 CPUtime=1.84 cores=1,3,5,7
/proc/941/task/954/stat : 954 (java) S 939 939 31565 0 -1 1077944384 14768 0 0 0 182 2 0 0 20 0 15 0 516614355 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658625063280 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=955] ppid=939 vsize=15151156 memory=111636 CPUtime=0.52 cores=1,3,5,7
/proc/941/task/955/stat : 955 (java) S 939 939 31565 0 -1 1077944384 8074 0 0 0 51 1 0 0 20 0 15 0 516614355 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658624010224 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=956] ppid=939 vsize=15151156 memory=3467824628014002776 CPUtime=0 cores=1,3,5,7
/proc/941/task/956/stat : 956 (java) S 939 939 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516614355 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658622957920 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=957] ppid=939 vsize=15151156 memory=7079770014140618576 CPUtime=0.5 cores=1,3,5,7
/proc/941/task/957/stat : 957 (java) S 939 939 31565 0 -1 1077944384 905 0 0 0 21 29 0 0 20 0 15 0 516614355 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658621905968 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
Current children cumulated CPU time: 2389.99 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 269748 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2392.3 s]
/proc/loadavg: 0.85 0.76 0.90 2/207 1243
/proc/meminfo: memFree=25481404/32770624 swapFree=66997172/67108860
[pid=939] ppid=936 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/939/stat : 939 (xcsp3-exec) S 936 939 31565 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516614349 115843072 364 33554432000 4194304 5098028 140735669193408 140735669191512 139908535890556 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31633408 140735669195607 140735669195865 140735669195865 140735669198790 0
/proc/939/statm: 28282 364 305 221 0 87 0
[pid=941] ppid=939 vsize=15151156 memory=268292 CPUtime=2400.02 cores=1,3,5,7
/proc/941/stat : 941 (java) S 939 939 31565 0 -1 1077944320 86165 0 0 0 239928 74 0 0 20 0 15 0 516614349 15514783744 67073 33554432000 4194304 4196468 140723534136144 140723534118688 139659161722615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
/proc/941/statm: 3787789 67073 3509 1 0 3748889 0
[pid=941/tid=942] ppid=939 vsize=15151156 memory=7451878937257140818 CPUtime=2389.73 cores=1,3,5,7
/proc/941/task/942/stat : 942 (java) R 939 939 31565 0 -1 4202560 21611 0 0 0 238965 8 0 0 20 0 15 0 516614350 15514783744 67073 33554432000 4194304 4196468 140723534136144 139659165962128 139658803159900 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=943] ppid=939 vsize=15151156 memory=288230574492221466 CPUtime=1.04 cores=1,3,5,7
/proc/941/task/943/stat : 943 (java) S 939 939 31565 0 -1 1077944384 2665 0 0 0 96 8 0 0 20 0 15 0 516614350 15514783744 67073 33554432000 4194304 4196468 140723534136144 139659118275088 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=944] ppid=939 vsize=15151156 memory=288230583166042426 CPUtime=1.06 cores=1,3,5,7
/proc/941/task/944/stat : 944 (java) S 939 939 31565 0 -1 1077944384 4496 0 0 0 97 9 0 0 20 0 15 0 516614350 15514783744 67073 33554432000 4194304 4196468 140723534136144 139659117222544 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=945] ppid=939 vsize=15151156 memory=14127836181038450 CPUtime=1.05 cores=1,3,5,7
/proc/941/task/945/stat : 945 (java) S 939 939 31565 0 -1 1077944384 5285 0 0 0 93 12 0 0 20 0 15 0 516614350 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658752350480 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=946] ppid=939 vsize=15151156 memory=1428 CPUtime=1.05 cores=1,3,5,7
/proc/941/task/946/stat : 946 (java) S 939 939 31565 0 -1 1077944384 2589 0 0 0 96 9 0 0 20 0 15 0 516614350 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658751297936 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=947] ppid=939 vsize=15151156 memory=1540 CPUtime=1.01 cores=1,3,5,7
/proc/941/task/947/stat : 947 (java) S 939 939 31565 0 -1 1077944384 5299 0 0 0 94 7 0 0 20 0 15 0 516614352 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658630327024 139659161733762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=948] ppid=939 vsize=15151156 memory=772 CPUtime=0 cores=1,3,5,7
/proc/941/task/948/stat : 948 (java) S 939 939 31565 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 516614352 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658629273312 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=949] ppid=939 vsize=15151156 memory=6947385649911455296 CPUtime=0 cores=1,3,5,7
/proc/941/task/949/stat : 949 (java) S 939 939 31565 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 516614352 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658628220160 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=952] ppid=939 vsize=15151156 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/941/task/952/stat : 952 (java) S 939 939 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516614355 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658627168720 139659161741211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=953] ppid=939 vsize=15151156 memory=288230583166042426 CPUtime=2.11 cores=1,3,5,7
/proc/941/task/953/stat : 953 (java) S 939 939 31565 0 -1 1077944384 19064 0 0 0 209 2 0 0 20 0 15 0 516614355 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658626115824 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=954] ppid=939 vsize=15151156 memory=14127836181038450 CPUtime=1.84 cores=1,3,5,7
/proc/941/task/954/stat : 954 (java) S 939 939 31565 0 -1 1077944384 14770 0 0 0 182 2 0 0 20 0 15 0 516614355 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658625063280 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=955] ppid=939 vsize=15151156 memory=3680 CPUtime=0.52 cores=1,3,5,7
/proc/941/task/955/stat : 955 (java) S 939 939 31565 0 -1 1077944384 8076 0 0 0 51 1 0 0 20 0 15 0 516614355 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658624010224 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=956] ppid=939 vsize=15151156 memory=6947385649911455296 CPUtime=0 cores=1,3,5,7
/proc/941/task/956/stat : 956 (java) S 939 939 31565 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516614355 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658622957920 139659161732821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
[pid=941/tid=957] ppid=939 vsize=15151156 memory=1436 CPUtime=0.5 cores=1,3,5,7
/proc/941/task/957/stat : 957 (java) S 939 939 31565 0 -1 1077944384 918 0 0 0 21 29 0 0 20 0 15 0 516614355 15514783744 67073 33554432000 4194304 4196468 140723534136144 139658621905968 139659161733762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 21942272 140723534144475 140723534144650 140723534144650 140723534147535 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 269748 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2392.31 s]
# the end of solver process 939 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002185 s
[startup+2392.31 s]
# the end of solver process 941 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.3 s, system=0.753522 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2392.31
CPU time (s): 2400.05
CPU user time (s): 2399.3
CPU system time (s): 0.753522
CPU usage (%): 100.323
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 269748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.3
system time used= 0.753522
maximum resident set size= 268792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87141
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80338
involuntary context switches= 4668
# summary of solver processes directly reported to runsolver:
# pid: 939,941
# total CPU time (s): 2400.05
# total CPU user time (s): 2399.3
# total CPU system time (s): 0.753522
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7786 second user time and 22.2861 second system time
The end