runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254676-1501691576/watcher-4254676-1501691576 -o /tmp/evaluation-result-4254676-1501691576/solver-4254676-1501691576 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node134-1501676576-1207 --watchdog 324 ./xcsp3-exec -dir HOME -tl 1920 -p 8 -ml 22000 -tdir HOME -seed 451744275 HOME/instance-4254676-1501691576.xml 

pid=491
running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.13 5.25 6.87 2/177 494
/proc/meminfo: memFree=31636240/32770624 swapFree=0/357292
[pid=494] ppid=491 vsize=23672 CPUtime=0 cores=0-7
/proc/494/stat : 494 (runsolver) D 491 494 1143 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 16663383 24240128 107 18446744073709551615 4194304 4338465 140733124748560 140733124746200 139949869896407 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 33304576 140733124755540 140733124756035 140733124756035 140733124759498 0
/proc/494/statm: 5918 107 54 36 0 2156 0

[startup+0.100149 s]
/proc/loadavg: 2.13 5.25 6.87 2/177 494
/proc/meminfo: memFree=31636240/32770624 swapFree=0/357292
[pid=494] ppid=491 vsize=9512 CPUtime=0 cores=0-7
/proc/494/stat : 494 (xcsp3-exec) S 491 494 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16663383 9740288 344 18446744073709551615 4194304 5098028 140723355565488 140723355563592 140482006663804 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 36192256 140723355566483 140723355566692 140723355566692 140723355570155 0
/proc/494/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200315 s]
/proc/loadavg: 2.13 5.25 6.87 2/177 494
/proc/meminfo: memFree=31636240/32770624 swapFree=0/357292
[pid=494] ppid=491 vsize=9512 CPUtime=0 cores=0-7
/proc/494/stat : 494 (xcsp3-exec) S 491 494 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16663383 9740288 344 18446744073709551615 4194304 5098028 140723355565488 140723355563592 140482006663804 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 36192256 140723355566483 140723355566692 140723355566692 140723355570155 0
/proc/494/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300328 s]
/proc/loadavg: 2.13 5.25 6.87 2/177 494
/proc/meminfo: memFree=31636240/32770624 swapFree=0/357292
[pid=494] ppid=491 vsize=9512 CPUtime=0 cores=0-7
/proc/494/stat : 494 (xcsp3-exec) S 491 494 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16663383 9740288 344 18446744073709551615 4194304 5098028 140723355565488 140723355563592 140482006663804 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 36192256 140723355566483 140723355566692 140723355566692 140723355570155 0
/proc/494/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.701012 s]
/proc/loadavg: 2.13 5.25 6.87 2/177 494
/proc/meminfo: memFree=31636240/32770624 swapFree=0/357292
[pid=494] ppid=491 vsize=9512 CPUtime=0 cores=0-7
/proc/494/stat : 494 (xcsp3-exec) S 491 494 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16663383 9740288 344 18446744073709551615 4194304 5098028 140723355565488 140723355563592 140482006663804 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 36192256 140723355566483 140723355566692 140723355566692 140723355570155 0
/proc/494/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50156 s]
/proc/loadavg: 2.13 5.25 6.87 5/198 516
/proc/meminfo: memFree=31490772/32770624 swapFree=0/357176
[pid=494] ppid=491 vsize=9512 CPUtime=0 cores=0-7
/proc/494/stat : 494 (xcsp3-exec) S 491 494 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16663383 9740288 344 18446744073709551615 4194304 5098028 140723355565488 140723355563592 140482006663804 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 36192256 140723355566483 140723355566692 140723355566692 140723355570155 0
/proc/494/statm: 2378 344 289 221 0 87 0
[pid=496] ppid=494 vsize=26534456 CPUtime=4.83 cores=0-7
/proc/496/stat : 496 (java) S 494 494 1143 0 -1 1077944320 17952 0 0 0 469 14 0 0 20 0 28 0 16663393 27171282944 58047 18446744073709551615 4194304 4196468 140730864348608 140730864331152 139722367778551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
/proc/496/statm: 6633614 58047 3215 1 0 6621915 0
[pid=496/tid=497] ppid=494 vsize=26534456 CPUtime=1.22 cores=0-7
/proc/496/task/497/stat : 497 (java) S 494 494 1143 0 -1 1077944384 8766 0 0 0 117 5 0 0 20 0 28 0 16663393 27171282944 58047 18446744073709551615 4194304 4196468 140730864348608 139722372019328 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=498] ppid=494 vsize=26534456 CPUtime=0.02 cores=0-7
/proc/496/task/498/stat : 498 (java) S 494 494 1143 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 28 0 16663394 27171282944 58047 18446744073709551615 4194304 4196468 140730864348608 139721930382480 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=499] ppid=494 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/496/task/499/stat : 499 (java) S 494 494 1143 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 28 0 16663394 27171282944 58047 18446744073709551615 4194304 4196468 140730864348608 139721929329680 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=500] ppid=494 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/496/task/500/stat : 500 (java) S 494 494 1143 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 16663394 27171282944 58047 18446744073709551615 4194304 4196468 140730864348608 139721928276880 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=501] ppid=494 vsize=26534456 CPUtime=0.02 cores=0-7
/proc/496/task/501/stat : 501 (java) S 494 494 1143 0 -1 1077944384 45 0 0 0 2 0 0 0 20 0 28 0 16663394 27171282944 58047 18446744073709551615 4194304 4196468 140730864348608 139721927224080 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=502] ppid=494 vsize=26534456 CPUtime=0.03 cores=0-7
/proc/496/task/502/stat : 502 (java) S 494 494 1143 0 -1 1077944384 53 0 0 0 2 1 0 0 20 0 28 0 16663394 27171282944 58047 18446744073709551615 4194304 4196468 140730864348608 139721926171280 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=503] ppid=494 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/496/task/503/stat : 503 (java) S 494 494 1143 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 28 0 16663394 27171282944 58047 18446744073709551615 4194304 4196468 140730864348608 139721925118480 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=504] ppid=494 vsize=26534456 CPUtime=0.03 cores=0-7
/proc/496/task/504/stat : 504 (java) S 494 494 1143 0 -1 1077944384 50 0 0 0 2 1 0 0 20 0 28 0 16663394 27171282944 58047 18446744073709551615 4194304 4196468 140730864348608 139721924065680 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=505] ppid=494 vsize=26534456 CPUtime=0.01 cores=0-7
/proc/496/task/505/stat : 505 (java) S 494 494 1143 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 28 0 16663394 27171282944 58047 18446744073709551615 4194304 4196468 140730864348608 139721923012880 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=506] ppid=494 vsize=26534456 CPUtime=0 cores=0-7
/proc/496/task/506/stat : 506 (java) S 494 494 1143 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 16663395 27171282944 58047 18446744073709551615 4194304 4196468 140730864348608 139720912751472 139722367789698 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=507] ppid=494 vsize=26534456 CPUtime=0 cores=0-7
/proc/496/task/507/stat : 507 (java) S 494 494 1143 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 16663396 27171282944 58047 18446744073709551615 4194304 4196468 140730864348608 139720911697504 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=508] ppid=494 vsize=26534456 CPUtime=0 cores=0-7
/proc/496/task/508/stat : 508 (java) S 494 494 1143 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 16663396 27171282944 58047 18446744073709551615 4194304 4196468 140730864348608 139720910644608 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=509] ppid=494 vsize=26534456 CPUtime=0 cores=0-7
/proc/496/task/509/stat : 509 (java) S 494 494 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16663398 27171282944 58047 18446744073709551615 4194304 4196468 140730864348608 139720909592912 139722367797147 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=510] ppid=494 vsize=26534456 CPUtime=0.89 cores=0-7
/proc/496/task/510/stat : 510 (java) R 494 494 1143 0 -1 1077944384 1835 0 0 0 89 0 0 0 20 0 28 0 16663398 27171282944 58047 18446744073709551615 4194304 4196468 140730864348608 139720908540400 139722367788757 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=511] ppid=494 vsize=26534456 CPUtime=0.89 cores=0-7
/proc/496/task/511/stat : 511 (java) R 494 494 1143 0 -1 4202560 1575 0 0 0 88 1 0 0 20 0 28 0 16663398 27171282944 58047 18446744073709551615 4194304 4196468 140730864348608 139720907473352 139722360495703 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=512] ppid=494 vsize=26534456 CPUtime=0.87 cores=0-7
/proc/496/task/512/stat : 512 (java) R 494 494 1143 0 -1 4202560 1718 0 0 0 87 0 0 0 20 0 28 0 16663398 27171282944 58047 18446744073709551615 4194304 4196468 140730864348608 139720906426128 139722345525908 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=513] ppid=494 vsize=26534456 CPUtime=0.48 cores=0-7
/proc/496/task/513/stat : 513 (java) R 494 494 1143 0 -1 4202560 2071 0 0 0 47 1 0 0 20 0 28 0 16663398 27171282944 58047 18446744073709551615 4194304 4196468 140730864348608 139720905379408 139722351120578 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=514] ppid=494 vsize=26534456 CPUtime=0 cores=0-7
/proc/496/task/514/stat : 514 (java) S 494 494 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16663399 27171282944 58047 18446744073709551615 4194304 4196468 140730864348608 139720904330336 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=516] ppid=494 vsize=26534456 CPUtime=0 cores=0-7
/proc/496/task/516/stat : 516 (java) S 494 494 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16663406 27171282944 58047 18446744073709551615 4194304 4196468 140730864348608 139720903277616 139722367789698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
Current children cumulated CPU time (s) 4.83
Current children cumulated vsize (KiB) 26543968

