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-4246057-1500686770/watcher-4246057-1500686770 -o /tmp/evaluation-result-4246057-1500686770/solver-4246057-1500686770 -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 1489705213 HOME/instance-4246057-1500686770.xml
pid=4031
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: 13.64 14.64 14.36 10/271 4034
/proc/meminfo: memFree=30388324/32770624 swapFree=5700/251816
[pid=4034] ppid=4031 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4034/stat : 4034 (xcsp3-exec) S 4031 4034 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3944483 9740288 345 33554432000 4194304 5098028 140726086999744 140726086997848 140714193646204 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8392704 140726087001230 140726087001440 140726087001440 140726087004139 0
/proc/4034/statm: 2378 345 289 221 0 87 0
[startup+0.100101 s]
/proc/loadavg: 13.64 14.64 14.36 10/271 4034
/proc/meminfo: memFree=30388324/32770624 swapFree=5700/251816
[pid=4034] ppid=4031 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4034/stat : 4034 (xcsp3-exec) S 4031 4034 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3944483 9740288 345 33554432000 4194304 5098028 140726086999744 140726086997848 140714193646204 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8392704 140726087001230 140726087001440 140726087001440 140726087004139 0
/proc/4034/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200294 s]
/proc/loadavg: 13.64 14.64 14.36 10/271 4034
/proc/meminfo: memFree=30388324/32770624 swapFree=5700/251816
[pid=4034] ppid=4031 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4034/stat : 4034 (xcsp3-exec) S 4031 4034 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3944483 9740288 345 33554432000 4194304 5098028 140726086999744 140726086997848 140714193646204 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8392704 140726087001230 140726087001440 140726087001440 140726087004139 0
/proc/4034/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300266 s]
/proc/loadavg: 13.64 14.64 14.36 10/271 4034
/proc/meminfo: memFree=30388324/32770624 swapFree=5700/251816
[pid=4034] ppid=4031 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4034/stat : 4034 (xcsp3-exec) S 4031 4034 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3944483 9740288 345 33554432000 4194304 5098028 140726086999744 140726086997848 140714193646204 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8392704 140726087001230 140726087001440 140726087001440 140726087004139 0
/proc/4034/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700183 s]
/proc/loadavg: 13.64 14.64 14.36 10/271 4034
/proc/meminfo: memFree=30388324/32770624 swapFree=5700/251816
[pid=4034] ppid=4031 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4034/stat : 4034 (xcsp3-exec) S 4031 4034 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3944483 9740288 345 33554432000 4194304 5098028 140726086999744 140726086997848 140714193646204 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8392704 140726087001230 140726087001440 140726087001440 140726087004139 0
/proc/4034/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50083 s]
/proc/loadavg: 13.64 14.64 14.36 13/292 4055
/proc/meminfo: memFree=30166540/32770624 swapFree=5700/251856
[pid=4034] ppid=4031 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4034/stat : 4034 (xcsp3-exec) S 4031 4034 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3944483 9740288 345 33554432000 4194304 5098028 140726086999744 140726086997848 140714193646204 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8392704 140726087001230 140726087001440 140726087001440 140726087004139 0
/proc/4034/statm: 2378 345 289 221 0 87 0
[pid=4035] ppid=4034 vsize=13269256 CPUtime=5.51 cores=1,3,5,7,9,11,13,15
/proc/4035/stat : 4035 (java) S 4034 4034 7102 0 -1 1077944320 16688 0 0 0 475 76 0 0 20 0 20 0 3944484 13587718144 95995 33554432000 4194304 4196468 140732674264256 140732674246800 139996677484279 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
/proc/4035/statm: 3317314 95995 3245 1 0 3304547 0
[pid=4035/tid=4036] ppid=4034 vsize=13269256 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4036/stat : 4036 (java) R 4034 4034 7102 0 -1 4202560 6841 0 0 0 122 5 0 0 20 0 20 0 3944484 13587718144 95995 33554432000 4194304 4196468 140732674264256 139996681721864 139996657067549 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4038] ppid=4034 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4038/stat : 4038 (java) S 4034 4034 7102 0 -1 1077944384 99 0 0 0 9 9 0 0 20 0 20 0 3944485 13587718144 95995 33554432000 4194304 4196468 140732674264256 139996609620752 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4039] ppid=4034 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4039/stat : 4039 (java) S 4034 4034 7102 0 -1 1077944384 121 0 0 0 10 8 0 0 20 0 20 0 3944485 13587718144 95995 33554432000 4194304 4196468 140732674264256 139996608568208 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4040] ppid=4034 vsize=13269256 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4040/stat : 4040 (java) S 4034 4034 7102 0 -1 1077944384 110 0 0 0 7 5 0 0 20 0 20 0 3944485 13587718144 95995 33554432000 4194304 4196468 140732674264256 139996274068496 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4041] ppid=4034 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4041/stat : 4041 (java) S 4034 4034 7102 0 -1 1077944384 109 0 0 0 10 9 0 0 20 0 20 0 3944485 13587718144 95995 33554432000 4194304 4196468 140732674264256 139996273015952 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4042] ppid=4034 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4042/stat : 4042 (java) S 4034 4034 7102 0 -1 1077944384 97 0 0 0 9 9 0 0 20 0 20 0 3944485 13587718144 95995 33554432000 4194304 4196468 140732674264256 139996271962384 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4043] ppid=4034 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4043/stat : 4043 (java) S 4034 4034 7102 0 -1 1077944384 90 0 0 0 9 9 0 0 20 0 20 0 3944485 13587718144 95995 33554432000 4194304 4196468 140732674264256 139996270909840 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4044] ppid=4034 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4044/stat : 4044 (java) S 4034 4034 7102 0 -1 1077944384 88 0 0 0 9 8 0 0 20 0 20 0 3944485 13587718144 95995 33554432000 4194304 4196468 140732674264256 139996269857296 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4045] ppid=4034 vsize=13269256 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4045/stat : 4045 (java) S 4034 4034 7102 0 -1 1077944384 79 0 0 0 7 5 0 0 20 0 20 0 3944485 13587718144 95995 33554432000 4194304 4196468 140732674264256 139996268804752 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4046] ppid=4034 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4046/stat : 4046 (java) S 4034 4034 7102 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 3944487 13587718144 95995 33554432000 4194304 4196468 140732674264256 139996206983664 139996677495426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4047] ppid=4034 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4047/stat : 4047 (java) S 4034 4034 7102 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3944488 13587718144 95995 33554432000 4194304 4196468 140732674264256 139996205929888 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4048] ppid=4034 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4048/stat : 4048 (java) S 4034 4034 7102 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3944488 13587718144 95995 33554432000 4194304 4196468 140732674264256 139995406394864 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4049] ppid=4034 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4049/stat : 4049 (java) S 4034 4034 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3944492 13587718144 95995 33554432000 4194304 4196468 140732674264256 139995405343440 139996677502875 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4050] ppid=4034 vsize=13269256 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4050/stat : 4050 (java) S 4034 4034 7102 0 -1 1077944384 2051 0 0 0 72 0 0 0 20 0 20 0 3944492 13587718144 95995 33554432000 4194304 4196468 140732674264256 139995404290032 139996677495426 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4051] ppid=4034 vsize=13269256 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4051/stat : 4051 (java) S 4034 4034 7102 0 -1 1077944384 1445 0 0 0 69 0 0 0 20 0 20 0 3944492 13587718144 95995 33554432000 4194304 4196468 140732674264256 139995403237488 139996677495426 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4052] ppid=4034 vsize=13269256 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4052/stat : 4052 (java) R 4034 4034 7102 0 -1 4202560 1784 0 0 0 93 1 0 0 20 0 20 0 3944492 13587718144 95995 33554432000 4194304 4196468 140732674264256 139995402170944 139996662389753 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4053] ppid=4034 vsize=13269256 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4053/stat : 4053 (java) S 4034 4034 7102 0 -1 1077944384 2393 0 0 0 44 0 0 0 20 0 20 0 3944492 13587718144 95995 33554432000 4194304 4196468 140732674264256 139995401132400 139996677495426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4054] ppid=4034 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4054/stat : 4054 (java) S 4034 4034 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3944492 13587718144 95995 33554432000 4194304 4196468 140732674264256 139995400080096 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4055] ppid=4034 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4055/stat : 4055 (java) S 4034 4034 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3944492 13587718144 95995 33554432000 4194304 4196468 140732674264256 139994794552240 139996677495426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 13278768
[startup+3.10084 s]
/proc/loadavg: 13.64 14.64 14.36 17/292 4055
/proc/meminfo: memFree=29770896/32770624 swapFree=5700/251856
[pid=4034] ppid=4031 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4034/stat : 4034 (xcsp3-exec) S 4031 4034 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3944483 9740288 345 33554432000 4194304 5098028 140726086999744 140726086997848 140714193646204 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8392704 140726087001230 140726087001440 140726087001440 140726087004139 0
/proc/4034/statm: 2378 345 289 221 0 87 0
[pid=4035] ppid=4034 vsize=13269256 CPUtime=14.75 cores=1,3,5,7,9,11,13,15
/proc/4035/stat : 4035 (java) S 4034 4034 7102 0 -1 1077944320 20193 0 0 0 1315 160 0 0 20 0 20 0 3944484 13587718144 159794 33554432000 4194304 4196468 140732674264256 140732674246800 139996677484279 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
/proc/4035/statm: 3317314 159794 3271 1 0 3304547 0
[pid=4035/tid=4036] ppid=4034 vsize=13269256 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4036/stat : 4036 (java) S 4034 4034 7102 0 -1 1077944384 7315 0 0 0 170 6 0 0 20 0 20 0 3944484 13587718144 159794 33554432000 4194304 4196468 140732674264256 139996681722320 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4038] ppid=4034 vsize=13269256 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4038/stat : 4038 (java) R 4034 4034 7102 0 -1 4202560 231 0 0 0 92 19 0 0 20 0 20 0 3944485 13587718144 159794 33554432000 4194304 4196468 140732674264256 139996609620952 139996662512162 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4039] ppid=4034 vsize=13269256 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4039/stat : 4039 (java) R 4034 4034 7102 0 -1 4202560 248 0 0 0 94 18 0 0 20 0 20 0 3944485 13587718144 159794 33554432000 4194304 4196468 140732674264256 139996608568208 139996662512135 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4040] ppid=4034 vsize=13269256 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4040/stat : 4040 (java) R 4034 4034 7102 0 -1 4202560 272 0 0 0 93 15 0 0 20 0 20 0 3944485 13587718144 159794 33554432000 4194304 4196468 140732674264256 139996274068496 139996662512148 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4041] ppid=4034 vsize=13269256 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4041/stat : 4041 (java) R 4034 4034 7102 0 -1 4202560 251 0 0 0 95 19 0 0 20 0 20 0 3944485 13587718144 159794 33554432000 4194304 4196468 140732674264256 139996273015952 139996662512153 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4042] ppid=4034 vsize=13269256 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4042/stat : 4042 (java) R 4034 4034 7102 0 -1 4202560 444 0 0 0 93 20 0 0 20 0 20 0 3944485 13587718144 159794 33554432000 4194304 4196468 140732674264256 139996271962584 139996662512153 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4043] ppid=4034 vsize=13269256 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4043/stat : 4043 (java) R 4034 4034 7102 0 -1 4202560 243 0 0 0 93 19 0 0 20 0 20 0 3944485 13587718144 159794 33554432000 4194304 4196468 140732674264256 139996270909728 139996662512162 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4044] ppid=4034 vsize=13269256 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4044/stat : 4044 (java) R 4034 4034 7102 0 -1 4202560 273 0 0 0 93 19 0 0 20 0 20 0 3944485 13587718144 159794 33554432000 4194304 4196468 140732674264256 139996269857496 139996659110224 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4045] ppid=4034 vsize=13269256 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4045/stat : 4045 (java) R 4034 4034 7102 0 -1 4202560 246 0 0 0 89 16 0 0 20 0 20 0 3944485 13587718144 159794 33554432000 4194304 4196468 140732674264256 139996268804952 139996662511656 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4046] ppid=4034 vsize=13269256 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4046/stat : 4046 (java) S 4034 4034 7102 0 -1 1077944384 489 0 0 0 14 0 0 0 20 0 20 0 3944487 13587718144 159794 33554432000 4194304 4196468 140732674264256 139996206982176 139996677494485 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4047] ppid=4034 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4047/stat : 4047 (java) S 4034 4034 7102 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3944488 13587718144 159794 33554432000 4194304 4196468 140732674264256 139996205929952 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4048] ppid=4034 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4048/stat : 4048 (java) S 4034 4034 7102 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3944488 13587718144 159794 33554432000 4194304 4196468 140732674264256 139995406394880 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4049] ppid=4034 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4049/stat : 4049 (java) S 4034 4034 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3944492 13587718144 159794 33554432000 4194304 4196468 140732674264256 139995405343440 139996677502875 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4050] ppid=4034 vsize=13269256 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4050/stat : 4050 (java) S 4034 4034 7102 0 -1 1077944384 2194 0 0 0 97 0 0 0 20 0 20 0 3944492 13587718144 159794 33554432000 4194304 4196468 140732674264256 139995404290032 139996677495426 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4051] ppid=4034 vsize=13269256 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4051/stat : 4051 (java) S 4034 4034 7102 0 -1 1077944384 2227 0 0 0 103 0 0 0 20 0 20 0 3944492 13587718144 159794 33554432000 4194304 4196468 140732674264256 139995403237488 139996677495426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4052] ppid=4034 vsize=13269256 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4052/stat : 4052 (java) S 4034 4034 7102 0 -1 1077944384 1842 0 0 0 129 1 0 0 20 0 20 0 3944492 13587718144 159794 33554432000 4194304 4196468 140732674264256 139995402169936 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4053] ppid=4034 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4053/stat : 4053 (java) S 4034 4034 7102 0 -1 1077944384 2619 0 0 0 53 1 0 0 20 0 20 0 3944492 13587718144 159794 33554432000 4194304 4196468 140732674264256 139995401132400 139996677495426 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4054] ppid=4034 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4054/stat : 4054 (java) S 4034 4034 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3944492 13587718144 159794 33554432000 4194304 4196468 140732674264256 139995400080096 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4055] ppid=4034 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4055/stat : 4055 (java) S 4034 4034 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3944492 13587718144 159794 33554432000 4194304 4196468 140732674264256 139994794552240 139996677495426 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
Current children cumulated CPU time (s) 14.75
Current children cumulated vsize (KiB) 13278768
[startup+6.30088 s]
/proc/loadavg: 13.19 14.53 14.32 10/292 4055
/proc/meminfo: memFree=29290088/32770624 swapFree=5700/251856
[pid=4034] ppid=4031 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4034/stat : 4034 (xcsp3-exec) S 4031 4034 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3944483 9740288 345 33554432000 4194304 5098028 140726086999744 140726086997848 140714193646204 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8392704 140726087001230 140726087001440 140726087001440 140726087004139 0
/proc/4034/statm: 2378 345 289 221 0 87 0
[pid=4035] ppid=4034 vsize=13269256 CPUtime=31.71 cores=1,3,5,7,9,11,13,15
/proc/4035/stat : 4035 (java) S 4034 4034 7102 0 -1 1077944320 37187 0 0 0 2648 523 0 0 20 0 20 0 3944484 13587718144 379651 33554432000 4194304 4196468 140732674264256 140732674246800 139996677484279 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
/proc/4035/statm: 3317314 379651 3276 1 0 3304547 0
[pid=4035/tid=4036] ppid=4034 vsize=13269256 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4036/stat : 4036 (java) R 4034 4034 7102 0 -1 4202560 8058 0 0 0 285 12 0 0 20 0 20 0 3944484 13587718144 379651 33554432000 4194304 4196468 140732674264256 139996681722648 139996291349266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4038] ppid=4034 vsize=13269256 CPUtime=2.92 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4038/stat : 4038 (java) S 4034 4034 7102 0 -1 1077944384 811 0 0 0 230 62 0 0 20 0 20 0 3944485 13587718144 379651 33554432000 4194304 4196468 140732674264256 139996609620752 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4039] ppid=4034 vsize=13269256 CPUtime=2.92 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4039/stat : 4039 (java) S 4034 4034 7102 0 -1 1077944384 1061 0 0 0 229 63 0 0 20 0 20 0 3944485 13587718144 379651 33554432000 4194304 4196468 140732674264256 139996608568208 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4040] ppid=4034 vsize=13269256 CPUtime=2.91 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4040/stat : 4040 (java) S 4034 4034 7102 0 -1 1077944384 1022 0 0 0 231 60 0 0 20 0 20 0 3944485 13587718144 379651 33554432000 4194304 4196468 140732674264256 139996274068496 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4041] ppid=4034 vsize=13269256 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4041/stat : 4041 (java) S 4034 4034 7102 0 -1 1077944384 1076 0 0 0 233 64 0 0 20 0 20 0 3944485 13587718144 379651 33554432000 4194304 4196468 140732674264256 139996273015952 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4042] ppid=4034 vsize=13269256 CPUtime=2.96 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4042/stat : 4042 (java) S 4034 4034 7102 0 -1 1077944384 1491 0 0 0 231 65 0 0 20 0 20 0 3944485 13587718144 379651 33554432000 4194304 4196468 140732674264256 139996271962384 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4043] ppid=4034 vsize=13269256 CPUtime=2.94 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4043/stat : 4043 (java) S 4034 4034 7102 0 -1 1077944384 879 0 0 0 229 65 0 0 20 0 20 0 3944485 13587718144 379651 33554432000 4194304 4196468 140732674264256 139996270909840 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4044] ppid=4034 vsize=13269256 CPUtime=2.95 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4044/stat : 4044 (java) S 4034 4034 7102 0 -1 1077944384 911 0 0 0 233 62 0 0 20 0 20 0 3944485 13587718144 379651 33554432000 4194304 4196468 140732674264256 139996269857296 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4045] ppid=4034 vsize=13269256 CPUtime=2.88 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4045/stat : 4045 (java) S 4034 4034 7102 0 -1 1077944384 1116 0 0 0 228 60 0 0 20 0 20 0 3944485 13587718144 379651 33554432000 4194304 4196468 140732674264256 139996268804752 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4046] ppid=4034 vsize=13269256 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4046/stat : 4046 (java) S 4034 4034 7102 0 -1 1077944384 5029 0 0 0 30 0 0 0 20 0 20 0 3944487 13587718144 379651 33554432000 4194304 4196468 140732674264256 139996206983664 139996677495426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4047] ppid=4034 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4047/stat : 4047 (java) S 4034 4034 7102 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 3944488 13587718144 379651 33554432000 4194304 4196468 140732674264256 139996205929952 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4048] ppid=4034 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4048/stat : 4048 (java) S 4034 4034 7102 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 3944488 13587718144 379651 33554432000 4194304 4196468 140732674264256 139995406394880 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4049] ppid=4034 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4049/stat : 4049 (java) S 4034 4034 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3944492 13587718144 379651 33554432000 4194304 4196468 140732674264256 139995405343440 139996677502875 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
################
# More data... #
################
[pid=4035/tid=4062] ppid=4034 vsize=13801768 CPUtime=249.18 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4062/stat : 4062 (java) R 4034 4034 7102 0 -1 4202560 3243 0 0 0 24917 1 0 0 20 0 28 0 3945912 14133010432 1233170 33554432000 4194304 4196468 140732674264256 139994780721352 139996296756958 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4063] ppid=4034 vsize=13801768 CPUtime=247.89 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4063/stat : 4063 (java) R 4034 4034 7102 0 -1 4202560 4058 0 0 0 24786 3 0 0 20 0 28 0 3945912 14133010432 1233170 33554432000 4194304 4196468 140732674264256 139994779668760 139996296198250 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
Current children cumulated CPU time (s) 2198.57
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+307.702 s]
/proc/loadavg: 14.76 13.23 13.70 17/301 4369
/proc/meminfo: memFree=26584652/32770624 swapFree=5700/252288
[pid=4034] ppid=4031 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4034/stat : 4034 (xcsp3-exec) S 4031 4034 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3944483 9740288 345 33554432000 4194304 5098028 140726086999744 140726086997848 140714193646204 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8392704 140726087001230 140726087001440 140726087001440 140726087004139 0
/proc/4034/statm: 2378 345 289 221 0 87 0
[pid=4035] ppid=4034 vsize=13801768 CPUtime=2400.63 cores=1,3,5,7,9,11,13,15
/proc/4035/stat : 4035 (java) S 4034 4034 7102 0 -1 1077944320 195248 0 0 0 238243 1820 0 0 20 0 28 0 3944484 14133010432 1193941 33554432000 4194304 4196468 140732674264256 140732674246800 139996677484279 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
/proc/4035/statm: 3450442 1193941 3291 1 0 3437675 0
[pid=4035/tid=4036] ppid=4034 vsize=13801768 CPUtime=5.14 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4036/stat : 4036 (java) S 4034 4034 7102 0 -1 1077944384 8937 0 0 0 502 12 0 0 20 0 28 0 3944484 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996681725056 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4038] ppid=4034 vsize=13801768 CPUtime=23.95 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4038/stat : 4038 (java) S 4034 4034 7102 0 -1 1077944384 10773 0 0 0 2180 215 0 0 20 0 28 0 3944485 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996609620752 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4039] ppid=4034 vsize=13801768 CPUtime=24.05 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4039/stat : 4039 (java) S 4034 4034 7102 0 -1 1077944384 6362 0 0 0 2181 224 0 0 20 0 28 0 3944485 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996608568208 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4040] ppid=4034 vsize=13801768 CPUtime=24.13 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4040/stat : 4040 (java) S 4034 4034 7102 0 -1 1077944384 8128 0 0 0 2184 229 0 0 20 0 28 0 3944485 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996274068496 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4041] ppid=4034 vsize=13801768 CPUtime=23.97 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4041/stat : 4041 (java) S 4034 4034 7102 0 -1 1077944384 11356 0 0 0 2184 213 0 0 20 0 28 0 3944485 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996273015952 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4042] ppid=4034 vsize=13801768 CPUtime=24.23 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4042/stat : 4042 (java) S 4034 4034 7102 0 -1 1077944384 7235 0 0 0 2208 215 0 0 20 0 28 0 3944485 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996271962384 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4043] ppid=4034 vsize=13801768 CPUtime=24.12 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4043/stat : 4043 (java) S 4034 4034 7102 0 -1 1077944384 8131 0 0 0 2194 218 0 0 20 0 28 0 3944485 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996270909840 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4044] ppid=4034 vsize=13801768 CPUtime=24.08 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4044/stat : 4044 (java) S 4034 4034 7102 0 -1 1077944384 7547 0 0 0 2209 199 0 0 20 0 28 0 3944485 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996269857296 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4045] ppid=4034 vsize=13801768 CPUtime=24.1 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4045/stat : 4045 (java) S 4034 4034 7102 0 -1 1077944384 10113 0 0 0 2183 227 0 0 20 0 28 0 3944485 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996268804752 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4046] ppid=4034 vsize=13801768 CPUtime=2.6 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4046/stat : 4046 (java) S 4034 4034 7102 0 -1 1077944384 12034 0 0 0 238 22 0 0 20 0 28 0 3944487 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996206983664 139996677495426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4047] ppid=4034 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4047/stat : 4047 (java) S 4034 4034 7102 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3944488 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996205929952 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4048] ppid=4034 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4048/stat : 4048 (java) S 4034 4034 7102 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 28 0 3944488 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139995406394880 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4049] ppid=4034 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4049/stat : 4049 (java) S 4034 4034 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3944492 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139995405343440 139996677502875 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4050] ppid=4034 vsize=13801768 CPUtime=3.72 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4050/stat : 4050 (java) S 4034 4034 7102 0 -1 1077944384 15593 0 0 0 369 3 0 0 20 0 28 0 3944492 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139995404290032 139996677495426 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4051] ppid=4034 vsize=13801768 CPUtime=3.2 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4051/stat : 4051 (java) S 4034 4034 7102 0 -1 1077944384 14683 0 0 0 318 2 0 0 20 0 28 0 3944492 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139995403237488 139996677495426 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4052] ppid=4034 vsize=13801768 CPUtime=4.24 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4052/stat : 4052 (java) S 4034 4034 7102 0 -1 1077944384 17353 0 0 0 421 3 0 0 20 0 28 0 3944492 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139995402184944 139996677495426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4053] ppid=4034 vsize=13801768 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4053/stat : 4053 (java) S 4034 4034 7102 0 -1 1077944384 12805 0 0 0 113 3 0 0 20 0 28 0 3944492 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139995401132400 139996677495426 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4054] ppid=4034 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4054/stat : 4054 (java) S 4034 4034 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3944492 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139995400080096 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4055] ppid=4034 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4055/stat : 4055 (java) S 4034 4034 7102 0 -1 1077944384 767 0 0 0 10 11 0 0 20 0 28 0 3944492 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139994794552240 139996677495426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4056] ppid=4034 vsize=13801768 CPUtime=273.84 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4056/stat : 4056 (java) R 4034 4034 7102 0 -1 4202560 5233 0 0 0 27382 2 0 0 20 0 28 0 3945912 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139994787036616 139996297133435 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4057] ppid=4034 vsize=13801768 CPUtime=273.59 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4057/stat : 4057 (java) R 4034 4034 7102 0 -1 4202560 2780 0 0 0 27358 1 0 0 20 0 28 0 3945912 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139994785984968 139996297133669 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4058] ppid=4034 vsize=13801768 CPUtime=274.2 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4058/stat : 4058 (java) R 4034 4034 7102 0 -1 4202560 8622 0 0 0 27418 2 0 0 20 0 28 0 3945912 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139994784930880 139996296695766 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4059] ppid=4034 vsize=13801768 CPUtime=272.31 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4059/stat : 4059 (java) R 4034 4034 7102 0 -1 4202560 6458 0 0 0 27227 4 0 0 20 0 28 0 3945912 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139994783881664 139996290998949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4060] ppid=4034 vsize=13801768 CPUtime=272.81 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4060/stat : 4060 (java) R 4034 4034 7102 0 -1 4202560 4235 0 0 0 27278 3 0 0 20 0 28 0 3945912 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139994782826312 139996295382794 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4061] ppid=4034 vsize=13801768 CPUtime=273.82 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4061/stat : 4061 (java) R 4034 4034 7102 0 -1 4202560 7087 0 0 0 27381 1 0 0 20 0 28 0 3945912 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139994781773768 139996296709738 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4062] ppid=4034 vsize=13801768 CPUtime=273.79 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4062/stat : 4062 (java) R 4034 4034 7102 0 -1 4202560 3368 0 0 0 27378 1 0 0 20 0 28 0 3945912 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139994780721256 139996296682537 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4063] ppid=4034 vsize=13801768 CPUtime=273.15 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4063/stat : 4063 (java) R 4034 4034 7102 0 -1 4202560 4239 0 0 0 27312 3 0 0 20 0 28 0 3945912 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139994779668760 139996296892816 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
Current children cumulated CPU time (s) 2400.63
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 4035 sig 9
??? kill 4034 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+307.702 s]
/proc/loadavg: 14.76 13.23 13.70 17/301 4369
/proc/meminfo: memFree=26584652/32770624 swapFree=5700/252288
[pid=4034] ppid=4031 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4034/stat : 4034 (xcsp3-exec) S 4031 4034 7102 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 3944483 9740288 345 33554432000 4194304 5098028 140726086999744 140726086997848 140714193646204 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8392704 140726087001230 140726087001440 140726087001440 140726087004139 0
/proc/4034/statm: 2378 345 289 221 0 87 0
[pid=4035] ppid=4034 vsize=13801768 CPUtime=2400.63 cores=1,3,5,7,9,11,13,15
/proc/4035/stat : 4035 (java) S 4034 4034 7102 0 -1 1077944320 195248 0 0 0 238243 1820 0 0 20 0 28 0 3944484 14133010432 1193941 33554432000 4194304 4196468 140732674264256 140732674246800 139996677484279 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
/proc/4035/statm: 3450442 1193941 3291 1 0 3437675 0
[pid=4035/tid=4036] ppid=4034 vsize=13801768 CPUtime=5.14 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4036/stat : 4036 (java) S 4034 4034 7102 0 -1 1077944384 8937 0 0 0 502 12 0 0 20 0 28 0 3944484 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996681725056 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4038] ppid=4034 vsize=13801768 CPUtime=23.95 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4038/stat : 4038 (java) S 4034 4034 7102 0 -1 1077944384 10773 0 0 0 2180 215 0 0 20 0 28 0 3944485 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996609620752 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4039] ppid=4034 vsize=13801768 CPUtime=24.05 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4039/stat : 4039 (java) S 4034 4034 7102 0 -1 1077944384 6362 0 0 0 2181 224 0 0 20 0 28 0 3944485 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996608568208 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4040] ppid=4034 vsize=13801768 CPUtime=24.13 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4040/stat : 4040 (java) S 4034 4034 7102 0 -1 1077944384 8128 0 0 0 2184 229 0 0 20 0 28 0 3944485 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996274068496 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4041] ppid=4034 vsize=13801768 CPUtime=23.97 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4041/stat : 4041 (java) S 4034 4034 7102 0 -1 1077944384 11356 0 0 0 2184 213 0 0 20 0 28 0 3944485 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996273015952 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4042] ppid=4034 vsize=13801768 CPUtime=24.23 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4042/stat : 4042 (java) S 4034 4034 7102 0 -1 1077944384 7235 0 0 0 2208 215 0 0 20 0 28 0 3944485 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996271962384 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4043] ppid=4034 vsize=13801768 CPUtime=24.12 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4043/stat : 4043 (java) S 4034 4034 7102 0 -1 1077944384 8131 0 0 0 2194 218 0 0 20 0 28 0 3944485 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996270909840 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4044] ppid=4034 vsize=13801768 CPUtime=24.08 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4044/stat : 4044 (java) S 4034 4034 7102 0 -1 1077944384 7547 0 0 0 2209 199 0 0 20 0 28 0 3944485 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996269857296 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4045] ppid=4034 vsize=13801768 CPUtime=24.1 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4045/stat : 4045 (java) S 4034 4034 7102 0 -1 1077944384 10113 0 0 0 2183 227 0 0 20 0 28 0 3944485 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996268804752 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4046] ppid=4034 vsize=13801768 CPUtime=2.6 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4046/stat : 4046 (java) S 4034 4034 7102 0 -1 1077944384 12034 0 0 0 238 22 0 0 20 0 28 0 3944487 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996206983664 139996677495426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4047] ppid=4034 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4047/stat : 4047 (java) S 4034 4034 7102 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 3944488 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139996205929952 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4048] ppid=4034 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4048/stat : 4048 (java) S 4034 4034 7102 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 28 0 3944488 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139995406394880 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4049] ppid=4034 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4049/stat : 4049 (java) S 4034 4034 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3944492 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139995405343440 139996677502875 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4050] ppid=4034 vsize=13801768 CPUtime=3.72 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4050/stat : 4050 (java) S 4034 4034 7102 0 -1 1077944384 15593 0 0 0 369 3 0 0 20 0 28 0 3944492 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139995404290032 139996677495426 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4051] ppid=4034 vsize=13801768 CPUtime=3.2 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4051/stat : 4051 (java) S 4034 4034 7102 0 -1 1077944384 14683 0 0 0 318 2 0 0 20 0 28 0 3944492 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139995403237488 139996677495426 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4052] ppid=4034 vsize=13801768 CPUtime=4.24 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4052/stat : 4052 (java) S 4034 4034 7102 0 -1 1077944384 17353 0 0 0 421 3 0 0 20 0 28 0 3944492 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139995402184944 139996677495426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4053] ppid=4034 vsize=13801768 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4053/stat : 4053 (java) S 4034 4034 7102 0 -1 1077944384 12805 0 0 0 113 3 0 0 20 0 28 0 3944492 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139995401132400 139996677495426 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4054] ppid=4034 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4054/stat : 4054 (java) S 4034 4034 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3944492 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139995400080096 139996677494485 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4055] ppid=4034 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4055/stat : 4055 (java) S 4034 4034 7102 0 -1 1077944384 767 0 0 0 10 11 0 0 20 0 28 0 3944492 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139994794552240 139996677495426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4056] ppid=4034 vsize=13801768 CPUtime=273.84 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4056/stat : 4056 (java) R 4034 4034 7102 0 -1 4202560 5233 0 0 0 27382 2 0 0 20 0 28 0 3945912 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139994787036616 139996297133435 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4057] ppid=4034 vsize=13801768 CPUtime=273.59 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4057/stat : 4057 (java) R 4034 4034 7102 0 -1 4202560 2780 0 0 0 27358 1 0 0 20 0 28 0 3945912 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139994785984968 139996297133669 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4058] ppid=4034 vsize=13801768 CPUtime=274.2 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4058/stat : 4058 (java) R 4034 4034 7102 0 -1 4202560 8622 0 0 0 27418 2 0 0 20 0 28 0 3945912 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139994784930880 139996296695766 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4059] ppid=4034 vsize=13801768 CPUtime=272.31 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4059/stat : 4059 (java) R 4034 4034 7102 0 -1 4202560 6458 0 0 0 27227 4 0 0 20 0 28 0 3945912 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139994783881664 139996290998949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4060] ppid=4034 vsize=13801768 CPUtime=272.81 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4060/stat : 4060 (java) R 4034 4034 7102 0 -1 4202560 4235 0 0 0 27278 3 0 0 20 0 28 0 3945912 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139994782826312 139996295382794 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4061] ppid=4034 vsize=13801768 CPUtime=273.82 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4061/stat : 4061 (java) R 4034 4034 7102 0 -1 4202560 7087 0 0 0 27381 1 0 0 20 0 28 0 3945912 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139994781773768 139996296709738 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4062] ppid=4034 vsize=13801768 CPUtime=273.79 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4062/stat : 4062 (java) R 4034 4034 7102 0 -1 4202560 3368 0 0 0 27378 1 0 0 20 0 28 0 3945912 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139994780721256 139996296682537 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
[pid=4035/tid=4063] ppid=4034 vsize=13801768 CPUtime=273.15 cores=1,3,5,7,9,11,13,15
/proc/4035/task/4063/stat : 4063 (java) R 4034 4034 7102 0 -1 4202560 4239 0 0 0 27312 3 0 0 20 0 28 0 3945912 14133010432 1193941 33554432000 4194304 4196468 140732674264256 139994779668760 139996296892816 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24928256 140732674270396 140732674270572 140732674270572 140732674273231 0
Current children cumulated CPU time (s) 2400.63
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 4034 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1504
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1970
# CPU time returned by wait4() is 0.003474
# while last known CPU time is 2400.63
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 307.713
CPU time (s): 2400.63
CPU user time (s): 2382.43
CPU system time (s): 18.2
CPU usage (%): 780.152
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001504
system time used= 0.00197
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516
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.77221 second user time and 4.43043 second system time
The end