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-4244859-1500684798/watcher-4244859-1500684798 -o /tmp/evaluation-result-4244859-1500684798/solver-4244859-1500684798 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1120652725 HOME/instance-4244859-1500684798.xml
pid=13157
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: 16.03 15.81 14.87 3/264 13160
/proc/meminfo: memFree=31984444/32770624 swapFree=5860/234484
[pid=13160] ppid=13157 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13160/stat : 13160 (xcsp3-exec) S 13157 13160 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3747194 9740288 346 33554432000 4194304 5098028 140736129630016 140736129628120 140347150971516 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21893120 140736129635470 140736129635680 140736129635680 140736129638379 0
/proc/13160/statm: 2378 346 289 221 0 87 0
[startup+0.100144 s]
/proc/loadavg: 16.03 15.81 14.87 3/264 13160
/proc/meminfo: memFree=31984444/32770624 swapFree=5860/234484
[pid=13160] ppid=13157 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13160/stat : 13160 (xcsp3-exec) S 13157 13160 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3747194 9740288 346 33554432000 4194304 5098028 140736129630016 140736129628120 140347150971516 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21893120 140736129635470 140736129635680 140736129635680 140736129638379 0
/proc/13160/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200277 s]
/proc/loadavg: 16.03 15.81 14.87 3/264 13160
/proc/meminfo: memFree=31984444/32770624 swapFree=5860/234484
[pid=13160] ppid=13157 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13160/stat : 13160 (xcsp3-exec) S 13157 13160 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3747194 9740288 346 33554432000 4194304 5098028 140736129630016 140736129628120 140347150971516 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21893120 140736129635470 140736129635680 140736129635680 140736129638379 0
/proc/13160/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300204 s]
/proc/loadavg: 16.03 15.81 14.87 3/264 13160
/proc/meminfo: memFree=31984444/32770624 swapFree=5860/234484
[pid=13160] ppid=13157 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13160/stat : 13160 (xcsp3-exec) S 13157 13160 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3747194 9740288 346 33554432000 4194304 5098028 140736129630016 140736129628120 140347150971516 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21893120 140736129635470 140736129635680 140736129635680 140736129638379 0
/proc/13160/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700191 s]
/proc/loadavg: 16.03 15.81 14.87 3/264 13160
/proc/meminfo: memFree=31984444/32770624 swapFree=5860/234484
[pid=13160] ppid=13157 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13160/stat : 13160 (xcsp3-exec) S 13157 13160 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3747194 9740288 346 33554432000 4194304 5098028 140736129630016 140736129628120 140347150971516 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21893120 140736129635470 140736129635680 140736129635680 140736129638379 0
/proc/13160/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50164 s]
/proc/loadavg: 15.30 15.66 14.83 24/300 13316
/proc/meminfo: memFree=31638704/32770624 swapFree=5860/234520
[pid=13160] ppid=13157 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13160/stat : 13160 (xcsp3-exec) S 13157 13160 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3747194 9740288 346 33554432000 4194304 5098028 140736129630016 140736129628120 140347150971516 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21893120 140736129635470 140736129635680 140736129635680 140736129638379 0
/proc/13160/statm: 2378 346 289 221 0 87 0
[pid=13161] ppid=13160 vsize=13802796 CPUtime=7.41 cores=1,3,5,7,9,11,13,15
/proc/13161/stat : 13161 (java) S 13160 13160 7411 0 -1 1077944320 18952 0 0 0 729 12 0 0 20 0 28 0 3747194 14134063104 49033 33554432000 4194304 4196468 140735768564544 140735768547088 139832844381943 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
/proc/13161/statm: 3450699 49033 3254 1 0 3437932 0
[pid=13161/tid=13162] ppid=13160 vsize=13802796 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13162/stat : 13162 (java) S 13160 13160 7411 0 -1 1077944384 6863 0 0 0 78 3 0 0 20 0 28 0 3747195 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832848622720 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13164] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13164/stat : 13164 (java) S 13160 13160 7411 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3747195 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832797002768 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13165] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13165/stat : 13165 (java) S 13160 13160 7411 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 3747195 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832795950224 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13166] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13166/stat : 13166 (java) S 13160 13160 7411 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3747196 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832794897168 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13167] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13167/stat : 13167 (java) S 13160 13160 7411 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 3747196 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832440847248 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13168] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13168/stat : 13168 (java) S 13160 13160 7411 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 3747196 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832439794192 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13169] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13169/stat : 13169 (java) S 13160 13160 7411 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 3747196 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832438741648 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13170] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13170/stat : 13170 (java) S 13160 13160 7411 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 28 0 3747196 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832437688592 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13171] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13171/stat : 13171 (java) S 13160 13160 7411 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 3747196 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832436636048 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13172] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13172/stat : 13172 (java) S 13160 13160 7411 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3747198 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832172391152 139832844393090 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13173] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13173/stat : 13173 (java) S 13160 13160 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3747199 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832171337376 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13174] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13174/stat : 13174 (java) S 13160 13160 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3747199 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832170284272 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13175] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13175/stat : 13175 (java) S 13160 13160 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3747203 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832169232848 139832844400539 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13176] ppid=13160 vsize=13802796 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13176/stat : 13176 (java) R 13160 13160 7411 0 -1 4202560 1935 0 0 0 79 0 0 0 20 0 28 0 3747203 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832168169552 139832829508344 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13177] ppid=13160 vsize=13802796 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13177/stat : 13177 (java) R 13160 13160 7411 0 -1 4202560 1747 0 0 0 75 0 0 0 20 0 28 0 3747203 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832167123776 139832828361823 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13178] ppid=13160 vsize=13802796 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13178/stat : 13178 (java) R 13160 13160 7411 0 -1 4202560 1852 0 0 0 89 0 0 0 20 0 28 0 3747203 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832166060752 139832825901576 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13179] ppid=13160 vsize=13802796 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13179/stat : 13179 (java) S 13160 13160 7411 0 -1 1077944384 3170 0 0 0 75 1 0 0 20 0 28 0 3747203 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832165021808 139832844393090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13180] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13180/stat : 13180 (java) S 13160 13160 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3747203 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832163970016 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13181] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13181/stat : 13181 (java) S 13160 13160 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3747203 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832162917552 139832844393090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13302] ppid=13160 vsize=13802796 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13302/stat : 13302 (java) R 13160 13160 7411 0 -1 4202560 25 0 0 0 35 0 0 0 20 0 28 0 3747294 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832146480856 139832482085653 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13303] ppid=13160 vsize=13802796 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13303/stat : 13303 (java) R 13160 13160 7411 0 -1 4202560 20 0 0 0 39 0 0 0 20 0 28 0 3747294 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832154902856 139832481313776 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13304] ppid=13160 vsize=13802796 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13304/stat : 13304 (java) R 13160 13160 7411 0 -1 4202560 19 0 0 0 30 0 0 0 20 0 28 0 3747294 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832151744360 139832481365705 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13305] ppid=13160 vsize=13802796 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13305/stat : 13305 (java) R 13160 13160 7411 0 -1 4202560 19 0 0 0 32 0 0 0 20 0 28 0 3747294 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832149639112 139832482013405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13306] ppid=13160 vsize=13802796 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13306/stat : 13306 (java) R 13160 13160 7411 0 -1 4202560 17 0 0 0 40 0 0 0 20 0 28 0 3747294 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832152796704 139832480970636 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13307] ppid=13160 vsize=13802796 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13307/stat : 13307 (java) R 13160 13160 7411 0 -1 4202560 18 0 0 0 34 0 0 0 20 0 28 0 3747294 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832147534360 139832481305287 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13308] ppid=13160 vsize=13802796 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13308/stat : 13308 (java) R 13160 13160 7411 0 -1 4202560 18 0 0 0 34 0 0 0 20 0 28 0 3747294 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832153850248 139832481379542 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13309] ppid=13160 vsize=13802796 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13309/stat : 13309 (java) R 13160 13160 7411 0 -1 4202560 17 0 0 0 27 0 0 0 20 0 28 0 3747294 14134063104 49033 33554432000 4194304 4196468 140735768564544 139832150691160 139832481314224 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 13812308
[startup+3.10159 s]
/proc/loadavg: 15.30 15.66 14.83 22/301 13349
/proc/meminfo: memFree=31556440/32770624 swapFree=5860/234520
[pid=13160] ppid=13157 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13160/stat : 13160 (xcsp3-exec) S 13157 13160 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3747194 9740288 346 33554432000 4194304 5098028 140736129630016 140736129628120 140347150971516 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21893120 140736129635470 140736129635680 140736129635680 140736129638379 0
/proc/13160/statm: 2378 346 289 221 0 87 0
[pid=13161] ppid=13160 vsize=13802796 CPUtime=20.1 cores=1,3,5,7,9,11,13,15
/proc/13161/stat : 13161 (java) S 13160 13160 7411 0 -1 1077944320 23683 0 0 0 1995 15 0 0 20 0 28 0 3747194 14134063104 57013 33554432000 4194304 4196468 140735768564544 140735768547088 139832844381943 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
/proc/13161/statm: 3450699 57013 3264 1 0 3437932 0
[pid=13161/tid=13162] ppid=13160 vsize=13802796 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13162/stat : 13162 (java) S 13160 13160 7411 0 -1 1077944384 6864 0 0 0 78 3 0 0 20 0 28 0 3747195 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832848622720 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13164] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13164/stat : 13164 (java) S 13160 13160 7411 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3747195 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832797002768 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13165] ppid=13160 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13165/stat : 13165 (java) S 13160 13160 7411 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 28 0 3747195 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832795950224 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13166] ppid=13160 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13166/stat : 13166 (java) S 13160 13160 7411 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 28 0 3747196 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832794897168 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13167] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13167/stat : 13167 (java) S 13160 13160 7411 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 3747196 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832440847248 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13168] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13168/stat : 13168 (java) S 13160 13160 7411 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 3747196 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832439794192 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13169] ppid=13160 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13169/stat : 13169 (java) S 13160 13160 7411 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 28 0 3747196 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832438741648 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13170] ppid=13160 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13170/stat : 13170 (java) S 13160 13160 7411 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 28 0 3747196 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832437688592 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13171] ppid=13160 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13171/stat : 13171 (java) S 13160 13160 7411 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 3747196 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832436636048 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13172] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13172/stat : 13172 (java) S 13160 13160 7411 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3747198 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832172391152 139832844393090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13173] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13173/stat : 13173 (java) S 13160 13160 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3747199 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832171337376 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13174] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13174/stat : 13174 (java) S 13160 13160 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3747199 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832170284272 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13175] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13175/stat : 13175 (java) S 13160 13160 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3747203 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832169232848 139832844400539 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13176] ppid=13160 vsize=13802796 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13176/stat : 13176 (java) S 13160 13160 7411 0 -1 1077944384 2021 0 0 0 154 0 0 0 20 0 28 0 3747203 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832168179952 139832844393090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13177] ppid=13160 vsize=13802796 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13177/stat : 13177 (java) S 13160 13160 7411 0 -1 1077944384 5017 0 0 0 154 1 0 0 20 0 28 0 3747203 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832167127408 139832844393090 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13178] ppid=13160 vsize=13802796 CPUtime=1.83 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13178/stat : 13178 (java) S 13160 13160 7411 0 -1 1077944384 2647 0 0 0 182 1 0 0 20 0 28 0 3747203 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832166074352 139832844393090 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13179] ppid=13160 vsize=13802796 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13179/stat : 13179 (java) S 13160 13160 7411 0 -1 1077944384 3565 0 0 0 84 1 0 0 20 0 28 0 3747203 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832165021808 139832844393090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13180] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13180/stat : 13180 (java) S 13160 13160 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3747203 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832163970016 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13181] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13181/stat : 13181 (java) S 13160 13160 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3747203 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832162917552 139832844393090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13342] ppid=13160 vsize=13802796 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13342/stat : 13342 (java) R 13160 13160 7411 0 -1 4202560 18 0 0 0 90 0 0 0 20 0 28 0 3747401 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832147533512 139832481314318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13343] ppid=13160 vsize=13802796 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13343/stat : 13343 (java) R 13160 13160 7411 0 -1 4202560 17 0 0 0 78 0 0 0 20 0 28 0 3747401 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832152798280 139832829592397 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13344] ppid=13160 vsize=13802796 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13344/stat : 13344 (java) R 13160 13160 7411 0 -1 4202560 18 0 0 0 99 0 0 0 20 0 28 0 3747401 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832149639736 139832476130059 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13345] ppid=13160 vsize=13802796 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13345/stat : 13345 (java) R 13160 13160 7411 0 -1 4202560 18 0 0 0 80 0 0 0 20 0 28 0 3747401 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832154903904 139832476130054 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13346] ppid=13160 vsize=13802796 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13346/stat : 13346 (java) R 13160 13160 7411 0 -1 4202560 19 0 0 0 84 0 0 0 20 0 28 0 3747401 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832146481464 139832481168544 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13347] ppid=13160 vsize=13802796 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13347/stat : 13347 (java) R 13160 13160 7411 0 -1 4202560 20 0 0 0 99 0 0 0 20 0 28 0 3747401 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832151746808 139832482081342 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13348] ppid=13160 vsize=13802796 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13348/stat : 13348 (java) R 13160 13160 7411 0 -1 4202560 17 0 0 0 82 0 0 0 20 0 28 0 3747401 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832150692920 139832482080027 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13349] ppid=13160 vsize=13802796 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13349/stat : 13349 (java) R 13160 13160 7411 0 -1 4202560 17 0 0 0 85 0 0 0 20 0 28 0 3747402 14134063104 57013 33554432000 4194304 4196468 140735768564544 139832153850200 139832480957494 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
Current children cumulated CPU time (s) 20.1
Current children cumulated vsize (KiB) 13812308
[startup+6.3017 s]
/proc/loadavg: 15.30 15.66 14.83 17/301 13365
/proc/meminfo: memFree=31259396/32770624 swapFree=5860/234532
################
# More data... #
################
[pid=13161/tid=13364] ppid=13160 vsize=13802796 CPUtime=274.13 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13364/stat : 13364 (java) R 13160 13160 7411 0 -1 4202560 3923 0 0 0 27401 12 0 0 20 0 28 0 3747589 14134063104 661225 33554432000 4194304 4196468 140735768564544 139832146481784 139832829623121 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13365] ppid=13160 vsize=13802796 CPUtime=273.94 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13365/stat : 13365 (java) R 13160 13160 7411 0 -1 4202560 2557 0 0 0 27390 4 0 0 20 0 28 0 3747589 14134063104 661225 33554432000 4194304 4196468 140735768564544 139832147535096 139832482308239 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
Current children cumulated CPU time (s) 2233.42
Current children cumulated vsize (KiB) 13812308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.302 s]
/proc/loadavg: 16.04 15.84 15.13 17/299 13380
/proc/meminfo: memFree=27209956/32770624 swapFree=5860/234804
[pid=13160] ppid=13157 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13160/stat : 13160 (xcsp3-exec) S 13157 13160 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3747194 9740288 346 33554432000 4194304 5098028 140736129630016 140736129628120 140347150971516 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21893120 140736129635470 140736129635680 140736129635680 140736129638379 0
/proc/13160/statm: 2378 346 289 221 0 87 0
[pid=13161] ppid=13160 vsize=13802796 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/13161/stat : 13161 (java) S 13160 13160 7411 0 -1 1077944320 97700 0 0 0 239538 471 0 0 20 0 28 0 3747194 14134063104 667204 33554432000 4194304 4196468 140735768564544 140735768547088 139832844381943 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
/proc/13161/statm: 3450699 667204 3294 1 0 3437932 0
[pid=13161/tid=13162] ppid=13160 vsize=13802796 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13162/stat : 13162 (java) S 13160 13160 7411 0 -1 1077944384 6866 0 0 0 78 3 0 0 20 0 28 0 3747195 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832848622720 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13164] ppid=13160 vsize=13802796 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13164/stat : 13164 (java) S 13160 13160 7411 0 -1 1077944384 2658 0 0 0 149 43 0 0 20 0 28 0 3747195 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832797002768 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13165] ppid=13160 vsize=13802796 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13165/stat : 13165 (java) S 13160 13160 7411 0 -1 1077944384 2005 0 0 0 145 40 0 0 20 0 28 0 3747195 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832795950224 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13166] ppid=13160 vsize=13802796 CPUtime=1.84 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13166/stat : 13166 (java) S 13160 13160 7411 0 -1 1077944384 1700 0 0 0 144 40 0 0 20 0 28 0 3747196 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832794897168 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13167] ppid=13160 vsize=13802796 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13167/stat : 13167 (java) S 13160 13160 7411 0 -1 1077944384 2468 0 0 0 148 46 0 0 20 0 28 0 3747196 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832440847248 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13168] ppid=13160 vsize=13802796 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13168/stat : 13168 (java) S 13160 13160 7411 0 -1 1077944384 2552 0 0 0 147 42 0 0 20 0 28 0 3747196 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832439794192 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13169] ppid=13160 vsize=13802796 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13169/stat : 13169 (java) S 13160 13160 7411 0 -1 1077944384 2279 0 0 0 152 42 0 0 20 0 28 0 3747196 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832438741648 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13170] ppid=13160 vsize=13802796 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13170/stat : 13170 (java) S 13160 13160 7411 0 -1 1077944384 2733 0 0 0 149 43 0 0 20 0 28 0 3747196 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832437688592 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13171] ppid=13160 vsize=13802796 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13171/stat : 13171 (java) S 13160 13160 7411 0 -1 1077944384 1768 0 0 0 150 44 0 0 20 0 28 0 3747196 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832436636048 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13172] ppid=13160 vsize=13802796 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13172/stat : 13172 (java) S 13160 13160 7411 0 -1 1077944384 8695 0 0 0 45 46 0 0 20 0 28 0 3747198 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832172391152 139832844393090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13173] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13173/stat : 13173 (java) S 13160 13160 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3747199 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832171337376 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13174] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13174/stat : 13174 (java) S 13160 13160 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3747199 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832170284272 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13175] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13175/stat : 13175 (java) S 13160 13160 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3747203 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832169232848 139832844400539 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13176] ppid=13160 vsize=13802796 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13176/stat : 13176 (java) S 13160 13160 7411 0 -1 1077944384 5039 0 0 0 195 1 0 0 20 0 28 0 3747203 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832168179952 139832844393090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13177] ppid=13160 vsize=13802796 CPUtime=1.95 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13177/stat : 13177 (java) S 13160 13160 7411 0 -1 1077944384 8092 0 0 0 194 1 0 0 20 0 28 0 3747203 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832167127408 139832844393090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13178] ppid=13160 vsize=13802796 CPUtime=2.45 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13178/stat : 13178 (java) S 13160 13160 7411 0 -1 1077944384 9438 0 0 0 243 2 0 0 20 0 28 0 3747203 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832166074352 139832844393090 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13179] ppid=13160 vsize=13802796 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13179/stat : 13179 (java) S 13160 13160 7411 0 -1 1077944384 7789 0 0 0 88 2 0 0 20 0 28 0 3747203 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832165021808 139832844393090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13180] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13180/stat : 13180 (java) S 13160 13160 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3747203 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832163970016 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13181] ppid=13160 vsize=13802796 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13181/stat : 13181 (java) S 13160 13160 7411 0 -1 1077944384 1354 0 0 0 7 8 0 0 20 0 28 0 3747203 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832162917552 139832844393090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13358] ppid=13160 vsize=13802796 CPUtime=294.4 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13358/stat : 13358 (java) R 13160 13160 7411 0 -1 4202560 3200 0 0 0 29431 9 0 0 20 0 28 0 3747589 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832154904432 139832481472640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13359] ppid=13160 vsize=13802796 CPUtime=294.76 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13359/stat : 13359 (java) R 13160 13160 7411 0 -1 4202560 5048 0 0 0 29464 12 0 0 20 0 28 0 3747589 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832150692056 139832482081362 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13360] ppid=13160 vsize=13802796 CPUtime=294.9 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13360/stat : 13360 (java) R 13160 13160 7411 0 -1 4202560 2749 0 0 0 29483 7 0 0 20 0 28 0 3747589 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832152796880 139832482954583 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13361] ppid=13160 vsize=13802796 CPUtime=293.66 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13361/stat : 13361 (java) R 13160 13160 7411 0 -1 4202560 5009 0 0 0 29361 5 0 0 20 0 28 0 3747589 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832153850472 139832481313437 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13362] ppid=13160 vsize=13802796 CPUtime=294.71 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13362/stat : 13362 (java) R 13160 13160 7411 0 -1 4202560 4872 0 0 0 29465 6 0 0 20 0 28 0 3747589 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832148586232 139832482954107 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13363] ppid=13160 vsize=13802796 CPUtime=294.35 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13363/stat : 13363 (java) R 13160 13160 7411 0 -1 4202560 1221 0 0 0 29431 4 0 0 20 0 28 0 3747589 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832149638872 139832482830535 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13364] ppid=13160 vsize=13802796 CPUtime=294.64 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13364/stat : 13364 (java) R 13160 13160 7411 0 -1 4202560 3977 0 0 0 29452 12 0 0 20 0 28 0 3747589 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832146482152 139832482084854 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13365] ppid=13160 vsize=13802796 CPUtime=294.3 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13365/stat : 13365 (java) R 13160 13160 7411 0 -1 4202560 2562 0 0 0 29426 4 0 0 20 0 28 0 3747589 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832147534536 139832483868641 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 13812308
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 13161 sig 9
??? kill 13160 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+303.302 s]
/proc/loadavg: 16.04 15.84 15.13 17/299 13380
/proc/meminfo: memFree=27209956/32770624 swapFree=5860/234804
[pid=13160] ppid=13157 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13160/stat : 13160 (xcsp3-exec) S 13157 13160 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3747194 9740288 346 33554432000 4194304 5098028 140736129630016 140736129628120 140347150971516 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 21893120 140736129635470 140736129635680 140736129635680 140736129638379 0
/proc/13160/statm: 2378 346 289 221 0 87 0
[pid=13161] ppid=13160 vsize=13802796 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/13161/stat : 13161 (java) S 13160 13160 7411 0 -1 1077944320 97700 0 0 0 239538 471 0 0 20 0 28 0 3747194 14134063104 667204 33554432000 4194304 4196468 140735768564544 140735768547088 139832844381943 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
/proc/13161/statm: 3450699 667204 3294 1 0 3437932 0
[pid=13161/tid=13162] ppid=13160 vsize=13802796 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13162/stat : 13162 (java) S 13160 13160 7411 0 -1 1077944384 6866 0 0 0 78 3 0 0 20 0 28 0 3747195 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832848622720 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13164] ppid=13160 vsize=13802796 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13164/stat : 13164 (java) S 13160 13160 7411 0 -1 1077944384 2658 0 0 0 149 43 0 0 20 0 28 0 3747195 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832797002768 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13165] ppid=13160 vsize=13802796 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13165/stat : 13165 (java) S 13160 13160 7411 0 -1 1077944384 2005 0 0 0 145 40 0 0 20 0 28 0 3747195 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832795950224 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13166] ppid=13160 vsize=13802796 CPUtime=1.84 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13166/stat : 13166 (java) S 13160 13160 7411 0 -1 1077944384 1700 0 0 0 144 40 0 0 20 0 28 0 3747196 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832794897168 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13167] ppid=13160 vsize=13802796 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13167/stat : 13167 (java) S 13160 13160 7411 0 -1 1077944384 2468 0 0 0 148 46 0 0 20 0 28 0 3747196 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832440847248 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13168] ppid=13160 vsize=13802796 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13168/stat : 13168 (java) S 13160 13160 7411 0 -1 1077944384 2552 0 0 0 147 42 0 0 20 0 28 0 3747196 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832439794192 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13169] ppid=13160 vsize=13802796 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13169/stat : 13169 (java) S 13160 13160 7411 0 -1 1077944384 2279 0 0 0 152 42 0 0 20 0 28 0 3747196 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832438741648 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13170] ppid=13160 vsize=13802796 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13170/stat : 13170 (java) S 13160 13160 7411 0 -1 1077944384 2733 0 0 0 149 43 0 0 20 0 28 0 3747196 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832437688592 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13171] ppid=13160 vsize=13802796 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13171/stat : 13171 (java) S 13160 13160 7411 0 -1 1077944384 1768 0 0 0 150 44 0 0 20 0 28 0 3747196 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832436636048 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13172] ppid=13160 vsize=13802796 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13172/stat : 13172 (java) S 13160 13160 7411 0 -1 1077944384 8695 0 0 0 45 46 0 0 20 0 28 0 3747198 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832172391152 139832844393090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13173] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13173/stat : 13173 (java) S 13160 13160 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3747199 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832171337376 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13174] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13174/stat : 13174 (java) S 13160 13160 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3747199 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832170284272 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13175] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13175/stat : 13175 (java) S 13160 13160 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3747203 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832169232848 139832844400539 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13176] ppid=13160 vsize=13802796 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13176/stat : 13176 (java) S 13160 13160 7411 0 -1 1077944384 5039 0 0 0 195 1 0 0 20 0 28 0 3747203 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832168179952 139832844393090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13177] ppid=13160 vsize=13802796 CPUtime=1.95 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13177/stat : 13177 (java) S 13160 13160 7411 0 -1 1077944384 8092 0 0 0 194 1 0 0 20 0 28 0 3747203 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832167127408 139832844393090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13178] ppid=13160 vsize=13802796 CPUtime=2.45 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13178/stat : 13178 (java) S 13160 13160 7411 0 -1 1077944384 9438 0 0 0 243 2 0 0 20 0 28 0 3747203 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832166074352 139832844393090 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13179] ppid=13160 vsize=13802796 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13179/stat : 13179 (java) S 13160 13160 7411 0 -1 1077944384 7789 0 0 0 88 2 0 0 20 0 28 0 3747203 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832165021808 139832844393090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13180] ppid=13160 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13180/stat : 13180 (java) S 13160 13160 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3747203 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832163970016 139832844392149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13181] ppid=13160 vsize=13802796 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13181/stat : 13181 (java) S 13160 13160 7411 0 -1 1077944384 1354 0 0 0 7 8 0 0 20 0 28 0 3747203 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832162917552 139832844393090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13358] ppid=13160 vsize=13802796 CPUtime=294.4 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13358/stat : 13358 (java) R 13160 13160 7411 0 -1 4202560 3200 0 0 0 29431 9 0 0 20 0 28 0 3747589 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832154904432 139832481472640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13359] ppid=13160 vsize=13802796 CPUtime=294.76 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13359/stat : 13359 (java) R 13160 13160 7411 0 -1 4202560 5048 0 0 0 29464 12 0 0 20 0 28 0 3747589 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832150692056 139832482081362 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13360] ppid=13160 vsize=13802796 CPUtime=294.9 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13360/stat : 13360 (java) R 13160 13160 7411 0 -1 4202560 2749 0 0 0 29483 7 0 0 20 0 28 0 3747589 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832152796880 139832482954583 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13361] ppid=13160 vsize=13802796 CPUtime=293.66 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13361/stat : 13361 (java) R 13160 13160 7411 0 -1 4202560 5009 0 0 0 29361 5 0 0 20 0 28 0 3747589 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832153850472 139832481313437 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13362] ppid=13160 vsize=13802796 CPUtime=294.71 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13362/stat : 13362 (java) R 13160 13160 7411 0 -1 4202560 4872 0 0 0 29465 6 0 0 20 0 28 0 3747589 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832148586232 139832482954107 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13363] ppid=13160 vsize=13802796 CPUtime=294.35 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13363/stat : 13363 (java) R 13160 13160 7411 0 -1 4202560 1221 0 0 0 29431 4 0 0 20 0 28 0 3747589 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832149638872 139832482830535 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13364] ppid=13160 vsize=13802796 CPUtime=294.64 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13364/stat : 13364 (java) R 13160 13160 7411 0 -1 4202560 3977 0 0 0 29452 12 0 0 20 0 28 0 3747589 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832146482152 139832482084854 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
[pid=13161/tid=13365] ppid=13160 vsize=13802796 CPUtime=294.3 cores=1,3,5,7,9,11,13,15
/proc/13161/task/13365/stat : 13365 (java) R 13160 13160 7411 0 -1 4202560 2562 0 0 0 29426 4 0 0 20 0 28 0 3747589 14134063104 667204 33554432000 4194304 4196468 140735768564544 139832147534536 139832483868641 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35713024 140735768573116 140735768573292 140735768573292 140735768575951 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 13812308
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13160 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1438
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1438
# CPU time returned by wait4() is 0.002876
# while last known CPU time is 2400.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.312
CPU time (s): 2400.09
CPU user time (s): 2395.38
CPU system time (s): 4.71
CPU usage (%): 791.293
Max. virtual memory (cumulated for all children) (KiB): 13814572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001438
system time used= 0.001438
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.134 second user time and 4.60983 second system time
The end