[startup+3.10198 s]
/proc/loadavg: 2.13 5.25 6.87 12/206 552
/proc/meminfo: memFree=31410208/32770624 swapFree=0/357036
[pid=494] ppid=491 vsize=9512 CPUtime=0 cores=0-7
/proc/494/stat : 494 (xcsp3-exec) S 491 494 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16663383 9740288 344 18446744073709551615 4194304 5098028 140723355565488 140723355563592 140482006663804 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 36192256 140723355566483 140723355566692 140723355566692 140723355570155 0
/proc/494/statm: 2378 344 289 221 0 87 0
[pid=496] ppid=494 vsize=26534456 CPUtime=15.77 cores=0-7
/proc/496/stat : 496 (java) S 494 494 1143 0 -1 1077944320 21929 0 0 0 1556 21 0 0 20 0 28 0 16663393 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 140730864331152 139722367778551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
/proc/496/statm: 6633614 97799 3247 1 0 6621915 0
[pid=496/tid=497] ppid=494 vsize=26534456 CPUtime=1.23 cores=0-7
/proc/496/task/497/stat : 497 (java) S 494 494 1143 0 -1 1077944384 8768 0 0 0 118 5 0 0 20 0 28 0 16663393 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139722372019328 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=498] ppid=494 vsize=26534456 CPUtime=0.05 cores=0-7
/proc/496/task/498/stat : 498 (java) S 494 494 1143 0 -1 1077944384 59 0 0 0 4 1 0 0 20 0 28 0 16663394 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139721930382480 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=499] ppid=494 vsize=26534456 CPUtime=0.02 cores=0-7
/proc/496/task/499/stat : 499 (java) S 494 494 1143 0 -1 1077944384 32 0 0 0 2 0 0 0 20 0 28 0 16663394 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139721929329680 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=500] ppid=494 vsize=26534456 CPUtime=0.03 cores=0-7
/proc/496/task/500/stat : 500 (java) S 494 494 1143 0 -1 1077944384 50 0 0 0 3 0 0 0 20 0 28 0 16663394 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139721928276880 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=501] ppid=494 vsize=26534456 CPUtime=0.04 cores=0-7
/proc/496/task/501/stat : 501 (java) S 494 494 1143 0 -1 1077944384 53 0 0 0 3 1 0 0 20 0 28 0 16663394 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139721927224080 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=502] ppid=494 vsize=26534456 CPUtime=0.04 cores=0-7
/proc/496/task/502/stat : 502 (java) S 494 494 1143 0 -1 1077944384 69 0 0 0 3 1 0 0 20 0 28 0 16663394 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139721926171280 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=503] ppid=494 vsize=26534456 CPUtime=0.02 cores=0-7
/proc/496/task/503/stat : 503 (java) S 494 494 1143 0 -1 1077944384 49 0 0 0 2 0 0 0 20 0 28 0 16663394 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139721925118480 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=504] ppid=494 vsize=26534456 CPUtime=0.05 cores=0-7
/proc/496/task/504/stat : 504 (java) S 494 494 1143 0 -1 1077944384 62 0 0 0 4 1 0 0 20 0 28 0 16663394 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139721924065680 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=505] ppid=494 vsize=26534456 CPUtime=0.03 cores=0-7
/proc/496/task/505/stat : 505 (java) S 494 494 1143 0 -1 1077944384 56 0 0 0 3 0 0 0 20 0 28 0 16663394 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139721923012880 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=506] ppid=494 vsize=26534456 CPUtime=0 cores=0-7
/proc/496/task/506/stat : 506 (java) S 494 494 1143 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 16663395 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139720912751472 139722367789698 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=507] ppid=494 vsize=26534456 CPUtime=0 cores=0-7
/proc/496/task/507/stat : 507 (java) S 494 494 1143 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 16663396 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139720911697504 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=508] ppid=494 vsize=26534456 CPUtime=0 cores=0-7
/proc/496/task/508/stat : 508 (java) S 494 494 1143 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 16663396 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139720910644608 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=509] ppid=494 vsize=26534456 CPUtime=0 cores=0-7
/proc/496/task/509/stat : 509 (java) S 494 494 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16663398 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139720909592912 139722367797147 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=510] ppid=494 vsize=26534456 CPUtime=1.9 cores=0-7
/proc/496/task/510/stat : 510 (java) R 494 494 1143 0 -1 4202560 2404 0 0 0 190 0 0 0 20 0 28 0 16663398 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139720908540568 139722347039240 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=511] ppid=494 vsize=26534456 CPUtime=1.83 cores=0-7
/proc/496/task/511/stat : 511 (java) R 494 494 1143 0 -1 4202560 2134 0 0 0 182 1 0 0 20 0 28 0 16663398 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139720907477600 139722351278934 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=512] ppid=494 vsize=26534456 CPUtime=2.01 cores=0-7
/proc/496/task/512/stat : 512 (java) R 494 494 1143 0 -1 4202560 2973 0 0 0 201 0 0 0 20 0 28 0 16663398 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139720906431040 139722352024622 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=513] ppid=494 vsize=26534456 CPUtime=0.72 cores=0-7
/proc/496/task/513/stat : 513 (java) S 494 494 1143 0 -1 1077944384 2730 0 0 0 71 1 0 0 20 0 28 0 16663398 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139720905381872 139722367789698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=514] ppid=494 vsize=26534456 CPUtime=0 cores=0-7
/proc/496/task/514/stat : 514 (java) S 494 494 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16663399 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139720904330336 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=516] ppid=494 vsize=26534456 CPUtime=0 cores=0-7
/proc/496/task/516/stat : 516 (java) S 494 494 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16663406 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139720903277616 139722367789698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=543] ppid=494 vsize=26534456 CPUtime=0.7 cores=0-7
/proc/496/task/543/stat : 543 (java) R 494 494 1143 0 -1 4202560 22 0 0 0 70 0 0 0 20 0 28 0 16663593 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139720890003368 139722016005871 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=546] ppid=494 vsize=26534456 CPUtime=0.66 cores=0-7
/proc/496/task/546/stat : 546 (java) R 494 494 1143 0 -1 4202560 21 0 0 0 66 0 0 0 20 0 28 0 16663593 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139720892109464 139722016422480 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=547] ppid=494 vsize=26534456 CPUtime=0.75 cores=0-7
/proc/496/task/547/stat : 547 (java) R 494 494 1143 0 -1 4202560 22 0 0 0 75 0 0 0 20 0 28 0 16663593 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139720887898728 139722016005755 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=548] ppid=494 vsize=26534456 CPUtime=0.65 cores=0-7
/proc/496/task/548/stat : 548 (java) R 494 494 1143 0 -1 4202560 116 0 0 0 64 1 0 0 20 0 28 0 16663594 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139720891055656 139722017024715 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=549] ppid=494 vsize=26534456 CPUtime=0.8 cores=0-7
/proc/496/task/549/stat : 549 (java) R 494 494 1143 0 -1 4202560 29 0 0 0 80 0 0 0 20 0 28 0 16663594 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139720894215576 139722016422412 0 4 1 16800974 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=550] ppid=494 vsize=26534456 CPUtime=0.66 cores=0-7
/proc/496/task/550/stat : 550 (java) R 494 494 1143 0 -1 4202560 20 0 0 0 66 0 0 0 20 0 28 0 16663594 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139720895267032 140730864744648 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=551] ppid=494 vsize=26534456 CPUtime=0.73 cores=0-7
/proc/496/task/551/stat : 551 (java) R 494 494 1143 0 -1 4202560 23 0 0 0 73 0 0 0 20 0 28 0 16663594 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139720893160696 139722017280310 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=552] ppid=494 vsize=26534456 CPUtime=0.61 cores=0-7
/proc/496/task/552/stat : 552 (java) R 494 494 1143 0 -1 4202560 40 0 0 0 61 0 0 0 20 0 28 0 16663594 27171282944 97799 18446744073709551615 4194304 4196468 140730864348608 139720888952280 139722016442214 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
Current children cumulated CPU time (s) 15.77
Current children cumulated vsize (KiB) 26543968

