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-4247321-1500689982/watcher-4247321-1500689982 -o /tmp/evaluation-result-4247321-1500689982/solver-4247321-1500689982 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 797142081 HOME/instance-4247321-1500689982.xml
pid=24651
running on 8 cores: 1,3,5,7,9,11,13,15
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.55 15.12 13.45 10/270 24654
/proc/meminfo: memFree=28123396/32770624 swapFree=5860/280876
[pid=24654] ppid=24651 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24654/stat : 24654 (xcsp3-exec) S 24651 24654 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4265642 9740288 346 33554432000 4194304 5098028 140728945177056 140728945175160 139686353134204 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32854016 140728945181839 140728945182048 140728945182048 140728945184747 0
/proc/24654/statm: 2378 346 289 221 0 87 0
[startup+0.100105 s]
/proc/loadavg: 15.55 15.12 13.45 10/270 24654
/proc/meminfo: memFree=28123396/32770624 swapFree=5860/280876
[pid=24654] ppid=24651 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24654/stat : 24654 (xcsp3-exec) S 24651 24654 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4265642 9740288 346 33554432000 4194304 5098028 140728945177056 140728945175160 139686353134204 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32854016 140728945181839 140728945182048 140728945182048 140728945184747 0
/proc/24654/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200304 s]
/proc/loadavg: 15.55 15.12 13.45 10/270 24654
/proc/meminfo: memFree=28123396/32770624 swapFree=5860/280876
[pid=24654] ppid=24651 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24654/stat : 24654 (xcsp3-exec) S 24651 24654 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4265642 9740288 346 33554432000 4194304 5098028 140728945177056 140728945175160 139686353134204 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32854016 140728945181839 140728945182048 140728945182048 140728945184747 0
/proc/24654/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300218 s]
/proc/loadavg: 15.55 15.12 13.45 10/270 24654
/proc/meminfo: memFree=28123396/32770624 swapFree=5860/280876
[pid=24654] ppid=24651 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24654/stat : 24654 (xcsp3-exec) S 24651 24654 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4265642 9740288 346 33554432000 4194304 5098028 140728945177056 140728945175160 139686353134204 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32854016 140728945181839 140728945182048 140728945182048 140728945184747 0
/proc/24654/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700168 s]
/proc/loadavg: 15.55 15.12 13.45 10/270 24654
/proc/meminfo: memFree=28123396/32770624 swapFree=5860/280876
[pid=24654] ppid=24651 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24654/stat : 24654 (xcsp3-exec) S 24651 24654 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4265642 9740288 346 33554432000 4194304 5098028 140728945177056 140728945175160 139686353134204 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32854016 140728945181839 140728945182048 140728945182048 140728945184747 0
/proc/24654/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50174 s]
/proc/loadavg: 15.55 15.12 13.45 10/291 24675
/proc/meminfo: memFree=27996708/32770624 swapFree=5860/280912
[pid=24654] ppid=24651 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24654/stat : 24654 (xcsp3-exec) S 24651 24654 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4265642 9740288 346 33554432000 4194304 5098028 140728945177056 140728945175160 139686353134204 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32854016 140728945181839 140728945182048 140728945182048 140728945184747 0
/proc/24654/statm: 2378 346 289 221 0 87 0
[pid=24655] ppid=24654 vsize=13269256 CPUtime=4.1 cores=1,3,5,7,9,11,13,15
/proc/24655/stat : 24655 (java) S 24654 24654 7411 0 -1 1077944320 17673 0 0 0 371 39 0 0 20 0 20 0 4265642 13587718144 62045 33554432000 4194304 4196468 140720454203168 140720454185712 139714845617911 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
/proc/24655/statm: 3317314 62045 3238 1 0 3304547 0
[pid=24655/tid=24656] ppid=24654 vsize=13269256 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24656/stat : 24656 (java) R 24654 24654 7411 0 -1 4202560 6868 0 0 0 136 4 0 0 20 0 20 0 4265643 13587718144 62045 33554432000 4194304 4196468 140720454203168 139714849855064 139714486654619 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24658] ppid=24654 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24658/stat : 24658 (java) S 24654 24654 7411 0 -1 1077944384 160 0 0 0 2 4 0 0 20 0 20 0 4265644 13587718144 62045 33554432000 4194304 4196468 140720454203168 139714817460496 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24659] ppid=24654 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24659/stat : 24659 (java) S 24654 24654 7411 0 -1 1077944384 56 0 0 0 2 4 0 0 20 0 20 0 4265644 13587718144 62045 33554432000 4194304 4196468 140720454203168 139714444241296 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24660] ppid=24654 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24660/stat : 24660 (java) S 24654 24654 7411 0 -1 1077944384 82 0 0 0 3 3 0 0 20 0 20 0 4265644 13587718144 62045 33554432000 4194304 4196468 140720454203168 139714443188752 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24661] ppid=24654 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24661/stat : 24661 (java) S 24654 24654 7411 0 -1 1077944384 48 0 0 0 2 4 0 0 20 0 20 0 4265644 13587718144 62045 33554432000 4194304 4196468 140720454203168 139714442136208 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24662] ppid=24654 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24662/stat : 24662 (java) S 24654 24654 7411 0 -1 1077944384 62 0 0 0 2 4 0 0 20 0 20 0 4265644 13587718144 62045 33554432000 4194304 4196468 140720454203168 139714441083664 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24663] ppid=24654 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24663/stat : 24663 (java) S 24654 24654 7411 0 -1 1077944384 68 0 0 0 2 4 0 0 20 0 20 0 4265644 13587718144 62045 33554432000 4194304 4196468 140720454203168 139714440031120 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24664] ppid=24654 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24664/stat : 24664 (java) S 24654 24654 7411 0 -1 1077944384 71 0 0 0 2 4 0 0 20 0 20 0 4265644 13587718144 62045 33554432000 4194304 4196468 140720454203168 139714438978576 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24665] ppid=24654 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24665/stat : 24665 (java) S 24654 24654 7411 0 -1 1077944384 33 0 0 0 1 3 0 0 20 0 20 0 4265644 13587718144 62045 33554432000 4194304 4196468 140720454203168 139714437926032 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24666] ppid=24654 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24666/stat : 24666 (java) S 24654 24654 7411 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 20 0 4265646 13587718144 62045 33554432000 4194304 4196468 140720454203168 139714173749232 139714845629058 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24667] ppid=24654 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24667/stat : 24667 (java) S 24654 24654 7411 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 4265647 13587718144 62045 33554432000 4194304 4196468 140720454203168 139714172695456 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24668] ppid=24654 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24668/stat : 24668 (java) S 24654 24654 7411 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4265647 13587718144 62045 33554432000 4194304 4196468 140720454203168 139714171642864 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24669] ppid=24654 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24669/stat : 24669 (java) S 24654 24654 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4265651 13587718144 62045 33554432000 4194304 4196468 140720454203168 139714170591440 139714845636507 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24670] ppid=24654 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24670/stat : 24670 (java) S 24654 24654 7411 0 -1 1077944384 2134 0 0 0 54 0 0 0 20 0 20 0 4265651 13587718144 62045 33554432000 4194304 4196468 140720454203168 139714169539056 139714845629058 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24671] ppid=24654 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24671/stat : 24671 (java) S 24654 24654 7411 0 -1 1077944384 1574 0 0 0 54 0 0 0 20 0 20 0 4265651 13587718144 62045 33554432000 4194304 4196468 140720454203168 139714168486512 139714845629058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24672] ppid=24654 vsize=13269256 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24672/stat : 24672 (java) S 24654 24654 7411 0 -1 1077944384 1775 0 0 0 50 0 0 0 20 0 20 0 4265651 13587718144 62045 33554432000 4194304 4196468 140720454203168 139714167433968 139714845629058 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24673] ppid=24654 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24673/stat : 24673 (java) S 24654 24654 7411 0 -1 1077944384 3204 0 0 0 54 0 0 0 20 0 20 0 4265651 13587718144 62045 33554432000 4194304 4196468 140720454203168 139714166381424 139714845629058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24674] ppid=24654 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24674/stat : 24674 (java) S 24654 24654 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4265651 13587718144 62045 33554432000 4194304 4196468 140720454203168 139714165328096 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24675] ppid=24654 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24675/stat : 24675 (java) S 24654 24654 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4265651 13587718144 62045 33554432000 4194304 4196468 140720454203168 139714164275632 139714845629058 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 13278768
[startup+3.10101 s]
/proc/loadavg: 14.95 15.00 13.42 17/291 24675
/proc/meminfo: memFree=27818972/32770624 swapFree=5860/280920
[pid=24654] ppid=24651 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24654/stat : 24654 (xcsp3-exec) S 24651 24654 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4265642 9740288 346 33554432000 4194304 5098028 140728945177056 140728945175160 139686353134204 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32854016 140728945181839 140728945182048 140728945182048 140728945184747 0
/proc/24654/statm: 2378 346 289 221 0 87 0
[pid=24655] ppid=24654 vsize=13269256 CPUtime=7.02 cores=1,3,5,7,9,11,13,15
/proc/24655/stat : 24655 (java) S 24654 24654 7411 0 -1 1077944320 21160 0 0 0 590 112 0 0 20 0 20 0 4265642 13587718144 93496 33554432000 4194304 4196468 140720454203168 140720454185712 139714845617911 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
/proc/24655/statm: 3317314 93496 3245 1 0 3304547 0
[pid=24655/tid=24656] ppid=24654 vsize=13269256 CPUtime=2.86 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24656/stat : 24656 (java) R 24654 24654 7411 0 -1 4202560 7441 0 0 0 282 4 0 0 20 0 20 0 4265643 13587718144 93496 33554432000 4194304 4196468 140720454203168 139714849853208 139714486518994 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24658] ppid=24654 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24658/stat : 24658 (java) S 24654 24654 7411 0 -1 1077944384 226 0 0 0 6 12 0 0 20 0 20 0 4265644 13587718144 93496 33554432000 4194304 4196468 140720454203168 139714817460496 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24659] ppid=24654 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24659/stat : 24659 (java) S 24654 24654 7411 0 -1 1077944384 145 0 0 0 6 13 0 0 20 0 20 0 4265644 13587718144 93496 33554432000 4194304 4196468 140720454203168 139714444241296 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24660] ppid=24654 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24660/stat : 24660 (java) S 24654 24654 7411 0 -1 1077944384 617 0 0 0 7 12 0 0 20 0 20 0 4265644 13587718144 93496 33554432000 4194304 4196468 140720454203168 139714443188752 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24661] ppid=24654 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24661/stat : 24661 (java) S 24654 24654 7411 0 -1 1077944384 127 0 0 0 7 13 0 0 20 0 20 0 4265644 13587718144 93496 33554432000 4194304 4196468 140720454203168 139714442136208 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24662] ppid=24654 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24662/stat : 24662 (java) S 24654 24654 7411 0 -1 1077944384 154 0 0 0 7 13 0 0 20 0 20 0 4265644 13587718144 93496 33554432000 4194304 4196468 140720454203168 139714441083664 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24663] ppid=24654 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24663/stat : 24663 (java) S 24654 24654 7411 0 -1 1077944384 150 0 0 0 6 13 0 0 20 0 20 0 4265644 13587718144 93496 33554432000 4194304 4196468 140720454203168 139714440031120 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24664] ppid=24654 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24664/stat : 24664 (java) S 24654 24654 7411 0 -1 1077944384 167 0 0 0 7 13 0 0 20 0 20 0 4265644 13587718144 93496 33554432000 4194304 4196468 140720454203168 139714438978576 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24665] ppid=24654 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24665/stat : 24665 (java) S 24654 24654 7411 0 -1 1077944384 105 0 0 0 6 12 0 0 20 0 20 0 4265644 13587718144 93496 33554432000 4194304 4196468 140720454203168 139714437926032 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24666] ppid=24654 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24666/stat : 24666 (java) S 24654 24654 7411 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 20 0 4265646 13587718144 93496 33554432000 4194304 4196468 140720454203168 139714173749232 139714845629058 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24667] ppid=24654 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24667/stat : 24667 (java) S 24654 24654 7411 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 4265647 13587718144 93496 33554432000 4194304 4196468 140720454203168 139714172695456 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24668] ppid=24654 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24668/stat : 24668 (java) S 24654 24654 7411 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4265647 13587718144 93496 33554432000 4194304 4196468 140720454203168 139714171642864 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24669] ppid=24654 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24669/stat : 24669 (java) S 24654 24654 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4265651 13587718144 93496 33554432000 4194304 4196468 140720454203168 139714170591440 139714845636507 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24670] ppid=24654 vsize=13269256 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24670/stat : 24670 (java) S 24654 24654 7411 0 -1 1077944384 2407 0 0 0 62 0 0 0 20 0 20 0 4265651 13587718144 93496 33554432000 4194304 4196468 140720454203168 139714169539056 139714845629058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24671] ppid=24654 vsize=13269256 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24671/stat : 24671 (java) S 24654 24654 7411 0 -1 1077944384 1764 0 0 0 66 1 0 0 20 0 20 0 4265651 13587718144 93496 33554432000 4194304 4196468 140720454203168 139714168486512 139714845629058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24672] ppid=24654 vsize=13269256 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24672/stat : 24672 (java) S 24654 24654 7411 0 -1 1077944384 2382 0 0 0 64 0 0 0 20 0 20 0 4265651 13587718144 93496 33554432000 4194304 4196468 140720454203168 139714167433968 139714845629058 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24673] ppid=24654 vsize=13269256 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24673/stat : 24673 (java) S 24654 24654 7411 0 -1 1077944384 3857 0 0 0 57 0 0 0 20 0 20 0 4265651 13587718144 93496 33554432000 4194304 4196468 140720454203168 139714166381424 139714845629058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24674] ppid=24654 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24674/stat : 24674 (java) S 24654 24654 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4265651 13587718144 93496 33554432000 4194304 4196468 140720454203168 139714165328096 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24675] ppid=24654 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24675/stat : 24675 (java) S 24654 24654 7411 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 4265651 13587718144 93496 33554432000 4194304 4196468 140720454203168 139714164275632 139714845629058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 13278768
[startup+6.30175 s]
/proc/loadavg: 14.95 15.00 13.42 10/291 24675
/proc/meminfo: memFree=27416160/32770624 swapFree=5860/280924
[pid=24654] ppid=24651 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24654/stat : 24654 (xcsp3-exec) S 24651 24654 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4265642 9740288 346 33554432000 4194304 5098028 140728945177056 140728945175160 139686353134204 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32854016 140728945181839 140728945182048 140728945182048 140728945184747 0
/proc/24654/statm: 2378 346 289 221 0 87 0
[pid=24655] ppid=24654 vsize=13269256 CPUtime=18.85 cores=1,3,5,7,9,11,13,15
/proc/24655/stat : 24655 (java) S 24654 24654 7411 0 -1 1077944320 30396 0 0 0 1532 353 0 0 20 0 20 0 4265642 13587718144 234761 33554432000 4194304 4196468 140720454203168 140720454185712 139714845617911 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
/proc/24655/statm: 3317314 234761 3271 1 0 3304547 0
[pid=24655/tid=24656] ppid=24654 vsize=13269256 CPUtime=4.87 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24656/stat : 24656 (java) R 24654 24654 7411 0 -1 4202560 7891 0 0 0 482 5 0 0 20 0 20 0 4265643 13587718144 234761 33554432000 4194304 4196468 140720454203168 139714849854104 139714486654598 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24658] ppid=24654 vsize=13269256 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24658/stat : 24658 (java) S 24654 24654 7411 0 -1 1077944384 920 0 0 0 87 43 0 0 20 0 20 0 4265644 13587718144 234761 33554432000 4194304 4196468 140720454203168 139714817460496 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24659] ppid=24654 vsize=13269256 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24659/stat : 24659 (java) S 24654 24654 7411 0 -1 1077944384 835 0 0 0 90 43 0 0 20 0 20 0 4265644 13587718144 234761 33554432000 4194304 4196468 140720454203168 139714444241296 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24660] ppid=24654 vsize=13269256 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24660/stat : 24660 (java) S 24654 24654 7411 0 -1 1077944384 1291 0 0 0 91 43 0 0 20 0 20 0 4265644 13587718144 234761 33554432000 4194304 4196468 140720454203168 139714443188752 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24661] ppid=24654 vsize=13269256 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24661/stat : 24661 (java) S 24654 24654 7411 0 -1 1077944384 790 0 0 0 91 41 0 0 20 0 20 0 4265644 13587718144 234761 33554432000 4194304 4196468 140720454203168 139714442136208 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24662] ppid=24654 vsize=13269256 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24662/stat : 24662 (java) S 24654 24654 7411 0 -1 1077944384 785 0 0 0 92 41 0 0 20 0 20 0 4265644 13587718144 234761 33554432000 4194304 4196468 140720454203168 139714441083664 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24663] ppid=24654 vsize=13269256 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24663/stat : 24663 (java) S 24654 24654 7411 0 -1 1077944384 797 0 0 0 90 41 0 0 20 0 20 0 4265644 13587718144 234761 33554432000 4194304 4196468 140720454203168 139714440031120 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24664] ppid=24654 vsize=13269256 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24664/stat : 24664 (java) S 24654 24654 7411 0 -1 1077944384 741 0 0 0 91 43 0 0 20 0 20 0 4265644 13587718144 234761 33554432000 4194304 4196468 140720454203168 139714438978576 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24665] ppid=24654 vsize=13269256 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24665/stat : 24665 (java) S 24654 24654 7411 0 -1 1077944384 684 0 0 0 90 43 0 0 20 0 20 0 4265644 13587718144 234761 33554432000 4194304 4196468 140720454203168 139714437926032 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24666] ppid=24654 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24666/stat : 24666 (java) S 24654 24654 7411 0 -1 1077944384 1628 0 0 0 3 0 0 0 20 0 20 0 4265646 13587718144 234761 33554432000 4194304 4196468 140720454203168 139714173749232 139714845629058 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24667] ppid=24654 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24667/stat : 24667 (java) S 24654 24654 7411 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 4265647 13587718144 234761 33554432000 4194304 4196468 140720454203168 139714172695520 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24668] ppid=24654 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24668/stat : 24668 (java) S 24654 24654 7411 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4265647 13587718144 234761 33554432000 4194304 4196468 140720454203168 139714171642880 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24669] ppid=24654 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24669/stat : 24669 (java) S 24654 24654 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4265651 13587718144 234761 33554432000 4194304 4196468 140720454203168 139714170591440 139714845636507 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
################
# More data... #
################
/proc/24655/task/24667/stat : 24667 (java) S 24654 24654 7411 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 4265647 14133010432 1647207 33554432000 4194304 4196468 140720454203168 139714172695520 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24668] ppid=24654 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24668/stat : 24668 (java) S 24654 24654 7411 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 28 0 4265647 14133010432 1647207 33554432000 4194304 4196468 140720454203168 139714171642880 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24669] ppid=24654 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24669/stat : 24669 (java) S 24654 24654 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4265651 14133010432 1647207 33554432000 4194304 4196468 140720454203168 139714170591440 139714845636507 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24670] ppid=24654 vsize=13801768 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24670/stat : 24670 (java) R 24654 24654 7411 0 -1 4202560 6445 0 0 0 184 1 0 0 20 0 28 0 4265651 14133010432 1647207 33554432000 4194304 4196468 140720454203168 139714169525520 139714823809276 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24671] ppid=24654 vsize=13801768 CPUtime=2.33 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24671/stat : 24671 (java) R 24654 24654 7411 0 -1 4202560 6752 0 0 0 232 1 0 0 20 0 28 0 4265651 14133010432 1647207 33554432000 4194304 4196468 140720454203168 139714168478048 139714829028895 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24672] ppid=24654 vsize=13801768 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24672/stat : 24672 (java) R 24654 24654 7411 0 -1 4202560 5813 0 0 0 175 1 0 0 20 0 28 0 4265651 14133010432 1647207 33554432000 4194304 4196468 140720454203168 139714167419848 139714829005983 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24673] ppid=24654 vsize=13801768 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24673/stat : 24673 (java) S 24654 24654 7411 0 -1 1077944384 6407 0 0 0 77 1 0 0 20 0 28 0 4265651 14133010432 1647207 33554432000 4194304 4196468 140720454203168 139714166381424 139714845629058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24674] ppid=24654 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24674/stat : 24674 (java) S 24654 24654 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4265651 14133010432 1647207 33554432000 4194304 4196468 140720454203168 139714165328096 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24675] ppid=24654 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24675/stat : 24675 (java) S 24654 24654 7411 0 -1 1077944384 720 0 0 0 1 1 0 0 20 0 28 0 4265651 14133010432 1647207 33554432000 4194304 4196468 140720454203168 139714164275632 139714845629058 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24684] ppid=24654 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24684/stat : 24684 (java) R 24654 24654 7411 0 -1 4202560 103 0 0 0 33 0 0 0 20 0 28 0 4270314 14133010432 1647207 33554432000 4194304 4196468 140720454203168 139714156259720 139714490271635 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24685] ppid=24654 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24685/stat : 24685 (java) R 24654 24654 7411 0 -1 4202560 69 0 0 0 31 0 0 0 20 0 28 0 4270314 14133010432 1647207 33554432000 4194304 4196468 140720454203168 139714155211192 139714483456279 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24686] ppid=24654 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24686/stat : 24686 (java) R 24654 24654 7411 0 -1 4202560 81 0 0 0 32 0 0 0 20 0 28 0 4270314 14133010432 1647207 33554432000 4194304 4196468 140720454203168 139714154158864 139714490107823 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24687] ppid=24654 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24687/stat : 24687 (java) R 24654 24654 7411 0 -1 4202560 60 0 0 0 35 0 0 0 20 0 28 0 4270314 14133010432 1647207 33554432000 4194304 4196468 140720454203168 139714153102752 139714490221092 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24688] ppid=24654 vsize=13801768 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24688/stat : 24688 (java) R 24654 24654 7411 0 -1 4202560 144 0 0 0 28 0 0 0 20 0 28 0 4270314 14133010432 1647207 33554432000 4194304 4196468 140720454203168 139714152053424 139714490219376 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24689] ppid=24654 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24689/stat : 24689 (java) R 24654 24654 7411 0 -1 4202560 56 0 0 0 32 0 0 0 20 0 28 0 4270314 14133010432 1647207 33554432000 4194304 4196468 140720454203168 139714151001016 139714490105529 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24690] ppid=24654 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24690/stat : 24690 (java) R 24654 24654 7411 0 -1 4202560 282 0 0 0 31 0 0 0 20 0 28 0 4270314 14133010432 1647207 33554432000 4194304 4196468 140720454203168 139714149947448 139714490105518 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24691] ppid=24654 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24691/stat : 24691 (java) R 24654 24654 7411 0 -1 4202560 70 0 0 0 31 0 0 0 20 0 28 0 4270314 14133010432 1647207 33554432000 4194304 4196468 140720454203168 139714148891936 139714490245522 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
Current children cumulated CPU time (s) 175.8
Current children cumulated vsize (KiB) 13811280
[startup+48.2015 s]
/proc/loadavg: 13.10 14.48 13.32 18/300 24691
/proc/meminfo: memFree=21772456/32770624 swapFree=5860/280984
[pid=24654] ppid=24651 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24654/stat : 24654 (xcsp3-exec) S 24651 24654 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4265642 9740288 346 33554432000 4194304 5098028 140728945177056 140728945175160 139686353134204 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32854016 140728945181839 140728945182048 140728945182048 140728945184747 0
/proc/24654/statm: 2378 346 289 221 0 87 0
[pid=24655] ppid=24654 vsize=13801768 CPUtime=177.35 cores=1,3,5,7,9,11,13,15
/proc/24655/stat : 24655 (java) S 24654 24654 7411 0 -1 1077944320 113858 0 0 0 15221 2514 0 0 20 0 28 0 4265642 14133010432 1647496 33554432000 4194304 4196468 140720454203168 140720454185712 139714845617911 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
/proc/24655/statm: 3450442 1647496 3282 1 0 3437675 0
[pid=24655/tid=24656] ppid=24654 vsize=13801768 CPUtime=29.87 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24656/stat : 24656 (java) S 24654 24654 7411 0 -1 1077944384 13040 0 0 0 2979 8 0 0 20 0 28 0 4265643 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714849858688 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24658] ppid=24654 vsize=13801768 CPUtime=17.02 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24658/stat : 24658 (java) S 24654 24654 7411 0 -1 1077944384 6629 0 0 0 1402 300 0 0 20 0 28 0 4265644 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714817460496 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24659] ppid=24654 vsize=13801768 CPUtime=17.02 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24659/stat : 24659 (java) S 24654 24654 7411 0 -1 1077944384 8024 0 0 0 1389 313 0 0 20 0 28 0 4265644 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714444241296 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24660] ppid=24654 vsize=13801768 CPUtime=16.99 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24660/stat : 24660 (java) S 24654 24654 7411 0 -1 1077944384 6988 0 0 0 1372 327 0 0 20 0 28 0 4265644 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714443188752 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24661] ppid=24654 vsize=13801768 CPUtime=16.87 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24661/stat : 24661 (java) S 24654 24654 7411 0 -1 1077944384 5497 0 0 0 1387 300 0 0 20 0 28 0 4265644 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714442136208 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24662] ppid=24654 vsize=13801768 CPUtime=17.12 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24662/stat : 24662 (java) S 24654 24654 7411 0 -1 1077944384 13468 0 0 0 1400 312 0 0 20 0 28 0 4265644 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714441083664 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24663] ppid=24654 vsize=13801768 CPUtime=16.98 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24663/stat : 24663 (java) S 24654 24654 7411 0 -1 1077944384 6500 0 0 0 1393 305 0 0 20 0 28 0 4265644 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714440031120 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24664] ppid=24654 vsize=13801768 CPUtime=17.09 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24664/stat : 24664 (java) S 24654 24654 7411 0 -1 1077944384 7235 0 0 0 1385 324 0 0 20 0 28 0 4265644 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714438978576 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24665] ppid=24654 vsize=13801768 CPUtime=17.11 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24665/stat : 24665 (java) S 24654 24654 7411 0 -1 1077944384 5938 0 0 0 1400 311 0 0 20 0 28 0 4265644 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714437926032 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24666] ppid=24654 vsize=13801768 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24666/stat : 24666 (java) S 24654 24654 7411 0 -1 1077944384 11717 0 0 0 29 1 0 0 20 0 28 0 4265646 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714173749232 139714845629058 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24667] ppid=24654 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24667/stat : 24667 (java) S 24654 24654 7411 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 4265647 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714172695520 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24668] ppid=24654 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24668/stat : 24668 (java) S 24654 24654 7411 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 28 0 4265647 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714171642880 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24669] ppid=24654 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24669/stat : 24669 (java) S 24654 24654 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4265651 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714170591440 139714845636507 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24670] ppid=24654 vsize=13801768 CPUtime=1.97 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24670/stat : 24670 (java) R 24654 24654 7411 0 -1 1077944384 6520 0 0 0 196 1 0 0 20 0 28 0 4265651 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714169538864 139714845628117 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24671] ppid=24654 vsize=13801768 CPUtime=2.5 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24671/stat : 24671 (java) R 24654 24654 7411 0 -1 4202560 6844 0 0 0 249 1 0 0 20 0 28 0 4265651 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714168472928 139714826797016 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24672] ppid=24654 vsize=13801768 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24672/stat : 24672 (java) R 24654 24654 7411 0 -1 4202560 6002 0 0 0 193 1 0 0 20 0 28 0 4265651 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714167415536 139714830008083 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24673] ppid=24654 vsize=13801768 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24673/stat : 24673 (java) S 24654 24654 7411 0 -1 1077944384 6421 0 0 0 78 1 0 0 20 0 28 0 4265651 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714166381424 139714845629058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24674] ppid=24654 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24674/stat : 24674 (java) S 24654 24654 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4265651 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714165328096 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24675] ppid=24654 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24675/stat : 24675 (java) S 24654 24654 7411 0 -1 1077944384 720 0 0 0 1 1 0 0 20 0 28 0 4265651 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714164275632 139714845629058 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24684] ppid=24654 vsize=13801768 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24684/stat : 24684 (java) R 24654 24654 7411 0 -1 4202560 103 0 0 0 43 0 0 0 20 0 28 0 4270314 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714156261432 139714490245737 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24685] ppid=24654 vsize=13801768 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24685/stat : 24685 (java) R 24654 24654 7411 0 -1 4202560 69 0 0 0 44 0 0 0 20 0 28 0 4270314 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714155208424 139714490272144 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24686] ppid=24654 vsize=13801768 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24686/stat : 24686 (java) R 24654 24654 7411 0 -1 4202560 81 0 0 0 44 0 0 0 20 0 28 0 4270314 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714154156552 139714490421052 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24687] ppid=24654 vsize=13801768 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24687/stat : 24687 (java) R 24654 24654 7411 0 -1 4202560 92 0 0 0 50 0 0 0 20 0 28 0 4270314 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714153103744 139714490138832 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24688] ppid=24654 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24688/stat : 24688 (java) R 24654 24654 7411 0 -1 4202560 144 0 0 0 37 0 0 0 20 0 28 0 4270314 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714152051624 139714490336972 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24689] ppid=24654 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24689/stat : 24689 (java) R 24654 24654 7411 0 -1 4202560 59 0 0 0 49 0 0 0 20 0 28 0 4270314 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714150998152 139714824919441 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24690] ppid=24654 vsize=13801768 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24690/stat : 24690 (java) R 24654 24654 7411 0 -1 4202560 282 0 0 0 45 0 0 0 20 0 28 0 4270314 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714149944904 139714490423492 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24691] ppid=24654 vsize=13801768 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24691/stat : 24691 (java) R 24654 24654 7411 0 -1 4202560 70 0 0 0 45 0 0 0 20 0 28 0 4270314 14133010432 1647496 33554432000 4194304 4196468 140720454203168 139714148891344 139714490245180 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
Current children cumulated CPU time (s) 177.35
Current children cumulated vsize (KiB) 13811280
[startup+48.3022 s]
/proc/loadavg: 13.10 14.48 13.32 18/300 24691
/proc/meminfo: memFree=21772456/32770624 swapFree=5860/280984
[pid=24654] ppid=24651 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24654/stat : 24654 (xcsp3-exec) S 24651 24654 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4265642 9740288 346 33554432000 4194304 5098028 140728945177056 140728945175160 139686353134204 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 32854016 140728945181839 140728945182048 140728945182048 140728945184747 0
/proc/24654/statm: 2378 346 289 221 0 87 0
[pid=24655] ppid=24654 vsize=13801768 CPUtime=178.15 cores=1,3,5,7,9,11,13,15
/proc/24655/stat : 24655 (java) S 24654 24654 7411 0 -1 1077944320 114149 0 0 0 15301 2514 0 0 20 0 28 0 4265642 14133010432 1647534 33554432000 4194304 4196468 140720454203168 140720454185712 139714845617911 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
/proc/24655/statm: 3450442 1647534 3282 1 0 3437675 0
[pid=24655/tid=24656] ppid=24654 vsize=13801768 CPUtime=29.87 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24656/stat : 24656 (java) S 24654 24654 7411 0 -1 1077944384 13040 0 0 0 2979 8 0 0 20 0 28 0 4265643 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714849858688 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24658] ppid=24654 vsize=13801768 CPUtime=17.02 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24658/stat : 24658 (java) S 24654 24654 7411 0 -1 1077944384 6629 0 0 0 1402 300 0 0 20 0 28 0 4265644 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714817460496 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24659] ppid=24654 vsize=13801768 CPUtime=17.02 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24659/stat : 24659 (java) S 24654 24654 7411 0 -1 1077944384 8024 0 0 0 1389 313 0 0 20 0 28 0 4265644 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714444241296 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24660] ppid=24654 vsize=13801768 CPUtime=16.99 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24660/stat : 24660 (java) S 24654 24654 7411 0 -1 1077944384 6988 0 0 0 1372 327 0 0 20 0 28 0 4265644 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714443188752 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24661] ppid=24654 vsize=13801768 CPUtime=16.87 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24661/stat : 24661 (java) S 24654 24654 7411 0 -1 1077944384 5497 0 0 0 1387 300 0 0 20 0 28 0 4265644 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714442136208 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24662] ppid=24654 vsize=13801768 CPUtime=17.12 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24662/stat : 24662 (java) S 24654 24654 7411 0 -1 1077944384 13468 0 0 0 1400 312 0 0 20 0 28 0 4265644 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714441083664 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24663] ppid=24654 vsize=13801768 CPUtime=16.98 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24663/stat : 24663 (java) S 24654 24654 7411 0 -1 1077944384 6500 0 0 0 1393 305 0 0 20 0 28 0 4265644 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714440031120 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24664] ppid=24654 vsize=13801768 CPUtime=17.09 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24664/stat : 24664 (java) S 24654 24654 7411 0 -1 1077944384 7235 0 0 0 1385 324 0 0 20 0 28 0 4265644 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714438978576 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24665] ppid=24654 vsize=13801768 CPUtime=17.11 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24665/stat : 24665 (java) S 24654 24654 7411 0 -1 1077944384 5938 0 0 0 1400 311 0 0 20 0 28 0 4265644 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714437926032 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24666] ppid=24654 vsize=13801768 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24666/stat : 24666 (java) S 24654 24654 7411 0 -1 1077944384 11717 0 0 0 29 1 0 0 20 0 28 0 4265646 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714173749232 139714845629058 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24667] ppid=24654 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24667/stat : 24667 (java) S 24654 24654 7411 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 28 0 4265647 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714172695520 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24668] ppid=24654 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24668/stat : 24668 (java) S 24654 24654 7411 0 -1 1077944384 96 0 0 0 0 0 0 0 20 0 28 0 4265647 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714171642880 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24669] ppid=24654 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24669/stat : 24669 (java) S 24654 24654 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4265651 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714170591440 139714845636507 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24670] ppid=24654 vsize=13801768 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24670/stat : 24670 (java) R 24654 24654 7411 0 -1 4202560 6520 0 0 0 202 1 0 0 20 0 28 0 4265651 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714169539056 139714826345729 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24671] ppid=24654 vsize=13801768 CPUtime=2.6 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24671/stat : 24671 (java) R 24654 24654 7411 0 -1 4202560 7124 0 0 0 259 1 0 0 20 0 28 0 4265651 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714168472928 139714823213328 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24672] ppid=24654 vsize=13801768 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24672/stat : 24672 (java) R 24654 24654 7411 0 -1 1077944384 6008 0 0 0 201 1 0 0 20 0 28 0 4265651 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714167412400 139714845628117 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24673] ppid=24654 vsize=13801768 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24673/stat : 24673 (java) S 24654 24654 7411 0 -1 1077944384 6426 0 0 0 79 1 0 0 20 0 28 0 4265651 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714166381424 139714845629058 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24674] ppid=24654 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24674/stat : 24674 (java) S 24654 24654 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4265651 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714165328096 139714845628117 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24675] ppid=24654 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24675/stat : 24675 (java) S 24654 24654 7411 0 -1 1077944384 720 0 0 0 1 1 0 0 20 0 28 0 4265651 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714164275632 139714845629058 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24684] ppid=24654 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24684/stat : 24684 (java) R 24654 24654 7411 0 -1 4202560 103 0 0 0 48 0 0 0 20 0 28 0 4270314 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714156260728 139714490138753 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24685] ppid=24654 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24685/stat : 24685 (java) R 24654 24654 7411 0 -1 4202560 69 0 0 0 48 0 0 0 20 0 28 0 4270314 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714155209240 139714483850455 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24686] ppid=24654 vsize=13801768 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24686/stat : 24686 (java) R 24654 24654 7411 0 -1 4202560 81 0 0 0 53 0 0 0 20 0 28 0 4270314 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714154156728 139714486085428 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24687] ppid=24654 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24687/stat : 24687 (java) R 24654 24654 7411 0 -1 4202560 92 0 0 0 59 0 0 0 20 0 28 0 4270314 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714153104624 139714483850418 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24688] ppid=24654 vsize=13801768 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24688/stat : 24688 (java) R 24654 24654 7411 0 -1 4202560 144 0 0 0 45 0 0 0 20 0 28 0 4270314 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714152050760 139714485312086 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24689] ppid=24654 vsize=13801768 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24689/stat : 24689 (java) R 24654 24654 7411 0 -1 4202560 59 0 0 0 53 0 0 0 20 0 28 0 4270314 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714150998648 139714483850606 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24690] ppid=24654 vsize=13801768 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24690/stat : 24690 (java) R 24654 24654 7411 0 -1 4202560 282 0 0 0 54 0 0 0 20 0 28 0 4270314 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714149946136 139714483850606 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
[pid=24655/tid=24691] ppid=24654 vsize=13801768 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/24655/task/24691/stat : 24691 (java) R 24654 24654 7411 0 -1 1077944384 70 0 0 0 52 0 0 0 20 0 28 0 4270314 14133010432 1647534 33554432000 4194304 4196468 140720454203168 139714148892368 139714845628117 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23207936 140720454206652 140720454206828 140720454206828 140720454209487 0
Current children cumulated CPU time (s) 178.15
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 48.3666
CPU time (s): 178.309
CPU user time (s): 153.134
CPU system time (s): 25.175
CPU usage (%): 368.662
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 153.134
system time used= 25.175
maximum resident set size= 6590700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114738
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7377
involuntary context switches= 13582
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.439908 second user time and 0.578827 second system time
The end