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-4249392-1500694689/watcher-4249392-1500694689 -o /tmp/evaluation-result-4249392-1500694689/solver-4249392-1500694689 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8560 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1832114130 HOME/instance-4249392-1500694689.xml
pid=16049
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.92 14.83 14.59 10/270 16052
/proc/meminfo: memFree=29735492/32770624 swapFree=5656/333864
[pid=16052] ppid=16049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16052/stat : 16052 (xcsp3-exec) S 16049 16052 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4736367 9740288 346 33554432000 4194304 5098028 140730915456544 140730915454648 140658262450812 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 17412096 140730915464334 140730915464544 140730915464544 140730915467243 0
/proc/16052/statm: 2378 346 289 221 0 87 0
[startup+0.100065 s]
/proc/loadavg: 15.92 14.83 14.59 10/270 16052
/proc/meminfo: memFree=29735492/32770624 swapFree=5656/333864
[pid=16052] ppid=16049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16052/stat : 16052 (xcsp3-exec) S 16049 16052 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4736367 9740288 346 33554432000 4194304 5098028 140730915456544 140730915454648 140658262450812 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 17412096 140730915464334 140730915464544 140730915464544 140730915467243 0
/proc/16052/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200293 s]
/proc/loadavg: 15.92 14.83 14.59 10/270 16052
/proc/meminfo: memFree=29735492/32770624 swapFree=5656/333864
[pid=16052] ppid=16049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16052/stat : 16052 (xcsp3-exec) S 16049 16052 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4736367 9740288 346 33554432000 4194304 5098028 140730915456544 140730915454648 140658262450812 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 17412096 140730915464334 140730915464544 140730915464544 140730915467243 0
/proc/16052/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300257 s]
/proc/loadavg: 15.92 14.83 14.59 10/270 16052
/proc/meminfo: memFree=29735492/32770624 swapFree=5656/333864
[pid=16052] ppid=16049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16052/stat : 16052 (xcsp3-exec) S 16049 16052 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4736367 9740288 346 33554432000 4194304 5098028 140730915456544 140730915454648 140658262450812 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 17412096 140730915464334 140730915464544 140730915464544 140730915467243 0
/proc/16052/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700259 s]
/proc/loadavg: 15.92 14.83 14.59 10/270 16052
/proc/meminfo: memFree=29735492/32770624 swapFree=5656/333864
[pid=16052] ppid=16049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16052/stat : 16052 (xcsp3-exec) S 16049 16052 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4736367 9740288 346 33554432000 4194304 5098028 140730915456544 140730915454648 140658262450812 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 17412096 140730915464334 140730915464544 140730915464544 140730915467243 0
/proc/16052/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50101 s]
/proc/loadavg: 15.52 14.77 14.58 9/291 16073
/proc/meminfo: memFree=29599488/32770624 swapFree=5656/333880
[pid=16052] ppid=16049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16052/stat : 16052 (xcsp3-exec) S 16049 16052 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4736367 9740288 346 33554432000 4194304 5098028 140730915456544 140730915454648 140658262450812 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 17412096 140730915464334 140730915464544 140730915464544 140730915467243 0
/proc/16052/statm: 2378 346 289 221 0 87 0
[pid=16053] ppid=16052 vsize=13269256 CPUtime=2.85 cores=1,3,5,7,9,11,13,15
/proc/16053/stat : 16053 (java) S 16052 16052 7102 0 -1 1077944320 14819 0 0 0 277 8 0 0 20 0 20 0 4736367 13587718144 39617 33554432000 4194304 4196468 140725079062128 140725079044672 139919011233527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
/proc/16053/statm: 3317314 39617 3202 1 0 3304547 0
[pid=16053/tid=16054] ppid=16052 vsize=13269256 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16054/stat : 16054 (java) R 16052 16052 7102 0 -1 4202560 7133 0 0 0 134 5 0 0 20 0 20 0 4736367 13587718144 39617 33554432000 4194304 4196468 140725079062128 139919015468712 139918646624404 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16056] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16056/stat : 16056 (java) S 16052 16052 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4736368 13587718144 39617 33554432000 4194304 4196468 140725079062128 139918963853840 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16057] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16057/stat : 16057 (java) S 16052 16052 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4736368 13587718144 39617 33554432000 4194304 4196468 140725079062128 139918962801296 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16058] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16058/stat : 16058 (java) S 16052 16052 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4736368 13587718144 39617 33554432000 4194304 4196468 140725079062128 139918608627984 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16059] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16059/stat : 16059 (java) S 16052 16052 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4736368 13587718144 39617 33554432000 4194304 4196468 140725079062128 139918607575440 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16060] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16060/stat : 16060 (java) S 16052 16052 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4736368 13587718144 39617 33554432000 4194304 4196468 140725079062128 139918606523408 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16061] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16061/stat : 16061 (java) S 16052 16052 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4736368 13587718144 39617 33554432000 4194304 4196468 140725079062128 139918605470864 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16062] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16062/stat : 16062 (java) S 16052 16052 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4736368 13587718144 39617 33554432000 4194304 4196468 140725079062128 139918604417808 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16063] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16063/stat : 16063 (java) S 16052 16052 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4736368 13587718144 39617 33554432000 4194304 4196468 140725079062128 139918603365264 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16064] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16064/stat : 16064 (java) S 16052 16052 7102 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4736371 13587718144 39617 33554432000 4194304 4196468 140725079062128 139918272145648 139919011244674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16065] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16065/stat : 16065 (java) S 16052 16052 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4736371 13587718144 39617 33554432000 4194304 4196468 140725079062128 139918271091872 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16066] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16066/stat : 16066 (java) S 16052 16052 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4736372 13587718144 39617 33554432000 4194304 4196468 140725079062128 139918270038768 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16067] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16067/stat : 16067 (java) S 16052 16052 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4736376 13587718144 39617 33554432000 4194304 4196468 140725079062128 139918268987344 139919011252123 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16068] ppid=16052 vsize=13269256 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16068/stat : 16068 (java) S 16052 16052 7102 0 -1 1077944384 1768 0 0 0 34 0 0 0 20 0 20 0 4736376 13587718144 39617 33554432000 4194304 4196468 140725079062128 139918267935472 139919011244674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16069] ppid=16052 vsize=13269256 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16069/stat : 16069 (java) S 16052 16052 7102 0 -1 1077944384 1044 0 0 0 32 0 0 0 20 0 20 0 4736376 13587718144 39617 33554432000 4194304 4196468 140725079062128 139918266882928 139919011244674 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16070] ppid=16052 vsize=13269256 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16070/stat : 16070 (java) S 16052 16052 7102 0 -1 1077944384 1859 0 0 0 40 0 0 0 20 0 20 0 4736376 13587718144 39617 33554432000 4194304 4196468 140725079062128 139918265829872 139919011244674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16071] ppid=16052 vsize=13269256 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16071/stat : 16071 (java) S 16052 16052 7102 0 -1 1077944384 1698 0 0 0 34 0 0 0 20 0 20 0 4736376 13587718144 39617 33554432000 4194304 4196468 140725079062128 139918264777328 139919011244674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16072] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16072/stat : 16072 (java) S 16052 16052 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4736376 13587718144 39617 33554432000 4194304 4196468 140725079062128 139918263724512 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16073] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16073/stat : 16073 (java) S 16052 16052 7102 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4736376 13587718144 39617 33554432000 4194304 4196468 140725079062128 139918262672048 139919011244674 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 12 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 13278768
[startup+3.10085 s]
/proc/loadavg: 15.52 14.77 14.58 11/291 16073
/proc/meminfo: memFree=29511312/32770624 swapFree=5656/333892
[pid=16052] ppid=16049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16052/stat : 16052 (xcsp3-exec) S 16049 16052 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4736367 9740288 346 33554432000 4194304 5098028 140730915456544 140730915454648 140658262450812 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 17412096 140730915464334 140730915464544 140730915464544 140730915467243 0
/proc/16052/statm: 2378 346 289 221 0 87 0
[pid=16053] ppid=16052 vsize=13269256 CPUtime=6.2 cores=1,3,5,7,9,11,13,15
/proc/16053/stat : 16053 (java) S 16052 16052 7102 0 -1 1077944320 18233 0 0 0 482 138 0 0 20 0 20 0 4736367 13587718144 99161 33554432000 4194304 4196468 140725079062128 140725079044672 139919011233527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
/proc/16053/statm: 3317314 99161 3232 1 0 3304547 0
[pid=16053/tid=16054] ppid=16052 vsize=13269256 CPUtime=2.74 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16054/stat : 16054 (java) R 16052 16052 7102 0 -1 4202560 7460 0 0 0 268 6 0 0 20 0 20 0 4736367 13587718144 99161 33554432000 4194304 4196468 140725079062128 139919015471576 139918646624404 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16056] ppid=16052 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16056/stat : 16056 (java) S 16052 16052 7102 0 -1 1077944384 232 0 0 0 7 15 0 0 20 0 20 0 4736368 13587718144 99161 33554432000 4194304 4196468 140725079062128 139918963853840 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16057] ppid=16052 vsize=13269256 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16057/stat : 16057 (java) S 16052 16052 7102 0 -1 1077944384 186 0 0 0 8 15 0 0 20 0 20 0 4736368 13587718144 99161 33554432000 4194304 4196468 140725079062128 139918962801296 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16058] ppid=16052 vsize=13269256 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16058/stat : 16058 (java) S 16052 16052 7102 0 -1 1077944384 293 0 0 0 8 16 0 0 20 0 20 0 4736368 13587718144 99161 33554432000 4194304 4196468 140725079062128 139918608627984 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16059] ppid=16052 vsize=13269256 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16059/stat : 16059 (java) S 16052 16052 7102 0 -1 1077944384 291 0 0 0 8 16 0 0 20 0 20 0 4736368 13587718144 99161 33554432000 4194304 4196468 140725079062128 139918607575440 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16060] ppid=16052 vsize=13269256 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16060/stat : 16060 (java) S 16052 16052 7102 0 -1 1077944384 143 0 0 0 9 15 0 0 20 0 20 0 4736368 13587718144 99161 33554432000 4194304 4196468 140725079062128 139918606523408 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16061] ppid=16052 vsize=13269256 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16061/stat : 16061 (java) S 16052 16052 7102 0 -1 1077944384 209 0 0 0 7 17 0 0 20 0 20 0 4736368 13587718144 99161 33554432000 4194304 4196468 140725079062128 139918605470864 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16062] ppid=16052 vsize=13269256 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16062/stat : 16062 (java) S 16052 16052 7102 0 -1 1077944384 191 0 0 0 8 16 0 0 20 0 20 0 4736368 13587718144 99161 33554432000 4194304 4196468 140725079062128 139918604417808 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16063] ppid=16052 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16063/stat : 16063 (java) S 16052 16052 7102 0 -1 1077944384 136 0 0 0 7 15 0 0 20 0 20 0 4736368 13587718144 99161 33554432000 4194304 4196468 140725079062128 139918603365264 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16064] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16064/stat : 16064 (java) S 16052 16052 7102 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 20 0 4736371 13587718144 99161 33554432000 4194304 4196468 140725079062128 139918272145648 139919011244674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16065] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16065/stat : 16065 (java) S 16052 16052 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4736371 13587718144 99161 33554432000 4194304 4196468 140725079062128 139918271091872 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16066] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16066/stat : 16066 (java) S 16052 16052 7102 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4736372 13587718144 99161 33554432000 4194304 4196468 140725079062128 139918270038768 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16067] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16067/stat : 16067 (java) S 16052 16052 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4736376 13587718144 99161 33554432000 4194304 4196468 140725079062128 139918268987344 139919011252123 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16068] ppid=16052 vsize=13269256 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16068/stat : 16068 (java) S 16052 16052 7102 0 -1 1077944384 1837 0 0 0 35 0 0 0 20 0 20 0 4736376 13587718144 99161 33554432000 4194304 4196468 140725079062128 139918267935472 139919011244674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16069] ppid=16052 vsize=13269256 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16069/stat : 16069 (java) S 16052 16052 7102 0 -1 1077944384 1076 0 0 0 33 0 0 0 20 0 20 0 4736376 13587718144 99161 33554432000 4194304 4196468 140725079062128 139918266882928 139919011244674 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16070] ppid=16052 vsize=13269256 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16070/stat : 16070 (java) S 16052 16052 7102 0 -1 1077944384 1998 0 0 0 43 0 0 0 20 0 20 0 4736376 13587718144 99161 33554432000 4194304 4196468 140725079062128 139918265829872 139919011244674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16071] ppid=16052 vsize=13269256 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16071/stat : 16071 (java) S 16052 16052 7102 0 -1 1077944384 2540 0 0 0 36 0 0 0 20 0 20 0 4736376 13587718144 99161 33554432000 4194304 4196468 140725079062128 139918264777328 139919011244674 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16072] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16072/stat : 16072 (java) S 16052 16052 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4736376 13587718144 99161 33554432000 4194304 4196468 140725079062128 139918263724512 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16073] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16073/stat : 16073 (java) S 16052 16052 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4736376 13587718144 99161 33554432000 4194304 4196468 140725079062128 139918262672048 139919011244674 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 12 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 13278768
[startup+6.301 s]
/proc/loadavg: 15.52 14.77 14.58 10/291 16073
/proc/meminfo: memFree=29014504/32770624 swapFree=5656/333892
[pid=16052] ppid=16049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16052/stat : 16052 (xcsp3-exec) S 16049 16052 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4736367 9740288 346 33554432000 4194304 5098028 140730915456544 140730915454648 140658262450812 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 17412096 140730915464334 140730915464544 140730915464544 140730915467243 0
/proc/16052/statm: 2378 346 289 221 0 87 0
[pid=16053] ppid=16052 vsize=13269256 CPUtime=13.96 cores=1,3,5,7,9,11,13,15
/proc/16053/stat : 16053 (java) S 16052 16052 7102 0 -1 1077944320 26390 0 0 0 1145 251 0 0 20 0 20 0 4736367 13587718144 182518 33554432000 4194304 4196468 140725079062128 140725079044672 139919011233527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
/proc/16053/statm: 3317314 182518 3253 1 0 3304547 0
[pid=16053/tid=16054] ppid=16052 vsize=13269256 CPUtime=5.28 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16054/stat : 16054 (java) R 16052 16052 7102 0 -1 4202560 8572 0 0 0 520 8 0 0 20 0 20 0 4736367 13587718144 182518 33554432000 4194304 4196468 140725079062128 139919015468640 139918646624437 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16056] ppid=16052 vsize=13269256 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16056/stat : 16056 (java) S 16052 16052 7102 0 -1 1077944384 616 0 0 0 44 34 0 0 20 0 20 0 4736368 13587718144 182518 33554432000 4194304 4196468 140725079062128 139918963853840 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16057] ppid=16052 vsize=13269256 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16057/stat : 16057 (java) S 16052 16052 7102 0 -1 1077944384 437 0 0 0 46 23 0 0 20 0 20 0 4736368 13587718144 182518 33554432000 4194304 4196468 140725079062128 139918962801296 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16058] ppid=16052 vsize=13269256 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16058/stat : 16058 (java) S 16052 16052 7102 0 -1 1077944384 619 0 0 0 46 32 0 0 20 0 20 0 4736368 13587718144 182518 33554432000 4194304 4196468 140725079062128 139918608627984 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16059] ppid=16052 vsize=13269256 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16059/stat : 16059 (java) S 16052 16052 7102 0 -1 1077944384 617 0 0 0 49 31 0 0 20 0 20 0 4736368 13587718144 182518 33554432000 4194304 4196468 140725079062128 139918607575440 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16060] ppid=16052 vsize=13269256 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16060/stat : 16060 (java) S 16052 16052 7102 0 -1 1077944384 342 0 0 0 50 28 0 0 20 0 20 0 4736368 13587718144 182518 33554432000 4194304 4196468 140725079062128 139918606523408 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16061] ppid=16052 vsize=13269256 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16061/stat : 16061 (java) S 16052 16052 7102 0 -1 1077944384 410 0 0 0 47 25 0 0 20 0 20 0 4736368 13587718144 182518 33554432000 4194304 4196468 140725079062128 139918605470864 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16062] ppid=16052 vsize=13269256 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16062/stat : 16062 (java) S 16052 16052 7102 0 -1 1077944384 591 0 0 0 48 31 0 0 20 0 20 0 4736368 13587718144 182518 33554432000 4194304 4196468 140725079062128 139918604417808 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16063] ppid=16052 vsize=13269256 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16063/stat : 16063 (java) S 16052 16052 7102 0 -1 1077944384 500 0 0 0 45 29 0 0 20 0 20 0 4736368 13587718144 182518 33554432000 4194304 4196468 140725079062128 139918603365264 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16064] ppid=16052 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16064/stat : 16064 (java) S 16052 16052 7102 0 -1 1077944384 1131 0 0 0 7 0 0 0 20 0 20 0 4736371 13587718144 182518 33554432000 4194304 4196468 140725079062128 139918272145648 139919011244674 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16065] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16065/stat : 16065 (java) S 16052 16052 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4736371 13587718144 182518 33554432000 4194304 4196468 140725079062128 139918271091936 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16066] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16066/stat : 16066 (java) S 16052 16052 7102 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4736372 13587718144 182518 33554432000 4194304 4196468 140725079062128 139918270038784 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16067] ppid=16052 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16067/stat : 16067 (java) S 16052 16052 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4736376 13587718144 182518 33554432000 4194304 4196468 140725079062128 139918268987344 139919011252123 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
################
# More data... #
################
[pid=16053/tid=16201] ppid=16052 vsize=13801768 CPUtime=174.64 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16201/stat : 16201 (java) R 16052 16052 7102 0 -1 4202560 1992 0 0 0 17464 0 0 0 20 0 28 0 4747014 14133010432 1468426 33554432000 4194304 4196468 140725079062128 139918247288504 139918649730328 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16202] ppid=16052 vsize=13801768 CPUtime=174.7 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16202/stat : 16202 (java) R 16052 16052 7102 0 -1 4202560 2821 0 0 0 17469 1 0 0 20 0 28 0 4747014 14133010432 1468426 33554432000 4194304 4196468 140725079062128 139918253604712 139918646546256 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
Current children cumulated CPU time (s) 2044.37
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+327.002 s]
/proc/loadavg: 15.94 15.02 14.68 17/301 16254
/proc/meminfo: memFree=19680508/32770624 swapFree=5656/334276
[pid=16052] ppid=16049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16052/stat : 16052 (xcsp3-exec) S 16049 16052 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4736367 9740288 346 33554432000 4194304 5098028 140730915456544 140730915454648 140658262450812 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 17412096 140730915464334 140730915464544 140730915464544 140730915467243 0
/proc/16052/statm: 2378 346 289 221 0 87 0
[pid=16053] ppid=16052 vsize=13801768 CPUtime=2400.3 cores=1,3,5,7,9,11,13,15
/proc/16053/stat : 16053 (java) S 16052 16052 7102 0 -1 1077944320 217479 0 0 0 237572 2458 0 0 20 0 28 0 4736367 14133010432 1468417 33554432000 4194304 4196468 140725079062128 140725079044672 139919011233527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
/proc/16053/statm: 3450442 1468417 3305 1 0 3437675 0
[pid=16053/tid=16054] ppid=16052 vsize=13801768 CPUtime=27.67 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16054/stat : 16054 (java) S 16052 16052 7102 0 -1 1077944384 11838 0 0 0 2755 12 0 0 20 0 28 0 4736367 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139919015474304 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16056] ppid=16052 vsize=13801768 CPUtime=7.51 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16056/stat : 16056 (java) S 16052 16052 7102 0 -1 1077944384 9379 0 0 0 464 287 0 0 20 0 28 0 4736368 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918963853840 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16057] ppid=16052 vsize=13801768 CPUtime=7.6 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16057/stat : 16057 (java) S 16052 16052 7102 0 -1 1077944384 9607 0 0 0 463 297 0 0 20 0 28 0 4736368 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918962801296 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16058] ppid=16052 vsize=13801768 CPUtime=7.7 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16058/stat : 16058 (java) S 16052 16052 7102 0 -1 1077944384 8875 0 0 0 454 316 0 0 20 0 28 0 4736368 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918608627984 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16059] ppid=16052 vsize=13801768 CPUtime=7.7 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16059/stat : 16059 (java) S 16052 16052 7102 0 -1 1077944384 5678 0 0 0 469 301 0 0 20 0 28 0 4736368 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918607575440 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16060] ppid=16052 vsize=13801768 CPUtime=7.47 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16060/stat : 16060 (java) S 16052 16052 7102 0 -1 1077944384 10128 0 0 0 457 290 0 0 20 0 28 0 4736368 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918606523408 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16061] ppid=16052 vsize=13801768 CPUtime=7.56 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16061/stat : 16061 (java) S 16052 16052 7102 0 -1 1077944384 9214 0 0 0 454 302 0 0 20 0 28 0 4736368 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918605470864 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16062] ppid=16052 vsize=13801768 CPUtime=7.65 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16062/stat : 16062 (java) S 16052 16052 7102 0 -1 1077944384 7947 0 0 0 460 305 0 0 20 0 28 0 4736368 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918604417808 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16063] ppid=16052 vsize=13801768 CPUtime=7.67 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16063/stat : 16063 (java) S 16052 16052 7102 0 -1 1077944384 7116 0 0 0 468 299 0 0 20 0 28 0 4736368 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918603365264 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16064] ppid=16052 vsize=13801768 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16064/stat : 16064 (java) S 16052 16052 7102 0 -1 1077944384 15972 0 0 0 110 6 0 0 20 0 28 0 4736371 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918272145648 139919011244674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16065] ppid=16052 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16065/stat : 16065 (java) S 16052 16052 7102 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 4736371 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918271091936 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16066] ppid=16052 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16066/stat : 16066 (java) S 16052 16052 7102 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 28 0 4736372 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918270038784 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16067] ppid=16052 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16067/stat : 16067 (java) S 16052 16052 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4736376 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918268987344 139919011252123 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16068] ppid=16052 vsize=13801768 CPUtime=3.53 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16068/stat : 16068 (java) S 16052 16052 7102 0 -1 1077944384 16071 0 0 0 350 3 0 0 20 0 28 0 4736376 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918267935472 139919011244674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16069] ppid=16052 vsize=13801768 CPUtime=3.34 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16069/stat : 16069 (java) S 16052 16052 7102 0 -1 1077944384 15842 0 0 0 332 2 0 0 20 0 28 0 4736376 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918266882928 139919011244674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16070] ppid=16052 vsize=13801768 CPUtime=3.51 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16070/stat : 16070 (java) S 16052 16052 7102 0 -1 1077944384 14155 0 0 0 349 2 0 0 20 0 28 0 4736376 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918265829872 139919011244674 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16071] ppid=16052 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16071/stat : 16071 (java) S 16052 16052 7102 0 -1 1077944384 10390 0 0 0 93 2 0 0 20 0 28 0 4736376 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918264777328 139919011244674 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16072] ppid=16052 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16072/stat : 16072 (java) S 16052 16052 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4736376 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918263724512 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16073] ppid=16052 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16073/stat : 16073 (java) S 16052 16052 7102 0 -1 1077944384 1145 0 0 0 7 11 0 0 20 0 28 0 4736376 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918262672048 139919011244674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16195] ppid=16052 vsize=13801768 CPUtime=219.26 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16195/stat : 16195 (java) R 16052 16052 7102 0 -1 4202560 3698 0 0 0 21925 1 0 0 20 0 28 0 4747014 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918251498184 139918649690584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16196] ppid=16052 vsize=13801768 CPUtime=218.68 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16196/stat : 16196 (java) R 16052 16052 7102 0 -1 4202560 3164 0 0 0 21868 0 0 0 20 0 28 0 4747014 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918252552104 139918649730309 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16197] ppid=16052 vsize=13801768 CPUtime=215.54 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16197/stat : 16197 (java) R 16052 16052 7102 0 -1 4202560 4402 0 0 0 21552 2 0 0 20 0 28 0 4747014 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918250447064 139918650392143 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16198] ppid=16052 vsize=13801768 CPUtime=219.34 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16198/stat : 16198 (java) R 16052 16052 7102 0 -1 4202560 5498 0 0 0 21933 1 0 0 20 0 28 0 4747014 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918248341704 139918646544731 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16199] ppid=16052 vsize=13801768 CPUtime=218.42 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16199/stat : 16199 (java) R 16052 16052 7102 0 -1 4202560 4038 0 0 0 21841 1 0 0 20 0 28 0 4747014 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918254657584 139918648624826 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16200] ppid=16052 vsize=13801768 CPUtime=219.05 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16200/stat : 16200 (java) R 16052 16052 7102 0 -1 4202560 1731 0 0 0 21905 0 0 0 20 0 28 0 4747014 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918249394600 139918649690768 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16201] ppid=16052 vsize=13801768 CPUtime=218.57 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16201/stat : 16201 (java) R 16052 16052 7102 0 -1 4202560 2694 0 0 0 21856 1 0 0 20 0 28 0 4747014 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918247291296 139918649690505 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16202] ppid=16052 vsize=13801768 CPUtime=219.32 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16202/stat : 16202 (java) R 16052 16052 7102 0 -1 4202560 3067 0 0 0 21931 1 0 0 20 0 28 0 4747014 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918253604936 139918649690523 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
Current children cumulated CPU time (s) 2400.3
Current children cumulated vsize (KiB) 13811280
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 16053 sig 9
??? kill 16052 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+327.002 s]
/proc/loadavg: 15.94 15.02 14.68 17/301 16254
/proc/meminfo: memFree=19680508/32770624 swapFree=5656/334276
[pid=16052] ppid=16049 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16052/stat : 16052 (xcsp3-exec) S 16049 16052 7102 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4736367 9740288 346 33554432000 4194304 5098028 140730915456544 140730915454648 140658262450812 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 17412096 140730915464334 140730915464544 140730915464544 140730915467243 0
/proc/16052/statm: 2378 346 289 221 0 87 0
[pid=16053] ppid=16052 vsize=13801768 CPUtime=2400.3 cores=1,3,5,7,9,11,13,15
/proc/16053/stat : 16053 (java) S 16052 16052 7102 0 -1 1077944320 217479 0 0 0 237572 2458 0 0 20 0 28 0 4736367 14133010432 1468417 33554432000 4194304 4196468 140725079062128 140725079044672 139919011233527 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
/proc/16053/statm: 3450442 1468417 3305 1 0 3437675 0
[pid=16053/tid=16054] ppid=16052 vsize=13801768 CPUtime=27.67 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16054/stat : 16054 (java) S 16052 16052 7102 0 -1 1077944384 11838 0 0 0 2755 12 0 0 20 0 28 0 4736367 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139919015474304 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16056] ppid=16052 vsize=13801768 CPUtime=7.51 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16056/stat : 16056 (java) S 16052 16052 7102 0 -1 1077944384 9379 0 0 0 464 287 0 0 20 0 28 0 4736368 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918963853840 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16057] ppid=16052 vsize=13801768 CPUtime=7.6 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16057/stat : 16057 (java) S 16052 16052 7102 0 -1 1077944384 9607 0 0 0 463 297 0 0 20 0 28 0 4736368 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918962801296 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16058] ppid=16052 vsize=13801768 CPUtime=7.7 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16058/stat : 16058 (java) S 16052 16052 7102 0 -1 1077944384 8875 0 0 0 454 316 0 0 20 0 28 0 4736368 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918608627984 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16059] ppid=16052 vsize=13801768 CPUtime=7.7 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16059/stat : 16059 (java) S 16052 16052 7102 0 -1 1077944384 5678 0 0 0 469 301 0 0 20 0 28 0 4736368 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918607575440 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16060] ppid=16052 vsize=13801768 CPUtime=7.47 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16060/stat : 16060 (java) S 16052 16052 7102 0 -1 1077944384 10128 0 0 0 457 290 0 0 20 0 28 0 4736368 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918606523408 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16061] ppid=16052 vsize=13801768 CPUtime=7.56 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16061/stat : 16061 (java) S 16052 16052 7102 0 -1 1077944384 9214 0 0 0 454 302 0 0 20 0 28 0 4736368 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918605470864 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16062] ppid=16052 vsize=13801768 CPUtime=7.65 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16062/stat : 16062 (java) S 16052 16052 7102 0 -1 1077944384 7947 0 0 0 460 305 0 0 20 0 28 0 4736368 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918604417808 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16063] ppid=16052 vsize=13801768 CPUtime=7.67 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16063/stat : 16063 (java) S 16052 16052 7102 0 -1 1077944384 7116 0 0 0 468 299 0 0 20 0 28 0 4736368 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918603365264 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16064] ppid=16052 vsize=13801768 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16064/stat : 16064 (java) S 16052 16052 7102 0 -1 1077944384 15972 0 0 0 110 6 0 0 20 0 28 0 4736371 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918272145648 139919011244674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16065] ppid=16052 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16065/stat : 16065 (java) S 16052 16052 7102 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 4736371 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918271091936 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16066] ppid=16052 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16066/stat : 16066 (java) S 16052 16052 7102 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 28 0 4736372 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918270038784 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16067] ppid=16052 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16067/stat : 16067 (java) S 16052 16052 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4736376 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918268987344 139919011252123 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16068] ppid=16052 vsize=13801768 CPUtime=3.53 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16068/stat : 16068 (java) S 16052 16052 7102 0 -1 1077944384 16071 0 0 0 350 3 0 0 20 0 28 0 4736376 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918267935472 139919011244674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16069] ppid=16052 vsize=13801768 CPUtime=3.34 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16069/stat : 16069 (java) S 16052 16052 7102 0 -1 1077944384 15842 0 0 0 332 2 0 0 20 0 28 0 4736376 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918266882928 139919011244674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16070] ppid=16052 vsize=13801768 CPUtime=3.51 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16070/stat : 16070 (java) S 16052 16052 7102 0 -1 1077944384 14155 0 0 0 349 2 0 0 20 0 28 0 4736376 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918265829872 139919011244674 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16071] ppid=16052 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16071/stat : 16071 (java) S 16052 16052 7102 0 -1 1077944384 10390 0 0 0 93 2 0 0 20 0 28 0 4736376 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918264777328 139919011244674 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16072] ppid=16052 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16072/stat : 16072 (java) S 16052 16052 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4736376 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918263724512 139919011243733 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16073] ppid=16052 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16073/stat : 16073 (java) S 16052 16052 7102 0 -1 1077944384 1145 0 0 0 7 11 0 0 20 0 28 0 4736376 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918262672048 139919011244674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16195] ppid=16052 vsize=13801768 CPUtime=219.26 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16195/stat : 16195 (java) R 16052 16052 7102 0 -1 4202560 3698 0 0 0 21925 1 0 0 20 0 28 0 4747014 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918251498184 139918649690584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16196] ppid=16052 vsize=13801768 CPUtime=218.68 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16196/stat : 16196 (java) R 16052 16052 7102 0 -1 4202560 3164 0 0 0 21868 0 0 0 20 0 28 0 4747014 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918252552104 139918649730309 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16197] ppid=16052 vsize=13801768 CPUtime=215.54 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16197/stat : 16197 (java) R 16052 16052 7102 0 -1 4202560 4402 0 0 0 21552 2 0 0 20 0 28 0 4747014 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918250447064 139918650392143 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16198] ppid=16052 vsize=13801768 CPUtime=219.34 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16198/stat : 16198 (java) R 16052 16052 7102 0 -1 4202560 5498 0 0 0 21933 1 0 0 20 0 28 0 4747014 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918248341704 139918646544731 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16199] ppid=16052 vsize=13801768 CPUtime=218.42 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16199/stat : 16199 (java) R 16052 16052 7102 0 -1 4202560 4038 0 0 0 21841 1 0 0 20 0 28 0 4747014 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918254657584 139918648624826 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16200] ppid=16052 vsize=13801768 CPUtime=219.05 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16200/stat : 16200 (java) R 16052 16052 7102 0 -1 4202560 1731 0 0 0 21905 0 0 0 20 0 28 0 4747014 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918249394600 139918649690768 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16201] ppid=16052 vsize=13801768 CPUtime=218.57 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16201/stat : 16201 (java) R 16052 16052 7102 0 -1 4202560 2694 0 0 0 21856 1 0 0 20 0 28 0 4747014 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918247291296 139918649690505 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
[pid=16053/tid=16202] ppid=16052 vsize=13801768 CPUtime=219.32 cores=1,3,5,7,9,11,13,15
/proc/16053/task/16202/stat : 16202 (java) R 16052 16052 7102 0 -1 4202560 3067 0 0 0 21931 1 0 0 20 0 28 0 4747014 14133010432 1468417 33554432000 4194304 4196468 140725079062128 139918253604936 139918649690523 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27664384 140725079069884 140725079070060 140725079070060 140725079072719 0
Current children cumulated CPU time (s) 2400.3
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16052 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2950
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.00295
# while last known CPU time is 2400.3
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 327.012
CPU time (s): 2400.3
CPU user time (s): 2375.72
CPU system time (s): 24.58
CPU usage (%): 734.009
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00295
system time used= 0
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
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 4.02634 second user time and 4.53643 second system time
The end