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-4244353-1500682391/watcher-4244353-1500682391 -o /tmp/evaluation-result-4244353-1500682391/solver-4244353-1500682391 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16505 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 574366861 HOME/instance-4244353-1500682391.xml
pid=16655
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: 7.01 4.81 4.03 12/273 16658
/proc/meminfo: memFree=31797728/32770624 swapFree=5736/219588
[pid=16658] ppid=16655 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16658/stat : 16658 (xcsp3-exec) S 16655 16658 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3508217 9740288 346 33554432000 4194304 5098028 140736275668608 140736275666712 140188146479740 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 23654400 140736275674255 140736275674464 140736275674464 140736275677163 0
/proc/16658/statm: 2378 346 289 221 0 87 0
[startup+0.100072 s]
/proc/loadavg: 7.01 4.81 4.03 12/273 16658
/proc/meminfo: memFree=31797728/32770624 swapFree=5736/219588
[pid=16658] ppid=16655 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16658/stat : 16658 (xcsp3-exec) S 16655 16658 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3508217 9740288 346 33554432000 4194304 5098028 140736275668608 140736275666712 140188146479740 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 23654400 140736275674255 140736275674464 140736275674464 140736275677163 0
/proc/16658/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20032 s]
/proc/loadavg: 7.01 4.81 4.03 12/273 16658
/proc/meminfo: memFree=31797728/32770624 swapFree=5736/219588
[pid=16658] ppid=16655 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16658/stat : 16658 (xcsp3-exec) S 16655 16658 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3508217 9740288 346 33554432000 4194304 5098028 140736275668608 140736275666712 140188146479740 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 23654400 140736275674255 140736275674464 140736275674464 140736275677163 0
/proc/16658/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300255 s]
/proc/loadavg: 7.01 4.81 4.03 12/273 16658
/proc/meminfo: memFree=31797728/32770624 swapFree=5736/219588
[pid=16658] ppid=16655 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16658/stat : 16658 (xcsp3-exec) S 16655 16658 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3508217 9740288 346 33554432000 4194304 5098028 140736275668608 140736275666712 140188146479740 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 23654400 140736275674255 140736275674464 140736275674464 140736275677163 0
/proc/16658/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700218 s]
/proc/loadavg: 7.01 4.81 4.03 12/273 16658
/proc/meminfo: memFree=31797728/32770624 swapFree=5736/219588
[pid=16658] ppid=16655 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16658/stat : 16658 (xcsp3-exec) S 16655 16658 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3508217 9740288 346 33554432000 4194304 5098028 140736275668608 140736275666712 140188146479740 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 23654400 140736275674255 140736275674464 140736275674464 140736275677163 0
/proc/16658/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50121 s]
/proc/loadavg: 7.01 4.81 4.03 17/294 16679
/proc/meminfo: memFree=31556012/32770624 swapFree=5736/219624
[pid=16658] ppid=16655 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16658/stat : 16658 (xcsp3-exec) S 16655 16658 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3508217 9740288 346 33554432000 4194304 5098028 140736275668608 140736275666712 140188146479740 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 23654400 140736275674255 140736275674464 140736275674464 140736275677163 0
/proc/16658/statm: 2378 346 289 221 0 87 0
[pid=16659] ppid=16658 vsize=13269256 CPUtime=5.68 cores=1,3,5,7,9,11,13,15
/proc/16659/stat : 16659 (java) S 16658 16658 16473 0 -1 1077944320 23329 0 0 0 524 44 0 0 20 0 20 0 3508217 13587718144 70476 33554432000 4194304 4196468 140729882208288 140729882190832 140275712298743 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
/proc/16659/statm: 3317314 70476 3257 1 0 3304547 0
[pid=16659/tid=16660] ppid=16658 vsize=13269256 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16660/stat : 16660 (java) S 16658 16658 16473 0 -1 1077944384 8147 0 0 0 129 6 0 0 20 0 20 0 3508218 13587718144 70476 33554432000 4194304 4196468 140729882208288 140275716536224 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16662] ppid=16658 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16662/stat : 16662 (java) R 16658 16658 16473 0 -1 4202560 116 0 0 0 5 4 0 0 20 0 20 0 3508219 13587718144 70476 33554432000 4194304 4196468 140729882208288 140275651263368 140275704926951 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16663] ppid=16658 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16663/stat : 16663 (java) R 16658 16658 16473 0 -1 4202560 32 0 0 0 4 3 0 0 20 0 20 0 3508219 13587718144 70476 33554432000 4194304 4196468 140729882208288 140275650210824 140275698057552 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16664] ppid=16658 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16664/stat : 16664 (java) R 16658 16658 16473 0 -1 4202560 46 0 0 0 4 4 0 0 20 0 20 0 3508219 13587718144 70476 33554432000 4194304 4196468 140729882208288 140275649158048 140275704926951 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16665] ppid=16658 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16665/stat : 16665 (java) R 16658 16658 16473 0 -1 4202560 42 0 0 0 4 3 0 0 20 0 20 0 3508219 13587718144 70476 33554432000 4194304 4196468 140729882208288 140275648105816 140275695681776 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16666] ppid=16658 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16666/stat : 16666 (java) R 16658 16658 16473 0 -1 4202560 56 0 0 0 3 3 0 0 20 0 20 0 3508219 13587718144 70476 33554432000 4194304 4196468 140729882208288 140275647052168 140275704926951 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16667] ppid=16658 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16667/stat : 16667 (java) R 16658 16658 16473 0 -1 4202560 203 0 0 0 5 5 0 0 20 0 20 0 3508219 13587718144 70476 33554432000 4194304 4196468 140729882208288 140275305896536 140275704926951 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16668] ppid=16658 vsize=13269256 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16668/stat : 16668 (java) R 16658 16658 16473 0 -1 4202560 48 0 0 0 5 5 0 0 20 0 20 0 3508219 13587718144 70476 33554432000 4194304 4196468 140729882208288 140275304843992 140275704926951 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16669] ppid=16658 vsize=13269256 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16669/stat : 16669 (java) R 16658 16658 16473 0 -1 4202560 56 0 0 0 4 4 0 0 20 0 20 0 3508219 13587718144 70476 33554432000 4194304 4196468 140729882208288 140275303791448 140275697326599 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16670] ppid=16658 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16670/stat : 16670 (java) S 16658 16658 16473 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 20 0 3508221 13587718144 70476 33554432000 4194304 4196468 140729882208288 140274905895968 140275712308949 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16671] ppid=16658 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16671/stat : 16671 (java) S 16658 16658 16473 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 3508222 13587718144 70476 33554432000 4194304 4196468 140729882208288 140274904843680 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16672] ppid=16658 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16672/stat : 16672 (java) S 16658 16658 16473 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 3508222 13587718144 70476 33554432000 4194304 4196468 140729882208288 140274903791088 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16673] ppid=16658 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16673/stat : 16673 (java) S 16658 16658 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3508225 13587718144 70476 33554432000 4194304 4196468 140729882208288 140274902739664 140275712317339 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16674] ppid=16658 vsize=13269256 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16674/stat : 16674 (java) S 16658 16658 16473 0 -1 1077944384 3360 0 0 0 94 1 0 0 20 0 20 0 3508225 13587718144 70476 33554432000 4194304 4196468 140729882208288 140274901675456 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16675] ppid=16658 vsize=13269256 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16675/stat : 16675 (java) R 16658 16658 16473 0 -1 4202560 3302 0 0 0 99 0 0 0 20 0 20 0 3508225 13587718144 70476 33554432000 4194304 4196468 140729882208288 140274900620256 140275693843973 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16676] ppid=16658 vsize=13269256 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16676/stat : 16676 (java) R 16658 16658 16473 0 -1 4202560 3109 0 0 0 95 0 0 0 20 0 20 0 3508226 13587718144 70476 33554432000 4194304 4196468 140729882208288 140274899567048 140275691555400 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16677] ppid=16658 vsize=13269256 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16677/stat : 16677 (java) S 16658 16658 16473 0 -1 1077944384 3289 0 0 0 67 1 0 0 20 0 20 0 3508226 13587718144 70476 33554432000 4194304 4196468 140729882208288 140274898528624 140275712309890 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16678] ppid=16658 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16678/stat : 16678 (java) S 16658 16658 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3508226 13587718144 70476 33554432000 4194304 4196468 140729882208288 140274897476320 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16679] ppid=16658 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16679/stat : 16679 (java) S 16658 16658 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3508226 13587718144 70476 33554432000 4194304 4196468 140729882208288 140274896423856 140275712309890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
Current children cumulated CPU time (s) 5.68
Current children cumulated vsize (KiB) 13278768
[startup+3.1014 s]
/proc/loadavg: 7.01 4.81 4.03 22/302 16687
/proc/meminfo: memFree=31353744/32770624 swapFree=5736/219632
[pid=16658] ppid=16655 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16658/stat : 16658 (xcsp3-exec) S 16655 16658 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3508217 9740288 346 33554432000 4194304 5098028 140736275668608 140736275666712 140188146479740 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 23654400 140736275674255 140736275674464 140736275674464 140736275677163 0
/proc/16658/statm: 2378 346 289 221 0 87 0
[pid=16659] ppid=16658 vsize=13801768 CPUtime=17.14 cores=1,3,5,7,9,11,13,15
/proc/16659/stat : 16659 (java) S 16658 16658 16473 0 -1 1077944320 29055 0 0 0 1622 92 0 0 20 0 28 0 3508217 14133010432 123804 33554432000 4194304 4196468 140729882208288 140729882190832 140275712298743 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
/proc/16659/statm: 3450442 123804 3269 1 0 3437675 0
[pid=16659/tid=16660] ppid=16658 vsize=13801768 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16660/stat : 16660 (java) S 16658 16658 16473 0 -1 1077944384 8356 0 0 0 158 7 0 0 20 0 28 0 3508218 14133010432 123804 33554432000 4194304 4196468 140729882208288 140275716539520 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16662] ppid=16658 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16662/stat : 16662 (java) S 16658 16658 16473 0 -1 1077944384 954 0 0 0 9 8 0 0 20 0 28 0 3508219 14133010432 123804 33554432000 4194304 4196468 140729882208288 140275651263248 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16663] ppid=16658 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16663/stat : 16663 (java) S 16658 16658 16473 0 -1 1077944384 98 0 0 0 9 9 0 0 20 0 28 0 3508219 14133010432 123804 33554432000 4194304 4196468 140729882208288 140275650210704 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16664] ppid=16658 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16664/stat : 16664 (java) S 16658 16658 16473 0 -1 1077944384 103 0 0 0 9 10 0 0 20 0 28 0 3508219 14133010432 123804 33554432000 4194304 4196468 140729882208288 140275649158160 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16665] ppid=16658 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16665/stat : 16665 (java) S 16658 16658 16473 0 -1 1077944384 77 0 0 0 7 6 0 0 20 0 28 0 3508219 14133010432 123804 33554432000 4194304 4196468 140729882208288 140275648105616 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16666] ppid=16658 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16666/stat : 16666 (java) S 16658 16658 16473 0 -1 1077944384 158 0 0 0 11 7 0 0 20 0 28 0 3508219 14133010432 123804 33554432000 4194304 4196468 140729882208288 140275647052048 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16667] ppid=16658 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16667/stat : 16667 (java) S 16658 16658 16473 0 -1 1077944384 298 0 0 0 10 11 0 0 20 0 28 0 3508219 14133010432 123804 33554432000 4194304 4196468 140729882208288 140275305896336 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16668] ppid=16658 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16668/stat : 16668 (java) S 16658 16658 16473 0 -1 1077944384 111 0 0 0 10 11 0 0 20 0 28 0 3508219 14133010432 123804 33554432000 4194304 4196468 140729882208288 140275304843792 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16669] ppid=16658 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16669/stat : 16669 (java) S 16658 16658 16473 0 -1 1077944384 128 0 0 0 10 11 0 0 20 0 28 0 3508219 14133010432 123804 33554432000 4194304 4196468 140729882208288 140275303791248 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16670] ppid=16658 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16670/stat : 16670 (java) S 16658 16658 16473 0 -1 1077944384 512 0 0 0 0 0 0 0 20 0 28 0 3508221 14133010432 123804 33554432000 4194304 4196468 140729882208288 140274905897456 140275712309890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16671] ppid=16658 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16671/stat : 16671 (java) S 16658 16658 16473 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 3508222 14133010432 123804 33554432000 4194304 4196468 140729882208288 140274904843744 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16672] ppid=16658 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16672/stat : 16672 (java) S 16658 16658 16473 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 3508222 14133010432 123804 33554432000 4194304 4196468 140729882208288 140274903791104 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16673] ppid=16658 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16673/stat : 16673 (java) S 16658 16658 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3508225 14133010432 123804 33554432000 4194304 4196468 140729882208288 140274902739664 140275712317339 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16674] ppid=16658 vsize=13801768 CPUtime=2.3 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16674/stat : 16674 (java) R 16658 16658 16473 0 -1 4202560 3899 0 0 0 229 1 0 0 20 0 28 0 3508225 14133010432 123804 33554432000 4194304 4196468 140729882208288 140274901672352 140275695686264 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16675] ppid=16658 vsize=13801768 CPUtime=2.18 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16675/stat : 16675 (java) R 16658 16658 16473 0 -1 4202560 4064 0 0 0 217 1 0 0 20 0 28 0 3508225 14133010432 123804 33554432000 4194304 4196468 140729882208288 140274900620256 140275693823031 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16676] ppid=16658 vsize=13801768 CPUtime=2.18 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16676/stat : 16676 (java) R 16658 16658 16473 0 -1 4202560 3753 0 0 0 217 1 0 0 20 0 28 0 3508226 14133010432 123804 33554432000 4194304 4196468 140729882208288 140274899567192 140275697408284 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16677] ppid=16658 vsize=13801768 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16677/stat : 16677 (java) S 16658 16658 16473 0 -1 1077944384 4065 0 0 0 98 1 0 0 20 0 28 0 3508226 14133010432 123804 33554432000 4194304 4196468 140729882208288 140274898528624 140275712309890 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16678] ppid=16658 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16678/stat : 16678 (java) S 16658 16658 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3508226 14133010432 123804 33554432000 4194304 4196468 140729882208288 140274897476320 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16679] ppid=16658 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16679/stat : 16679 (java) S 16658 16658 16473 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 3508226 14133010432 123804 33554432000 4194304 4196468 140729882208288 140274896423856 140275712309890 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16680] ppid=16658 vsize=13801768 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16680/stat : 16680 (java) R 16658 16658 16473 0 -1 4202560 131 0 0 0 94 0 0 0 20 0 28 0 3508396 14133010432 123804 33554432000 4194304 4196468 140729882208288 140274888407640 140275334388240 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16681] ppid=16658 vsize=13801768 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16681/stat : 16681 (java) R 16658 16658 16473 0 -1 4202560 53 0 0 0 69 0 0 0 20 0 28 0 3508397 14133010432 123804 33554432000 4194304 4196468 140729882208288 140274887359304 140275334830569 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16682] ppid=16658 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16682/stat : 16682 (java) R 16658 16658 16473 0 -1 4202560 87 0 0 0 73 0 0 0 20 0 28 0 3508397 14133010432 123804 33554432000 4194304 4196468 140729882208288 140274886298656 140275334648583 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16683] ppid=16658 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16683/stat : 16683 (java) R 16658 16658 16473 0 -1 4202560 564 0 0 0 72 0 0 0 20 0 28 0 3508397 14133010432 123804 33554432000 4194304 4196468 140729882208288 140274885250632 140275334141856 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16684] ppid=16658 vsize=13801768 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16684/stat : 16684 (java) R 16658 16658 16473 0 -1 4202560 87 0 0 0 75 0 0 0 20 0 28 0 3508397 14133010432 123804 33554432000 4194304 4196468 140729882208288 140274884201136 140275334515548 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16685] ppid=16658 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16685/stat : 16685 (java) R 16658 16658 16473 0 -1 4202560 79 0 0 0 86 0 0 0 20 0 28 0 3508397 14133010432 123804 33554432000 4194304 4196468 140729882208288 140274883148392 140275335369188 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16686] ppid=16658 vsize=13801768 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16686/stat : 16686 (java) R 16658 16658 16473 0 -1 4202560 48 0 0 0 79 0 0 0 20 0 28 0 3508397 14133010432 123804 33554432000 4194304 4196468 140729882208288 140274882095232 140275334966948 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16687] ppid=16658 vsize=13801768 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16687/stat : 16687 (java) R 16658 16658 16473 0 -1 4202560 74 0 0 0 70 0 0 0 20 0 28 0 3508397 14133010432 123804 33554432000 4194304 4196468 140729882208288 140274881036608 140275334495134 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
Current children cumulated CPU time (s) 17.14
Current children cumulated vsize (KiB) 13811280
[startup+6.30149 s]
/proc/loadavg: 7.57 4.96 4.08 17/302 16687
/proc/meminfo: memFree=31118556/32770624 swapFree=5736/219644
[pid=16658] ppid=16655 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16658/stat : 16658 (xcsp3-exec) S 16655 16658 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3508217 9740288 346 33554432000 4194304 5098028 140736275668608 140736275666712 140188146479740 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 23654400 140736275674255 140736275674464 140736275674464 140736275677163 0
/proc/16658/statm: 2378 346 289 221 0 87 0
[pid=16659] ppid=16658 vsize=13801768 CPUtime=42.52 cores=1,3,5,7,9,11,13,15
/proc/16659/stat : 16659 (java) S 16658 16658 16473 0 -1 1077944320 39116 0 0 0 4157 95 0 0 20 0 28 0 3508217 14133010432 125464 33554432000 4194304 4196468 140729882208288 140729882190832 140275712298743 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
/proc/16659/statm: 3450442 125464 3273 1 0 3437675 0
[pid=16659/tid=16660] ppid=16658 vsize=13801768 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16660/stat : 16660 (java) S 16658 16658 16473 0 -1 1077944384 8356 0 0 0 158 7 0 0 20 0 28 0 3508218 14133010432 125464 33554432000 4194304 4196468 140729882208288 140275716539520 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16662] ppid=16658 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16662/stat : 16662 (java) S 16658 16658 16473 0 -1 1077944384 954 0 0 0 9 8 0 0 20 0 28 0 3508219 14133010432 125464 33554432000 4194304 4196468 140729882208288 140275651263248 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16663] ppid=16658 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16663/stat : 16663 (java) S 16658 16658 16473 0 -1 1077944384 98 0 0 0 9 9 0 0 20 0 28 0 3508219 14133010432 125464 33554432000 4194304 4196468 140729882208288 140275650210704 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16664] ppid=16658 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16664/stat : 16664 (java) S 16658 16658 16473 0 -1 1077944384 103 0 0 0 9 10 0 0 20 0 28 0 3508219 14133010432 125464 33554432000 4194304 4196468 140729882208288 140275649158160 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16665] ppid=16658 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16665/stat : 16665 (java) S 16658 16658 16473 0 -1 1077944384 77 0 0 0 7 6 0 0 20 0 28 0 3508219 14133010432 125464 33554432000 4194304 4196468 140729882208288 140275648105616 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
################
# More data... #
################
[pid=16659/tid=16686] ppid=16658 vsize=13801768 CPUtime=274.4 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16686/stat : 16686 (java) R 16658 16658 16473 0 -1 4202560 1567 0 0 0 27438 2 0 0 20 0 28 0 3508397 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274882092808 140275334142240 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16687] ppid=16658 vsize=13801768 CPUtime=276.27 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16687/stat : 16687 (java) R 16658 16658 16473 0 -1 4202560 1085 0 0 0 27626 1 0 0 20 0 28 0 3508397 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274881040120 140275337621984 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
Current children cumulated CPU time (s) 2237.82
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.702 s]
/proc/loadavg: 15.95 11.92 7.34 21/299 16788
/proc/meminfo: memFree=29163952/32770624 swapFree=5736/219932
[pid=16658] ppid=16655 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16658/stat : 16658 (xcsp3-exec) S 16655 16658 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3508217 9740288 346 33554432000 4194304 5098028 140736275668608 140736275666712 140188146479740 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 23654400 140736275674255 140736275674464 140736275674464 140736275677163 0
/proc/16658/statm: 2378 346 289 221 0 87 0
[pid=16659] ppid=16658 vsize=13801768 CPUtime=2400.34 cores=1,3,5,7,9,11,13,15
/proc/16659/stat : 16659 (java) S 16658 16658 16473 0 -1 1077944320 103007 0 0 0 239690 344 0 0 20 0 28 0 3508217 14133010432 669763 33554432000 4194304 4196468 140729882208288 140729882190832 140275712298743 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
/proc/16659/statm: 3450442 669763 3287 1 0 3437675 0
[pid=16659/tid=16660] ppid=16658 vsize=13801768 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16660/stat : 16660 (java) S 16658 16658 16473 0 -1 1077944384 8356 0 0 0 158 7 0 0 20 0 28 0 3508218 14133010432 669763 33554432000 4194304 4196468 140729882208288 140275716539520 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16662] ppid=16658 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16662/stat : 16662 (java) S 16658 16658 16473 0 -1 1077944384 1308 0 0 0 76 31 0 0 20 0 28 0 3508219 14133010432 669763 33554432000 4194304 4196468 140729882208288 140275651263248 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16663] ppid=16658 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16663/stat : 16663 (java) S 16658 16658 16473 0 -1 1077944384 427 0 0 0 71 35 0 0 20 0 28 0 3508219 14133010432 669763 33554432000 4194304 4196468 140729882208288 140275650210704 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16664] ppid=16658 vsize=13801768 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16664/stat : 16664 (java) S 16658 16658 16473 0 -1 1077944384 2216 0 0 0 74 34 0 0 20 0 28 0 3508219 14133010432 669763 33554432000 4194304 4196468 140729882208288 140275649158160 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16665] ppid=16658 vsize=13801768 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16665/stat : 16665 (java) S 16658 16658 16473 0 -1 1077944384 500 0 0 0 70 32 0 0 20 0 28 0 3508219 14133010432 669763 33554432000 4194304 4196468 140729882208288 140275648105616 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16666] ppid=16658 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16666/stat : 16666 (java) S 16658 16658 16473 0 -1 1077944384 683 0 0 0 76 30 0 0 20 0 28 0 3508219 14133010432 669763 33554432000 4194304 4196468 140729882208288 140275647052048 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16667] ppid=16658 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16667/stat : 16667 (java) S 16658 16658 16473 0 -1 1077944384 1020 0 0 0 73 36 0 0 20 0 28 0 3508219 14133010432 669763 33554432000 4194304 4196468 140729882208288 140275305896336 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16668] ppid=16658 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16668/stat : 16668 (java) S 16658 16658 16473 0 -1 1077944384 919 0 0 0 74 35 0 0 20 0 28 0 3508219 14133010432 669763 33554432000 4194304 4196468 140729882208288 140275304843792 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16669] ppid=16658 vsize=13801768 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16669/stat : 16669 (java) S 16658 16658 16473 0 -1 1077944384 476 0 0 0 78 33 0 0 20 0 28 0 3508219 14133010432 669763 33554432000 4194304 4196468 140729882208288 140275303791248 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16670] ppid=16658 vsize=13801768 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16670/stat : 16670 (java) S 16658 16658 16473 0 -1 1077944384 6701 0 0 0 43 9 0 0 20 0 28 0 3508221 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274905897456 140275712309890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16671] ppid=16658 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16671/stat : 16671 (java) S 16658 16658 16473 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3508222 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274904843744 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16672] ppid=16658 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16672/stat : 16672 (java) S 16658 16658 16473 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 3508222 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274903791104 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16673] ppid=16658 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16673/stat : 16673 (java) S 16658 16658 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3508225 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274902739664 140275712317339 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16674] ppid=16658 vsize=13801768 CPUtime=5.75 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16674/stat : 16674 (java) S 16658 16658 16473 0 -1 1077944384 18237 0 0 0 572 3 0 0 20 0 28 0 3508225 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274901686256 140275712309890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16675] ppid=16658 vsize=13801768 CPUtime=5.49 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16675/stat : 16675 (java) S 16658 16658 16473 0 -1 1077944384 15673 0 0 0 546 3 0 0 20 0 28 0 3508225 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274900633712 140275712309890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16676] ppid=16658 vsize=13801768 CPUtime=5.61 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16676/stat : 16676 (java) S 16658 16658 16473 0 -1 1077944384 15557 0 0 0 558 3 0 0 20 0 28 0 3508226 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274899581168 140275712309890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16677] ppid=16658 vsize=13801768 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16677/stat : 16677 (java) S 16658 16658 16473 0 -1 1077944384 9812 0 0 0 140 2 0 0 20 0 28 0 3508226 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274898528624 140275712309890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16678] ppid=16658 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16678/stat : 16678 (java) S 16658 16658 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3508226 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274897476320 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16679] ppid=16658 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16679/stat : 16679 (java) S 16658 16658 16473 0 -1 1077944384 969 0 0 0 7 8 0 0 20 0 28 0 3508226 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274896423856 140275712309890 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16680] ppid=16658 vsize=13801768 CPUtime=296.43 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16680/stat : 16680 (java) R 16658 16658 16473 0 -1 4202560 3050 0 0 0 29634 9 0 0 20 0 28 0 3508396 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274888408032 140275336375312 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16681] ppid=16658 vsize=13801768 CPUtime=294.71 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16681/stat : 16681 (java) R 16658 16658 16473 0 -1 4202560 1307 0 0 0 29469 2 0 0 20 0 28 0 3508397 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274887356360 140275337400483 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16682] ppid=16658 vsize=13801768 CPUtime=296.86 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16682/stat : 16682 (java) R 16658 16658 16473 0 -1 4202560 3086 0 0 0 29679 7 0 0 20 0 28 0 3508397 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274886303912 140275329136082 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16683] ppid=16658 vsize=13801768 CPUtime=297.2 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16683/stat : 16683 (java) R 16658 16658 16473 0 -1 4202560 5388 0 0 0 29713 7 0 0 20 0 28 0 3508397 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274885250936 140275337547344 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16684] ppid=16658 vsize=13801768 CPUtime=297.39 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16684/stat : 16684 (java) R 16658 16658 16473 0 -1 4202560 2365 0 0 0 29735 4 0 0 20 0 28 0 3508397 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274884198088 140275329136166 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16685] ppid=16658 vsize=13801768 CPUtime=296.93 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16685/stat : 16685 (java) R 16658 16658 16473 0 -1 4202560 873 0 0 0 29693 0 0 0 20 0 28 0 3508397 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274883145912 140275336651706 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16686] ppid=16658 vsize=13801768 CPUtime=294.78 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16686/stat : 16686 (java) R 16658 16658 16473 0 -1 4202560 1628 0 0 0 29475 3 0 0 20 0 28 0 3508397 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274882092808 140275335712112 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16687] ppid=16658 vsize=13801768 CPUtime=296.64 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16687/stat : 16687 (java) R 16658 16658 16473 0 -1 4202560 1088 0 0 0 29663 1 0 0 20 0 28 0 3508397 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274881040120 140275335979013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
Current children cumulated CPU time (s) 2400.34
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 16659 sig 9
??? kill 16658 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.702 s]
/proc/loadavg: 15.95 11.92 7.34 21/299 16788
/proc/meminfo: memFree=29163952/32770624 swapFree=5736/219932
[pid=16658] ppid=16655 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16658/stat : 16658 (xcsp3-exec) S 16655 16658 16473 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3508217 9740288 346 33554432000 4194304 5098028 140736275668608 140736275666712 140188146479740 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 23654400 140736275674255 140736275674464 140736275674464 140736275677163 0
/proc/16658/statm: 2378 346 289 221 0 87 0
[pid=16659] ppid=16658 vsize=13801768 CPUtime=2400.34 cores=1,3,5,7,9,11,13,15
/proc/16659/stat : 16659 (java) S 16658 16658 16473 0 -1 1077944320 103007 0 0 0 239690 344 0 0 20 0 28 0 3508217 14133010432 669763 33554432000 4194304 4196468 140729882208288 140729882190832 140275712298743 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
/proc/16659/statm: 3450442 669763 3287 1 0 3437675 0
[pid=16659/tid=16660] ppid=16658 vsize=13801768 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16660/stat : 16660 (java) S 16658 16658 16473 0 -1 1077944384 8356 0 0 0 158 7 0 0 20 0 28 0 3508218 14133010432 669763 33554432000 4194304 4196468 140729882208288 140275716539520 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16662] ppid=16658 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16662/stat : 16662 (java) S 16658 16658 16473 0 -1 1077944384 1308 0 0 0 76 31 0 0 20 0 28 0 3508219 14133010432 669763 33554432000 4194304 4196468 140729882208288 140275651263248 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16663] ppid=16658 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16663/stat : 16663 (java) S 16658 16658 16473 0 -1 1077944384 427 0 0 0 71 35 0 0 20 0 28 0 3508219 14133010432 669763 33554432000 4194304 4196468 140729882208288 140275650210704 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16664] ppid=16658 vsize=13801768 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16664/stat : 16664 (java) S 16658 16658 16473 0 -1 1077944384 2216 0 0 0 74 34 0 0 20 0 28 0 3508219 14133010432 669763 33554432000 4194304 4196468 140729882208288 140275649158160 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16665] ppid=16658 vsize=13801768 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16665/stat : 16665 (java) S 16658 16658 16473 0 -1 1077944384 500 0 0 0 70 32 0 0 20 0 28 0 3508219 14133010432 669763 33554432000 4194304 4196468 140729882208288 140275648105616 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16666] ppid=16658 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16666/stat : 16666 (java) S 16658 16658 16473 0 -1 1077944384 683 0 0 0 76 30 0 0 20 0 28 0 3508219 14133010432 669763 33554432000 4194304 4196468 140729882208288 140275647052048 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16667] ppid=16658 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16667/stat : 16667 (java) S 16658 16658 16473 0 -1 1077944384 1020 0 0 0 73 36 0 0 20 0 28 0 3508219 14133010432 669763 33554432000 4194304 4196468 140729882208288 140275305896336 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16668] ppid=16658 vsize=13801768 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16668/stat : 16668 (java) S 16658 16658 16473 0 -1 1077944384 919 0 0 0 74 35 0 0 20 0 28 0 3508219 14133010432 669763 33554432000 4194304 4196468 140729882208288 140275304843792 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16669] ppid=16658 vsize=13801768 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16669/stat : 16669 (java) S 16658 16658 16473 0 -1 1077944384 476 0 0 0 78 33 0 0 20 0 28 0 3508219 14133010432 669763 33554432000 4194304 4196468 140729882208288 140275303791248 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16670] ppid=16658 vsize=13801768 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16670/stat : 16670 (java) S 16658 16658 16473 0 -1 1077944384 6701 0 0 0 43 9 0 0 20 0 28 0 3508221 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274905897456 140275712309890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16671] ppid=16658 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16671/stat : 16671 (java) S 16658 16658 16473 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 3508222 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274904843744 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16672] ppid=16658 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16672/stat : 16672 (java) S 16658 16658 16473 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 3508222 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274903791104 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16673] ppid=16658 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16673/stat : 16673 (java) S 16658 16658 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3508225 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274902739664 140275712317339 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16674] ppid=16658 vsize=13801768 CPUtime=5.75 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16674/stat : 16674 (java) S 16658 16658 16473 0 -1 1077944384 18237 0 0 0 572 3 0 0 20 0 28 0 3508225 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274901686256 140275712309890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16675] ppid=16658 vsize=13801768 CPUtime=5.49 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16675/stat : 16675 (java) S 16658 16658 16473 0 -1 1077944384 15673 0 0 0 546 3 0 0 20 0 28 0 3508225 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274900633712 140275712309890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16676] ppid=16658 vsize=13801768 CPUtime=5.61 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16676/stat : 16676 (java) S 16658 16658 16473 0 -1 1077944384 15557 0 0 0 558 3 0 0 20 0 28 0 3508226 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274899581168 140275712309890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16677] ppid=16658 vsize=13801768 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16677/stat : 16677 (java) S 16658 16658 16473 0 -1 1077944384 9812 0 0 0 140 2 0 0 20 0 28 0 3508226 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274898528624 140275712309890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16678] ppid=16658 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16678/stat : 16678 (java) S 16658 16658 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3508226 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274897476320 140275712308949 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16679] ppid=16658 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16679/stat : 16679 (java) S 16658 16658 16473 0 -1 1077944384 969 0 0 0 7 8 0 0 20 0 28 0 3508226 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274896423856 140275712309890 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16680] ppid=16658 vsize=13801768 CPUtime=296.43 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16680/stat : 16680 (java) R 16658 16658 16473 0 -1 4202560 3050 0 0 0 29634 9 0 0 20 0 28 0 3508396 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274888408032 140275336375312 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16681] ppid=16658 vsize=13801768 CPUtime=294.71 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16681/stat : 16681 (java) R 16658 16658 16473 0 -1 4202560 1307 0 0 0 29469 2 0 0 20 0 28 0 3508397 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274887356360 140275337400483 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16682] ppid=16658 vsize=13801768 CPUtime=296.86 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16682/stat : 16682 (java) R 16658 16658 16473 0 -1 4202560 3086 0 0 0 29679 7 0 0 20 0 28 0 3508397 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274886303912 140275329136082 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16683] ppid=16658 vsize=13801768 CPUtime=297.2 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16683/stat : 16683 (java) R 16658 16658 16473 0 -1 4202560 5388 0 0 0 29713 7 0 0 20 0 28 0 3508397 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274885250936 140275337547344 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16684] ppid=16658 vsize=13801768 CPUtime=297.39 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16684/stat : 16684 (java) R 16658 16658 16473 0 -1 4202560 2365 0 0 0 29735 4 0 0 20 0 28 0 3508397 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274884198088 140275329136166 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16685] ppid=16658 vsize=13801768 CPUtime=296.93 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16685/stat : 16685 (java) R 16658 16658 16473 0 -1 4202560 873 0 0 0 29693 0 0 0 20 0 28 0 3508397 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274883145912 140275336651706 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16686] ppid=16658 vsize=13801768 CPUtime=294.78 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16686/stat : 16686 (java) R 16658 16658 16473 0 -1 4202560 1628 0 0 0 29475 3 0 0 20 0 28 0 3508397 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274882092808 140275335712112 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
[pid=16659/tid=16687] ppid=16658 vsize=13801768 CPUtime=296.64 cores=1,3,5,7,9,11,13,15
/proc/16659/task/16687/stat : 16687 (java) R 16658 16658 16473 0 -1 4202560 1088 0 0 0 29663 1 0 0 20 0 28 0 3508397 14133010432 669763 33554432000 4194304 4196468 140729882208288 140274881040120 140275335979013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6569984 140729882215612 140729882215788 140729882215788 140729882218447 0
Current children cumulated CPU time (s) 2400.34
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 16658 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1203
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1203
# CPU time returned by wait4() is 0.002406
# while last known CPU time is 2400.34
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.712
CPU time (s): 2400.34
CPU user time (s): 2396.9
CPU system time (s): 3.44
CPU usage (%): 792.945
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001203
system time used= 0.001203
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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 3.28 second user time and 4.30024 second system time
The end