[startup+6.30198 s]
/proc/loadavg: 2.52 5.28 6.87 10/206 570
/proc/meminfo: memFree=31010664/32770624 swapFree=0/357036
[pid=494] ppid=491 vsize=9512 CPUtime=0 cores=0-7
/proc/494/stat : 494 (xcsp3-exec) S 491 494 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16663383 9740288 344 18446744073709551615 4194304 5098028 140723355565488 140723355563592 140482006663804 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 36192256 140723355566483 140723355566692 140723355566692 140723355570155 0
/proc/494/statm: 2378 344 289 221 0 87 0
[pid=496] ppid=494 vsize=26534456 CPUtime=40.88 cores=0-7
/proc/496/stat : 496 (java) S 494 494 1143 0 -1 1077944320 31364 0 0 0 4045 43 0 0 20 0 28 0 16663393 27171282944 166046 18446744073709551615 4194304 4196468 140730864348608 140730864331152 139722367778551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
/proc/496/statm: 6633614 166046 3253 1 0 6621915 0
[pid=496/tid=497] ppid=494 vsize=26534456 CPUtime=1.23 cores=0-7
/proc/496/task/497/stat : 497 (java) S 494 494 1143 0 -1 1077944384 8768 0 0 0 118 5 0 0 20 0 28 0 16663393 27171282944 166046 18446744073709551615 4194304 4196468 140730864348608 139722372019328 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=498] ppid=494 vsize=26534456 CPUtime=0.08 cores=0-7
/proc/496/task/498/stat : 498 (java) S 494 494 1143 0 -1 1077944384 146 0 0 0 6 2 0 0 20 0 28 0 16663394 27171282944 166046 18446744073709551615 4194304 4196468 140730864348608 139721930382480 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=499] ppid=494 vsize=26534456 CPUtime=0.06 cores=0-7
/proc/496/task/499/stat : 499 (java) S 494 494 1143 0 -1 1077944384 67 0 0 0 4 2 0 0 20 0 28 0 16663394 27171282944 166046 18446744073709551615 4194304 4196468 140730864348608 139721929329680 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=500] ppid=494 vsize=26534456 CPUtime=0.07 cores=0-7
/proc/496/task/500/stat : 500 (java) S 494 494 1143 0 -1 1077944384 87 0 0 0 5 2 0 0 20 0 28 0 16663394 27171282944 166046 18446744073709551615 4194304 4196468 140730864348608 139721928276880 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=501] ppid=494 vsize=26534456 CPUtime=0.07 cores=0-7
/proc/496/task/501/stat : 501 (java) S 494 494 1143 0 -1 1077944384 317 0 0 0 5 2 0 0 20 0 28 0 16663394 27171282944 166046 18446744073709551615 4194304 4196468 140730864348608 139721927224080 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0

################
# More data... #
################

[pid=496/tid=653] ppid=494 vsize=26534456 CPUtime=3.64 cores=0-7
/proc/496/task/653/stat : 653 (java) R 494 494 1143 0 -1 4202560 367 0 0 0 364 0 0 0 20 0 28 0 16679242 27171282944 567436 18446744073709551615 4194304 4196468 140730864348608 139720890007992 139722019649075 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=654] ppid=494 vsize=26534456 CPUtime=3.58 cores=0-7
/proc/496/task/654/stat : 654 (java) R 494 494 1143 0 -1 4202560 256 0 0 0 358 0 0 0 20 0 28 0 16679242 27171282944 567436 18446744073709551615 4194304 4196468 140730864348608 139720888950744 139722016422622 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
Current children cumulated CPU time (s) 1285.1
Current children cumulated vsize (KiB) 26543968

[startup+222.308 s]
/proc/loadavg: 8.79 7.04 7.24 9/207 663
/proc/meminfo: memFree=29370128/32770624 swapFree=0/357104
[pid=494] ppid=491 vsize=9512 CPUtime=0 cores=0-7
/proc/494/stat : 494 (xcsp3-exec) S 491 494 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16663383 9740288 344 18446744073709551615 4194304 5098028 140723355565488 140723355563592 140482006663804 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 36192256 140723355566483 140723355566692 140723355566692 140723355570155 0
/proc/494/statm: 2378 344 289 221 0 87 0
[pid=496] ppid=494 vsize=26534456 CPUtime=1761.82 cores=0-7
/proc/496/stat : 496 (java) S 494 494 1143 0 -1 1077944320 151944 0 0 0 175926 256 0 0 20 0 28 0 16663393 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 140730864331152 139722367778551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
/proc/496/statm: 6633614 569698 3253 1 0 6621915 0
[pid=496/tid=497] ppid=494 vsize=26534456 CPUtime=1.24 cores=0-7
/proc/496/task/497/stat : 497 (java) S 494 494 1143 0 -1 1077944384 9514 0 0 0 119 5 0 0 20 0 28 0 16663393 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139722372019328 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=498] ppid=494 vsize=26534456 CPUtime=0.19 cores=0-7
/proc/496/task/498/stat : 498 (java) S 494 494 1143 0 -1 1077944384 2000 0 0 0 13 6 0 0 20 0 28 0 16663394 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139721930382480 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=499] ppid=494 vsize=26534456 CPUtime=0.18 cores=0-7
/proc/496/task/499/stat : 499 (java) S 494 494 1143 0 -1 1077944384 1403 0 0 0 11 7 0 0 20 0 28 0 16663394 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139721929329680 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=500] ppid=494 vsize=26534456 CPUtime=0.17 cores=0-7
/proc/496/task/500/stat : 500 (java) S 494 494 1143 0 -1 1077944384 1270 0 0 0 10 7 0 0 20 0 28 0 16663394 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139721928276880 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=501] ppid=494 vsize=26534456 CPUtime=0.2 cores=0-7
/proc/496/task/501/stat : 501 (java) S 494 494 1143 0 -1 1077944384 1930 0 0 0 12 8 0 0 20 0 28 0 16663394 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139721927224080 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=502] ppid=494 vsize=26534456 CPUtime=0.19 cores=0-7
/proc/496/task/502/stat : 502 (java) S 494 494 1143 0 -1 1077944384 1955 0 0 0 13 6 0 0 20 0 28 0 16663394 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139721926171280 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=503] ppid=494 vsize=26534456 CPUtime=0.19 cores=0-7
/proc/496/task/503/stat : 503 (java) S 494 494 1143 0 -1 1077944384 1646 0 0 0 12 7 0 0 20 0 28 0 16663394 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139721925118480 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=504] ppid=494 vsize=26534456 CPUtime=0.22 cores=0-7
/proc/496/task/504/stat : 504 (java) S 494 494 1143 0 -1 1077944384 2718 0 0 0 14 8 0 0 20 0 28 0 16663394 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139721924065680 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=505] ppid=494 vsize=26534456 CPUtime=0.21 cores=0-7
/proc/496/task/505/stat : 505 (java) S 494 494 1143 0 -1 1077944384 1678 0 0 0 13 8 0 0 20 0 28 0 16663394 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139721923012880 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=506] ppid=494 vsize=26534456 CPUtime=0.12 cores=0-7
/proc/496/task/506/stat : 506 (java) S 494 494 1143 0 -1 1077944384 6312 0 0 0 6 6 0 0 20 0 28 0 16663395 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139720912751472 139722367789698 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=507] ppid=494 vsize=26534456 CPUtime=0 cores=0-7
/proc/496/task/507/stat : 507 (java) S 494 494 1143 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 16663396 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139720911697504 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=508] ppid=494 vsize=26534456 CPUtime=0 cores=0-7
/proc/496/task/508/stat : 508 (java) S 494 494 1143 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 16663396 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139720910644608 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=509] ppid=494 vsize=26534456 CPUtime=0 cores=0-7
/proc/496/task/509/stat : 509 (java) S 494 494 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16663398 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139720909592912 139722367797147 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=510] ppid=494 vsize=26534456 CPUtime=3.02 cores=0-7
/proc/496/task/510/stat : 510 (java) S 494 494 1143 0 -1 1077944384 17592 0 0 0 298 4 0 0 20 0 28 0 16663398 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139720908540272 139722367789698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=511] ppid=494 vsize=26534456 CPUtime=2.47 cores=0-7
/proc/496/task/511/stat : 511 (java) S 494 494 1143 0 -1 1077944384 8585 0 0 0 245 2 0 0 20 0 28 0 16663398 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139720907487472 139722367789698 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=512] ppid=494 vsize=26534456 CPUtime=2.58 cores=0-7
/proc/496/task/512/stat : 512 (java) S 494 494 1143 0 -1 1077944384 9021 0 0 0 257 1 0 0 20 0 28 0 16663398 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139720906434672 139722367789698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=513] ppid=494 vsize=26534456 CPUtime=0.8 cores=0-7
/proc/496/task/513/stat : 513 (java) S 494 494 1143 0 -1 1077944384 10950 0 0 0 78 2 0 0 20 0 28 0 16663398 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139720905381872 139722367789698 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=514] ppid=494 vsize=26534456 CPUtime=0 cores=0-7
/proc/496/task/514/stat : 514 (java) S 494 494 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16663399 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139720904330336 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=516] ppid=494 vsize=26534456 CPUtime=0.06 cores=0-7
/proc/496/task/516/stat : 516 (java) S 494 494 1143 0 -1 1077944384 2562 0 0 0 0 6 0 0 20 0 28 0 16663406 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139720903277616 139722367789698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=655] ppid=494 vsize=26534456 CPUtime=30.35 cores=0-7
/proc/496/task/655/stat : 655 (java) R 494 494 1143 0 -1 4202560 592 0 0 0 3035 0 0 0 20 0 28 0 16682557 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139720892112536 139722019584179 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=656] ppid=494 vsize=26534456 CPUtime=30.47 cores=0-7
/proc/496/task/656/stat : 656 (java) R 494 494 1143 0 -1 4202560 853 0 0 0 3047 0 0 0 20 0 28 0 16682557 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139720893165616 139722016422475 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=657] ppid=494 vsize=26534456 CPUtime=30.46 cores=0-7
/proc/496/task/657/stat : 657 (java) R 494 494 1143 0 -1 4202560 547 0 0 0 3046 0 0 0 20 0 28 0 16682557 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139720895270832 139722016526702 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=658] ppid=494 vsize=26534456 CPUtime=30.49 cores=0-7
/proc/496/task/658/stat : 658 (java) R 494 494 1143 0 -1 4202560 3014 0 0 0 3044 5 0 0 20 0 28 0 16682557 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139720888955176 139722349184850 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=659] ppid=494 vsize=26534456 CPUtime=30.49 cores=0-7
/proc/496/task/659/stat : 659 (java) R 494 494 1143 0 -1 4202560 1999 0 0 0 3042 7 0 0 20 0 28 0 16682557 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139720894218408 139722019475551 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=660] ppid=494 vsize=26534456 CPUtime=30.5 cores=0-7
/proc/496/task/660/stat : 660 (java) R 494 494 1143 0 -1 4202560 618 0 0 0 3050 0 0 0 20 0 28 0 16682557 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139720890007024 139722016391276 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=661] ppid=494 vsize=26534456 CPUtime=30.39 cores=0-7
/proc/496/task/661/stat : 661 (java) R 494 494 1143 0 -1 4202560 2149 0 0 0 3039 0 0 0 20 0 28 0 16682557 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139720891056392 139722019155690 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=662] ppid=494 vsize=26534456 CPUtime=30.35 cores=0-7
/proc/496/task/662/stat : 662 (java) R 494 494 1143 0 -1 4202560 1656 0 0 0 3031 4 0 0 20 0 28 0 16682557 27171282944 569698 18446744073709551615 4194304 4196468 140730864348608 139720887898368 139722018702171 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
Current children cumulated CPU time (s) 1761.82
Current children cumulated vsize (KiB) 26543968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+242.202 s]
/proc/loadavg: 8.63 7.12 7.26 9/207 663
/proc/meminfo: memFree=29365392/32770624 swapFree=0/357104
[pid=494] ppid=491 vsize=9512 CPUtime=0 cores=0-7
/proc/494/stat : 494 (xcsp3-exec) S 491 494 1143 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 16663383 9740288 344 18446744073709551615 4194304 5098028 140723355565488 140723355563592 140482006663804 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 36192256 140723355566483 140723355566692 140723355566692 140723355570155 0
/proc/494/statm: 2378 344 289 221 0 87 0
[pid=496] ppid=494 vsize=26534456 CPUtime=1920.55 cores=0-7
/proc/496/stat : 496 (java) S 494 494 1143 0 -1 1077944320 159448 0 0 0 191787 268 0 0 20 0 28 0 16663393 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 140730864331152 139722367778551 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
/proc/496/statm: 6633614 570834 3253 1 0 6621915 0
[pid=496/tid=497] ppid=494 vsize=26534456 CPUtime=1.24 cores=0-7
/proc/496/task/497/stat : 497 (java) S 494 494 1143 0 -1 1077944384 9514 0 0 0 119 5 0 0 20 0 28 0 16663393 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139722372019328 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=498] ppid=494 vsize=26534456 CPUtime=0.19 cores=0-7
/proc/496/task/498/stat : 498 (java) S 494 494 1143 0 -1 1077944384 2335 0 0 0 13 6 0 0 20 0 28 0 16663394 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139721930382480 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=499] ppid=494 vsize=26534456 CPUtime=0.19 cores=0-7
/proc/496/task/499/stat : 499 (java) S 494 494 1143 0 -1 1077944384 2033 0 0 0 11 8 0 0 20 0 28 0 16663394 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139721929329680 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=500] ppid=494 vsize=26534456 CPUtime=0.18 cores=0-7
/proc/496/task/500/stat : 500 (java) S 494 494 1143 0 -1 1077944384 1424 0 0 0 11 7 0 0 20 0 28 0 16663394 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139721928276880 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=501] ppid=494 vsize=26534456 CPUtime=0.21 cores=0-7
/proc/496/task/501/stat : 501 (java) S 494 494 1143 0 -1 1077944384 2029 0 0 0 13 8 0 0 20 0 28 0 16663394 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139721927224080 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=502] ppid=494 vsize=26534456 CPUtime=0.21 cores=0-7
/proc/496/task/502/stat : 502 (java) S 494 494 1143 0 -1 1077944384 2002 0 0 0 14 7 0 0 20 0 28 0 16663394 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139721926171280 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=503] ppid=494 vsize=26534456 CPUtime=0.19 cores=0-7
/proc/496/task/503/stat : 503 (java) S 494 494 1143 0 -1 1077944384 1688 0 0 0 12 7 0 0 20 0 28 0 16663394 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139721925118480 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=504] ppid=494 vsize=26534456 CPUtime=0.23 cores=0-7
/proc/496/task/504/stat : 504 (java) S 494 494 1143 0 -1 1077944384 2823 0 0 0 14 9 0 0 20 0 28 0 16663394 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139721924065680 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=505] ppid=494 vsize=26534456 CPUtime=0.21 cores=0-7
/proc/496/task/505/stat : 505 (java) S 494 494 1143 0 -1 1077944384 1752 0 0 0 13 8 0 0 20 0 28 0 16663394 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139721923012880 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=506] ppid=494 vsize=26534456 CPUtime=0.14 cores=0-7
/proc/496/task/506/stat : 506 (java) S 494 494 1143 0 -1 1077944384 7117 0 0 0 7 7 0 0 20 0 28 0 16663395 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139720912751472 139722367789698 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=507] ppid=494 vsize=26534456 CPUtime=0 cores=0-7
/proc/496/task/507/stat : 507 (java) S 494 494 1143 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 16663396 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139720911697504 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=508] ppid=494 vsize=26534456 CPUtime=0 cores=0-7
/proc/496/task/508/stat : 508 (java) S 494 494 1143 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 16663396 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139720910644608 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=509] ppid=494 vsize=26534456 CPUtime=0 cores=0-7
/proc/496/task/509/stat : 509 (java) S 494 494 1143 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 16663398 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139720909592912 139722367797147 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=510] ppid=494 vsize=26534456 CPUtime=3.02 cores=0-7
/proc/496/task/510/stat : 510 (java) S 494 494 1143 0 -1 1077944384 17602 0 0 0 298 4 0 0 20 0 28 0 16663398 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139720908540272 139722367789698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=511] ppid=494 vsize=26534456 CPUtime=2.47 cores=0-7
/proc/496/task/511/stat : 511 (java) S 494 494 1143 0 -1 1077944384 8593 0 0 0 245 2 0 0 20 0 28 0 16663398 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139720907487472 139722367789698 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=512] ppid=494 vsize=26534456 CPUtime=2.58 cores=0-7
/proc/496/task/512/stat : 512 (java) S 494 494 1143 0 -1 1077944384 9031 0 0 0 257 1 0 0 20 0 28 0 16663398 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139720906434672 139722367789698 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=513] ppid=494 vsize=26534456 CPUtime=0.8 cores=0-7
/proc/496/task/513/stat : 513 (java) S 494 494 1143 0 -1 1077944384 10970 0 0 0 78 2 0 0 20 0 28 0 16663398 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139720905381872 139722367789698 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=514] ppid=494 vsize=26534456 CPUtime=0 cores=0-7
/proc/496/task/514/stat : 514 (java) S 494 494 1143 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 16663399 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139720904330336 139722367788757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=516] ppid=494 vsize=26534456 CPUtime=0.07 cores=0-7
/proc/496/task/516/stat : 516 (java) S 494 494 1143 0 -1 1077944384 2639 0 0 0 0 7 0 0 20 0 28 0 16663406 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139720903277616 139722367789698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=655] ppid=494 vsize=26534456 CPUtime=50.22 cores=0-7
/proc/496/task/655/stat : 655 (java) R 494 494 1143 0 -1 4202560 810 0 0 0 5022 0 0 0 20 0 28 0 16682557 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139720892111968 139722017063752 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=656] ppid=494 vsize=26534456 CPUtime=50.34 cores=0-7
/proc/496/task/656/stat : 656 (java) R 494 494 1143 0 -1 4202560 1100 0 0 0 5034 0 0 0 20 0 28 0 16682557 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139720893166120 139722016449053 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=657] ppid=494 vsize=26534456 CPUtime=50.1 cores=0-7
/proc/496/task/657/stat : 657 (java) R 494 494 1143 0 -1 4202560 805 0 0 0 5010 0 0 0 20 0 28 0 16682557 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139720895271336 139722017773403 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=658] ppid=494 vsize=26534456 CPUtime=50.36 cores=0-7
/proc/496/task/658/stat : 658 (java) R 494 494 1143 0 -1 4202560 4191 0 0 0 5029 7 0 0 20 0 28 0 16682557 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139720888954608 139722019297111 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=659] ppid=494 vsize=26534456 CPUtime=50.36 cores=0-7
/proc/496/task/659/stat : 659 (java) R 494 494 1143 0 -1 4202560 2742 0 0 0 5026 10 0 0 20 0 28 0 16682557 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139720894218408 139722017063961 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=660] ppid=494 vsize=26534456 CPUtime=50.36 cores=0-7
/proc/496/task/660/stat : 660 (java) R 494 494 1143 0 -1 4202560 892 0 0 0 5036 0 0 0 20 0 28 0 16682557 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139720890007592 139722019119237 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=661] ppid=494 vsize=26534456 CPUtime=50.26 cores=0-7
/proc/496/task/661/stat : 661 (java) R 494 494 1143 0 -1 4202560 2975 0 0 0 5025 1 0 0 20 0 28 0 16682557 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139720891056560 139722016422529 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
[pid=496/tid=662] ppid=494 vsize=26534456 CPUtime=50.14 cores=0-7
/proc/496/task/662/stat : 662 (java) R 494 494 1143 0 -1 4202560 3001 0 0 0 5007 7 0 0 20 0 28 0 16682557 27171282944 570834 18446744073709551615 4194304 4196468 140730864348608 139720887903016 139722018702099 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140730864353744 140730864353920 140730864353920 140730864357327 0
Current children cumulated CPU time (s) 1920.55
Current children cumulated vsize (KiB) 26543968

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 496 sig 9
??? kill 494 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 494 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=961
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=961
# CPU time returned by wait4() is 0.001922
# while last known CPU time is 1920.55
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 242.236
CPU time (s): 1920.55
CPU user time (s): 1917.87
CPU system time (s): 2.68
CPU usage (%): 792.843
Max. virtual memory (cumulated for all children) (KiB): 26543968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000961
system time used= 0.000961
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.92267 second user time and 1.75668 second system time

The end