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-4247883-1500691187/watcher-4247883-1500691187 -o /tmp/evaluation-result-4247883-1500691187/solver-4247883-1500691187 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7801 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 753622985 HOME/instance-4247883-1500691187.xml
pid=26355
running on 8 cores: 0,2,4,6,8,10,12,14
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.08 15.67 14.36 10/270 26358
/proc/meminfo: memFree=30591332/32770624 swapFree=5860/281848
[pid=26358] ppid=26355 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26358/stat : 26358 (xcsp3-exec) S 26355 26358 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4386155 9740288 346 33554432000 4194304 5098028 140724830000768 140724829998872 140423530553980 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34177024 140724830004367 140724830004576 140724830004576 140724830007275 0
/proc/26358/statm: 2378 346 289 221 0 87 0
[startup+0.10014 s]
/proc/loadavg: 16.08 15.67 14.36 10/270 26358
/proc/meminfo: memFree=30591332/32770624 swapFree=5860/281848
[pid=26358] ppid=26355 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26358/stat : 26358 (xcsp3-exec) S 26355 26358 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4386155 9740288 346 33554432000 4194304 5098028 140724830000768 140724829998872 140423530553980 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34177024 140724830004367 140724830004576 140724830004576 140724830007275 0
/proc/26358/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200317 s]
/proc/loadavg: 16.08 15.67 14.36 10/270 26358
/proc/meminfo: memFree=30591332/32770624 swapFree=5860/281848
[pid=26358] ppid=26355 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26358/stat : 26358 (xcsp3-exec) S 26355 26358 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4386155 9740288 346 33554432000 4194304 5098028 140724830000768 140724829998872 140423530553980 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34177024 140724830004367 140724830004576 140724830004576 140724830007275 0
/proc/26358/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300327 s]
/proc/loadavg: 16.08 15.67 14.36 10/270 26358
/proc/meminfo: memFree=30591332/32770624 swapFree=5860/281848
[pid=26358] ppid=26355 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26358/stat : 26358 (xcsp3-exec) S 26355 26358 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4386155 9740288 346 33554432000 4194304 5098028 140724830000768 140724829998872 140423530553980 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34177024 140724830004367 140724830004576 140724830004576 140724830007275 0
/proc/26358/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700196 s]
/proc/loadavg: 16.08 15.67 14.36 10/270 26358
/proc/meminfo: memFree=30591332/32770624 swapFree=5860/281848
[pid=26358] ppid=26355 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26358/stat : 26358 (xcsp3-exec) S 26355 26358 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4386155 9740288 346 33554432000 4194304 5098028 140724830000768 140724829998872 140423530553980 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34177024 140724830004367 140724830004576 140724830004576 140724830007275 0
/proc/26358/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50125 s]
/proc/loadavg: 16.08 15.67 14.36 11/291 26379
/proc/meminfo: memFree=30488136/32770624 swapFree=5860/282200
[pid=26358] ppid=26355 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26358/stat : 26358 (xcsp3-exec) S 26355 26358 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4386155 9740288 346 33554432000 4194304 5098028 140724830000768 140724829998872 140423530553980 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34177024 140724830004367 140724830004576 140724830004576 140724830007275 0
/proc/26358/statm: 2378 346 289 221 0 87 0
[pid=26359] ppid=26358 vsize=13269256 CPUtime=4.99 cores=0,2,4,6,8,10,12,14
/proc/26359/stat : 26359 (java) S 26358 26358 7411 0 -1 1077944320 21499 0 0 0 491 8 0 0 20 0 20 0 4386155 13587718144 39555 33554432000 4194304 4196468 140721465257840 140721465240384 140553607237367 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
/proc/26359/statm: 3317314 39555 3221 1 0 3304547 0
[pid=26359/tid=26360] ppid=26358 vsize=13269256 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26360/stat : 26360 (java) R 26358 26358 7411 0 -1 4202560 7349 0 0 0 143 4 0 0 20 0 20 0 4386155 13587718144 39555 33554432000 4194304 4196468 140721465257840 140553611470408 140553229468012 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26362] ppid=26358 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26362/stat : 26362 (java) S 26358 26358 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4386156 13587718144 39555 33554432000 4194304 4196468 140721465257840 140553546201360 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26363] ppid=26358 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26363/stat : 26363 (java) S 26358 26358 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4386156 13587718144 39555 33554432000 4194304 4196468 140721465257840 140553545148816 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26364] ppid=26358 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26364/stat : 26364 (java) S 26358 26358 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4386156 13587718144 39555 33554432000 4194304 4196468 140721465257840 140553544096272 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26365] ppid=26358 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26365/stat : 26365 (java) S 26358 26358 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4386156 13587718144 39555 33554432000 4194304 4196468 140721465257840 140553203702416 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26366] ppid=26358 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26366/stat : 26366 (java) S 26358 26358 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4386156 13587718144 39555 33554432000 4194304 4196468 140721465257840 140553202649872 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26367] ppid=26358 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26367/stat : 26367 (java) S 26358 26358 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4386156 13587718144 39555 33554432000 4194304 4196468 140721465257840 140553201597328 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26368] ppid=26358 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26368/stat : 26368 (java) S 26358 26358 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4386156 13587718144 39555 33554432000 4194304 4196468 140721465257840 140553200544784 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26369] ppid=26358 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26369/stat : 26369 (java) S 26358 26358 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4386156 13587718144 39555 33554432000 4194304 4196468 140721465257840 140553199492240 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26370] ppid=26358 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26370/stat : 26370 (java) S 26358 26358 7411 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4386158 13587718144 39555 33554432000 4194304 4196468 140721465257840 140552338647024 140553607248514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26371] ppid=26358 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26371/stat : 26371 (java) S 26358 26358 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4386159 13587718144 39555 33554432000 4194304 4196468 140721465257840 140552337593248 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26372] ppid=26358 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26372/stat : 26372 (java) S 26358 26358 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4386159 13587718144 39555 33554432000 4194304 4196468 140721465257840 140552336540656 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26373] ppid=26358 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26373/stat : 26373 (java) S 26358 26358 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4386163 13587718144 39555 33554432000 4194304 4196468 140721465257840 140552133667024 140553607255963 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26374] ppid=26358 vsize=13269256 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26374/stat : 26374 (java) S 26358 26358 7411 0 -1 1077944384 3283 0 0 0 92 0 0 0 20 0 20 0 4386163 13587718144 39555 33554432000 4194304 4196468 140721465257840 140552132614640 140553607248514 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26375] ppid=26358 vsize=13269256 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26375/stat : 26375 (java) S 26358 26358 7411 0 -1 1077944384 2874 0 0 0 94 0 0 0 20 0 20 0 4386163 13587718144 39555 33554432000 4194304 4196468 140721465257840 140552131562096 140553607248514 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26376] ppid=26358 vsize=13269256 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26376/stat : 26376 (java) R 26358 26358 7411 0 -1 4202560 3349 0 0 0 96 0 0 0 20 0 20 0 4386163 13587718144 39555 33554432000 4194304 4196468 140721465257840 140552130509848 140553588755266 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26377] ppid=26358 vsize=13269256 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26377/stat : 26377 (java) S 26358 26358 7411 0 -1 1077944384 3309 0 0 0 64 1 0 0 20 0 20 0 4386163 13587718144 39555 33554432000 4194304 4196468 140721465257840 140552129457008 140553607248514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26378] ppid=26358 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26378/stat : 26378 (java) S 26358 26358 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4386163 13587718144 39555 33554432000 4194304 4196468 140721465257840 140552128403680 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26379] ppid=26358 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26379/stat : 26379 (java) S 26358 26358 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4386164 13587718144 39555 33554432000 4194304 4196468 140721465257840 140552127351216 140553607248514 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 13278768
[startup+3.10067 s]
/proc/loadavg: 16.08 15.67 14.36 10/291 26379
/proc/meminfo: memFree=30392248/32770624 swapFree=5860/282200
[pid=26358] ppid=26355 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26358/stat : 26358 (xcsp3-exec) S 26355 26358 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4386155 9740288 346 33554432000 4194304 5098028 140724830000768 140724829998872 140423530553980 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34177024 140724830004367 140724830004576 140724830004576 140724830007275 0
/proc/26358/statm: 2378 346 289 221 0 87 0
[pid=26359] ppid=26358 vsize=13269256 CPUtime=8.9 cores=0,2,4,6,8,10,12,14
/proc/26359/stat : 26359 (java) S 26358 26358 7411 0 -1 1077944320 26359 0 0 0 865 25 0 0 20 0 20 0 4386155 13587718144 59267 33554432000 4194304 4196468 140721465257840 140721465240384 140553607237367 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
/proc/26359/statm: 3317314 59267 3253 1 0 3304547 0
[pid=26359/tid=26360] ppid=26358 vsize=13269256 CPUtime=3.02 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26360/stat : 26360 (java) R 26358 26358 7411 0 -1 4202560 8876 0 0 0 297 5 0 0 20 0 20 0 4386155 13587718144 59267 33554432000 4194304 4196468 140721465257840 140553611473824 140553607259293 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26362] ppid=26358 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26362/stat : 26362 (java) S 26358 26358 7411 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 20 0 4386156 13587718144 59267 33554432000 4194304 4196468 140721465257840 140553546201360 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26363] ppid=26358 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26363/stat : 26363 (java) S 26358 26358 7411 0 -1 1077944384 45 0 0 0 1 1 0 0 20 0 20 0 4386156 13587718144 59267 33554432000 4194304 4196468 140721465257840 140553545148816 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26364] ppid=26358 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26364/stat : 26364 (java) S 26358 26358 7411 0 -1 1077944384 60 0 0 0 2 2 0 0 20 0 20 0 4386156 13587718144 59267 33554432000 4194304 4196468 140721465257840 140553544096272 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26365] ppid=26358 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26365/stat : 26365 (java) S 26358 26358 7411 0 -1 1077944384 457 0 0 0 1 2 0 0 20 0 20 0 4386156 13587718144 59267 33554432000 4194304 4196468 140721465257840 140553203702416 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26366] ppid=26358 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26366/stat : 26366 (java) S 26358 26358 7411 0 -1 1077944384 87 0 0 0 1 2 0 0 20 0 20 0 4386156 13587718144 59267 33554432000 4194304 4196468 140721465257840 140553202649872 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26367] ppid=26358 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26367/stat : 26367 (java) S 26358 26358 7411 0 -1 1077944384 47 0 0 0 1 1 0 0 20 0 20 0 4386156 13587718144 59267 33554432000 4194304 4196468 140721465257840 140553201597328 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26368] ppid=26358 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26368/stat : 26368 (java) S 26358 26358 7411 0 -1 1077944384 116 0 0 0 1 2 0 0 20 0 20 0 4386156 13587718144 59267 33554432000 4194304 4196468 140721465257840 140553200544784 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26369] ppid=26358 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26369/stat : 26369 (java) S 26358 26358 7411 0 -1 1077944384 54 0 0 0 1 1 0 0 20 0 20 0 4386156 13587718144 59267 33554432000 4194304 4196468 140721465257840 140553199492240 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26370] ppid=26358 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26370/stat : 26370 (java) S 26358 26358 7411 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 20 0 4386158 13587718144 59267 33554432000 4194304 4196468 140721465257840 140552338647024 140553607248514 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26371] ppid=26358 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26371/stat : 26371 (java) S 26358 26358 7411 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4386159 13587718144 59267 33554432000 4194304 4196468 140721465257840 140552337593312 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26372] ppid=26358 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26372/stat : 26372 (java) S 26358 26358 7411 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4386159 13587718144 59267 33554432000 4194304 4196468 140721465257840 140552336540672 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26373] ppid=26358 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26373/stat : 26373 (java) S 26358 26358 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4386163 13587718144 59267 33554432000 4194304 4196468 140721465257840 140552133667024 140553607255963 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26374] ppid=26358 vsize=13269256 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26374/stat : 26374 (java) R 26358 26358 7411 0 -1 4202560 3981 0 0 0 153 1 0 0 20 0 20 0 4386163 13587718144 59267 33554432000 4194304 4196468 140721465257840 140552132614936 140553590735954 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26375] ppid=26358 vsize=13269256 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26375/stat : 26375 (java) R 26358 26358 7411 0 -1 4202560 3380 0 0 0 160 1 0 0 20 0 20 0 4386163 13587718144 59267 33554432000 4194304 4196468 140721465257840 140552131562096 140553593251665 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26376] ppid=26358 vsize=13269256 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26376/stat : 26376 (java) S 26358 26358 7411 0 -1 1077944384 3892 0 0 0 165 0 0 0 20 0 20 0 4386163 13587718144 59267 33554432000 4194304 4196468 140721465257840 140552130509552 140553607248514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26377] ppid=26358 vsize=13269256 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26377/stat : 26377 (java) S 26358 26358 7411 0 -1 1077944384 3764 0 0 0 73 1 0 0 20 0 20 0 4386163 13587718144 59267 33554432000 4194304 4196468 140721465257840 140552129457008 140553607248514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26378] ppid=26358 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26378/stat : 26378 (java) S 26358 26358 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4386163 13587718144 59267 33554432000 4194304 4196468 140721465257840 140552128403680 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26379] ppid=26358 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26379/stat : 26379 (java) S 26358 26358 7411 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 4386164 13587718144 59267 33554432000 4194304 4196468 140721465257840 140552127351216 140553607248514 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
Current children cumulated CPU time (s) 8.9
Current children cumulated vsize (KiB) 13278768
[startup+6.30154 s]
/proc/loadavg: 15.52 15.56 14.33 20/299 26387
/proc/meminfo: memFree=30337656/32770624 swapFree=5860/282212
[pid=26358] ppid=26355 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26358/stat : 26358 (xcsp3-exec) S 26355 26358 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4386155 9740288 346 33554432000 4194304 5098028 140724830000768 140724829998872 140423530553980 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34177024 140724830004367 140724830004576 140724830004576 140724830007275 0
/proc/26358/statm: 2378 346 289 221 0 87 0
[pid=26359] ppid=26358 vsize=13801768 CPUtime=32.31 cores=0,2,4,6,8,10,12,14
/proc/26359/stat : 26359 (java) S 26358 26358 7411 0 -1 1077944320 35131 0 0 0 3202 29 0 0 20 0 28 0 4386155 14133010432 66540 33554432000 4194304 4196468 140721465257840 140721465240384 140553607237367 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
/proc/26359/statm: 3450442 66540 3283 1 0 3437675 0
[pid=26359/tid=26360] ppid=26358 vsize=13801768 CPUtime=3.32 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26360/stat : 26360 (java) S 26358 26358 7411 0 -1 1077944384 9246 0 0 0 327 5 0 0 20 0 28 0 4386155 14133010432 66540 33554432000 4194304 4196468 140721465257840 140553611478144 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26362] ppid=26358 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26362/stat : 26362 (java) S 26358 26358 7411 0 -1 1077944384 39 0 0 0 1 1 0 0 20 0 28 0 4386156 14133010432 66540 33554432000 4194304 4196468 140721465257840 140553546201360 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26363] ppid=26358 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26363/stat : 26363 (java) S 26358 26358 7411 0 -1 1077944384 45 0 0 0 1 1 0 0 20 0 28 0 4386156 14133010432 66540 33554432000 4194304 4196468 140721465257840 140553545148816 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26364] ppid=26358 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26364/stat : 26364 (java) S 26358 26358 7411 0 -1 1077944384 60 0 0 0 2 2 0 0 20 0 28 0 4386156 14133010432 66540 33554432000 4194304 4196468 140721465257840 140553544096272 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26365] ppid=26358 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26365/stat : 26365 (java) S 26358 26358 7411 0 -1 1077944384 457 0 0 0 1 2 0 0 20 0 28 0 4386156 14133010432 66540 33554432000 4194304 4196468 140721465257840 140553203702416 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26366] ppid=26358 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26366/stat : 26366 (java) S 26358 26358 7411 0 -1 1077944384 87 0 0 0 1 2 0 0 20 0 28 0 4386156 14133010432 66540 33554432000 4194304 4196468 140721465257840 140553202649872 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26367] ppid=26358 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26367/stat : 26367 (java) S 26358 26358 7411 0 -1 1077944384 47 0 0 0 1 1 0 0 20 0 28 0 4386156 14133010432 66540 33554432000 4194304 4196468 140721465257840 140553201597328 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26368] ppid=26358 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26368/stat : 26368 (java) S 26358 26358 7411 0 -1 1077944384 116 0 0 0 1 2 0 0 20 0 28 0 4386156 14133010432 66540 33554432000 4194304 4196468 140721465257840 140553200544784 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26369] ppid=26358 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26369/stat : 26369 (java) S 26358 26358 7411 0 -1 1077944384 54 0 0 0 1 1 0 0 20 0 28 0 4386156 14133010432 66540 33554432000 4194304 4196468 140721465257840 140553199492240 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26370] ppid=26358 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26370/stat : 26370 (java) S 26358 26358 7411 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 28 0 4386158 14133010432 66540 33554432000 4194304 4196468 140721465257840 140552338647024 140553607248514 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26371] ppid=26358 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26371/stat : 26371 (java) S 26358 26358 7411 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4386159 14133010432 66540 33554432000 4194304 4196468 140721465257840 140552337593312 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26372] ppid=26358 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26372/stat : 26372 (java) S 26358 26358 7411 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4386159 14133010432 66540 33554432000 4194304 4196468 140721465257840 140552336540672 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26373] ppid=26358 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26373/stat : 26373 (java) S 26358 26358 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4386163 14133010432 66540 33554432000 4194304 4196468 140721465257840 140552133667024 140553607255963 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
################
# More data... #
################
[pid=26359/tid=26386] ppid=26358 vsize=13801768 CPUtime=275.25 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26386/stat : 26386 (java) R 26358 26358 7411 0 -1 4202560 738 0 0 0 27524 1 0 0 20 0 28 0 4386494 14133010432 81067 33554432000 4194304 4196468 140721465257840 140552113520056 140553232976347 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26387] ppid=26358 vsize=13801768 CPUtime=277.6 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26387/stat : 26387 (java) R 26358 26358 7411 0 -1 4202560 518 0 0 0 27760 0 0 0 20 0 28 0 4386495 14133010432 81067 33554432000 4194304 4196468 140721465257840 140552112470368 140553232688628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
Current children cumulated CPU time (s) 2229.92
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.714 s]
/proc/loadavg: 15.75 15.64 14.70 18/301 26589
/proc/meminfo: memFree=31302220/32770624 swapFree=5860/282628
[pid=26358] ppid=26355 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26358/stat : 26358 (xcsp3-exec) S 26355 26358 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4386155 9740288 346 33554432000 4194304 5098028 140724830000768 140724829998872 140423530553980 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34177024 140724830004367 140724830004576 140724830004576 140724830007275 0
/proc/26358/statm: 2378 346 289 221 0 87 0
[pid=26359] ppid=26358 vsize=13801768 CPUtime=2400.33 cores=0,2,4,6,8,10,12,14
/proc/26359/stat : 26359 (java) S 26358 26358 7411 0 -1 1077944320 70443 0 0 0 239927 106 0 0 20 0 28 0 4386155 14133010432 76206 33554432000 4194304 4196468 140721465257840 140721465240384 140553607237367 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
/proc/26359/statm: 3450442 76206 3287 1 0 3437675 0
[pid=26359/tid=26360] ppid=26358 vsize=13801768 CPUtime=3.32 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26360/stat : 26360 (java) S 26358 26358 7411 0 -1 1077944384 9246 0 0 0 327 5 0 0 20 0 28 0 4386155 14133010432 76206 33554432000 4194304 4196468 140721465257840 140553611478144 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26362] ppid=26358 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26362/stat : 26362 (java) S 26358 26358 7411 0 -1 1077944384 1656 0 0 0 12 7 0 0 20 0 28 0 4386156 14133010432 76206 33554432000 4194304 4196468 140721465257840 140553546201360 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26363] ppid=26358 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26363/stat : 26363 (java) S 26358 26358 7411 0 -1 1077944384 698 0 0 0 12 7 0 0 20 0 28 0 4386156 14133010432 76206 33554432000 4194304 4196468 140721465257840 140553545148816 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26364] ppid=26358 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26364/stat : 26364 (java) S 26358 26358 7411 0 -1 1077944384 317 0 0 0 12 9 0 0 20 0 28 0 4386156 14133010432 76206 33554432000 4194304 4196468 140721465257840 140553544096272 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26365] ppid=26358 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26365/stat : 26365 (java) S 26358 26358 7411 0 -1 1077944384 2144 0 0 0 11 8 0 0 20 0 28 0 4386156 14133010432 76206 33554432000 4194304 4196468 140721465257840 140553203702416 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26366] ppid=26358 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26366/stat : 26366 (java) S 26358 26358 7411 0 -1 1077944384 633 0 0 0 11 8 0 0 20 0 28 0 4386156 14133010432 76206 33554432000 4194304 4196468 140721465257840 140553202649872 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26367] ppid=26358 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26367/stat : 26367 (java) S 26358 26358 7411 0 -1 1077944384 331 0 0 0 12 7 0 0 20 0 28 0 4386156 14133010432 76206 33554432000 4194304 4196468 140721465257840 140553201597328 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26368] ppid=26358 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26368/stat : 26368 (java) S 26358 26358 7411 0 -1 1077944384 1112 0 0 0 12 9 0 0 20 0 28 0 4386156 14133010432 76206 33554432000 4194304 4196468 140721465257840 140553200544784 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26369] ppid=26358 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26369/stat : 26369 (java) S 26358 26358 7411 0 -1 1077944384 955 0 0 0 11 8 0 0 20 0 28 0 4386156 14133010432 76206 33554432000 4194304 4196468 140721465257840 140553199492240 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26370] ppid=26358 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26370/stat : 26370 (java) S 26358 26358 7411 0 -1 1077944384 2064 0 0 0 6 7 0 0 20 0 28 0 4386158 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552338647024 140553607248514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26371] ppid=26358 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26371/stat : 26371 (java) S 26358 26358 7411 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4386159 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552337593312 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26372] ppid=26358 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26372/stat : 26372 (java) S 26358 26358 7411 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 4386159 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552336540672 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26373] ppid=26358 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26373/stat : 26373 (java) S 26358 26358 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4386163 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552133667024 140553607255963 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26374] ppid=26358 vsize=13801768 CPUtime=3.81 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26374/stat : 26374 (java) S 26358 26358 7411 0 -1 1077944384 10733 0 0 0 380 1 0 0 20 0 28 0 4386163 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552132614640 140553607248514 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26375] ppid=26358 vsize=13801768 CPUtime=4.09 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26375/stat : 26375 (java) S 26358 26358 7411 0 -1 1077944384 10538 0 0 0 407 2 0 0 20 0 28 0 4386163 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552131562096 140553607248514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26376] ppid=26358 vsize=13801768 CPUtime=3.87 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26376/stat : 26376 (java) S 26358 26358 7411 0 -1 1077944384 11627 0 0 0 385 2 0 0 20 0 28 0 4386163 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552130509552 140553607248514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26377] ppid=26358 vsize=13801768 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26377/stat : 26377 (java) S 26358 26358 7411 0 -1 1077944384 6680 0 0 0 107 2 0 0 20 0 28 0 4386163 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552129457008 140553607248514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26378] ppid=26358 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26378/stat : 26378 (java) S 26358 26358 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4386163 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552128403680 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26379] ppid=26358 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26379/stat : 26379 (java) S 26358 26358 7411 0 -1 1077944384 949 0 0 0 7 5 0 0 20 0 28 0 4386164 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552127351216 140553607248514 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26380] ppid=26358 vsize=13801768 CPUtime=297.33 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26380/stat : 26380 (java) R 26358 26358 7411 0 -1 4202560 1744 0 0 0 29731 2 0 0 20 0 28 0 4386494 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552119835144 140553232688266 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26381] ppid=26358 vsize=13801768 CPUtime=298.39 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26381/stat : 26381 (java) R 26358 26358 7411 0 -1 4202560 994 0 0 0 29839 0 0 0 20 0 28 0 4386494 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552118784024 140553232608257 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26382] ppid=26358 vsize=13801768 CPUtime=296.72 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26382/stat : 26382 (java) R 26358 26358 7411 0 -1 4202560 2185 0 0 0 29669 3 0 0 20 0 28 0 4386494 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552117731072 140553232608231 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26383] ppid=26358 vsize=13801768 CPUtime=298.79 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26383/stat : 26383 (java) R 26358 26358 7411 0 -1 4202560 1709 0 0 0 29876 3 0 0 20 0 28 0 4386494 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552116678936 140553232688710 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26384] ppid=26358 vsize=13801768 CPUtime=298.11 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26384/stat : 26384 (java) R 26358 26358 7411 0 -1 4202560 754 0 0 0 29811 0 0 0 20 0 28 0 4386494 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552115629072 140553229486464 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26385] ppid=26358 vsize=13801768 CPUtime=297.19 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26385/stat : 26385 (java) R 26358 26358 7411 0 -1 4202560 428 0 0 0 29719 0 0 0 20 0 28 0 4386494 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552114573848 140553227889606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26386] ppid=26358 vsize=13801768 CPUtime=296.61 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26386/stat : 26386 (java) R 26358 26358 7411 0 -1 4202560 1034 0 0 0 29660 1 0 0 20 0 28 0 4386494 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552113520280 140553225329118 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26387] ppid=26358 vsize=13801768 CPUtime=298.97 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26387/stat : 26387 (java) R 26358 26358 7411 0 -1 4202560 540 0 0 0 29897 0 0 0 20 0 28 0 4386495 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552112467736 140553232688502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
Current children cumulated CPU time (s) 2400.33
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 26359 sig 9
??? kill 26358 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+303.714 s]
/proc/loadavg: 15.75 15.64 14.70 18/301 26589
/proc/meminfo: memFree=31302220/32770624 swapFree=5860/282628
[pid=26358] ppid=26355 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26358/stat : 26358 (xcsp3-exec) S 26355 26358 7411 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4386155 9740288 346 33554432000 4194304 5098028 140724830000768 140724829998872 140423530553980 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 34177024 140724830004367 140724830004576 140724830004576 140724830007275 0
/proc/26358/statm: 2378 346 289 221 0 87 0
[pid=26359] ppid=26358 vsize=13801768 CPUtime=2400.33 cores=0,2,4,6,8,10,12,14
/proc/26359/stat : 26359 (java) S 26358 26358 7411 0 -1 1077944320 70443 0 0 0 239927 106 0 0 20 0 28 0 4386155 14133010432 76206 33554432000 4194304 4196468 140721465257840 140721465240384 140553607237367 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
/proc/26359/statm: 3450442 76206 3287 1 0 3437675 0
[pid=26359/tid=26360] ppid=26358 vsize=13801768 CPUtime=3.32 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26360/stat : 26360 (java) S 26358 26358 7411 0 -1 1077944384 9246 0 0 0 327 5 0 0 20 0 28 0 4386155 14133010432 76206 33554432000 4194304 4196468 140721465257840 140553611478144 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26362] ppid=26358 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26362/stat : 26362 (java) S 26358 26358 7411 0 -1 1077944384 1656 0 0 0 12 7 0 0 20 0 28 0 4386156 14133010432 76206 33554432000 4194304 4196468 140721465257840 140553546201360 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26363] ppid=26358 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26363/stat : 26363 (java) S 26358 26358 7411 0 -1 1077944384 698 0 0 0 12 7 0 0 20 0 28 0 4386156 14133010432 76206 33554432000 4194304 4196468 140721465257840 140553545148816 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26364] ppid=26358 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26364/stat : 26364 (java) S 26358 26358 7411 0 -1 1077944384 317 0 0 0 12 9 0 0 20 0 28 0 4386156 14133010432 76206 33554432000 4194304 4196468 140721465257840 140553544096272 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26365] ppid=26358 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26365/stat : 26365 (java) S 26358 26358 7411 0 -1 1077944384 2144 0 0 0 11 8 0 0 20 0 28 0 4386156 14133010432 76206 33554432000 4194304 4196468 140721465257840 140553203702416 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26366] ppid=26358 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26366/stat : 26366 (java) S 26358 26358 7411 0 -1 1077944384 633 0 0 0 11 8 0 0 20 0 28 0 4386156 14133010432 76206 33554432000 4194304 4196468 140721465257840 140553202649872 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26367] ppid=26358 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26367/stat : 26367 (java) S 26358 26358 7411 0 -1 1077944384 331 0 0 0 12 7 0 0 20 0 28 0 4386156 14133010432 76206 33554432000 4194304 4196468 140721465257840 140553201597328 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26368] ppid=26358 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26368/stat : 26368 (java) S 26358 26358 7411 0 -1 1077944384 1112 0 0 0 12 9 0 0 20 0 28 0 4386156 14133010432 76206 33554432000 4194304 4196468 140721465257840 140553200544784 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26369] ppid=26358 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26369/stat : 26369 (java) S 26358 26358 7411 0 -1 1077944384 955 0 0 0 11 8 0 0 20 0 28 0 4386156 14133010432 76206 33554432000 4194304 4196468 140721465257840 140553199492240 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26370] ppid=26358 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26370/stat : 26370 (java) S 26358 26358 7411 0 -1 1077944384 2064 0 0 0 6 7 0 0 20 0 28 0 4386158 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552338647024 140553607248514 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26371] ppid=26358 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26371/stat : 26371 (java) S 26358 26358 7411 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 4386159 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552337593312 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26372] ppid=26358 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26372/stat : 26372 (java) S 26358 26358 7411 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 4386159 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552336540672 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26373] ppid=26358 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26373/stat : 26373 (java) S 26358 26358 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4386163 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552133667024 140553607255963 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26374] ppid=26358 vsize=13801768 CPUtime=3.81 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26374/stat : 26374 (java) S 26358 26358 7411 0 -1 1077944384 10733 0 0 0 380 1 0 0 20 0 28 0 4386163 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552132614640 140553607248514 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26375] ppid=26358 vsize=13801768 CPUtime=4.09 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26375/stat : 26375 (java) S 26358 26358 7411 0 -1 1077944384 10538 0 0 0 407 2 0 0 20 0 28 0 4386163 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552131562096 140553607248514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26376] ppid=26358 vsize=13801768 CPUtime=3.87 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26376/stat : 26376 (java) S 26358 26358 7411 0 -1 1077944384 11627 0 0 0 385 2 0 0 20 0 28 0 4386163 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552130509552 140553607248514 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26377] ppid=26358 vsize=13801768 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26377/stat : 26377 (java) S 26358 26358 7411 0 -1 1077944384 6680 0 0 0 107 2 0 0 20 0 28 0 4386163 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552129457008 140553607248514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26378] ppid=26358 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26378/stat : 26378 (java) S 26358 26358 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4386163 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552128403680 140553607247573 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26379] ppid=26358 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26379/stat : 26379 (java) S 26358 26358 7411 0 -1 1077944384 949 0 0 0 7 5 0 0 20 0 28 0 4386164 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552127351216 140553607248514 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26380] ppid=26358 vsize=13801768 CPUtime=297.33 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26380/stat : 26380 (java) R 26358 26358 7411 0 -1 4202560 1744 0 0 0 29731 2 0 0 20 0 28 0 4386494 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552119835144 140553232688266 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26381] ppid=26358 vsize=13801768 CPUtime=298.39 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26381/stat : 26381 (java) R 26358 26358 7411 0 -1 4202560 994 0 0 0 29839 0 0 0 20 0 28 0 4386494 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552118784024 140553232608257 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26382] ppid=26358 vsize=13801768 CPUtime=296.72 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26382/stat : 26382 (java) R 26358 26358 7411 0 -1 4202560 2185 0 0 0 29669 3 0 0 20 0 28 0 4386494 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552117731072 140553232608231 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26383] ppid=26358 vsize=13801768 CPUtime=298.79 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26383/stat : 26383 (java) R 26358 26358 7411 0 -1 4202560 1709 0 0 0 29876 3 0 0 20 0 28 0 4386494 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552116678936 140553232688710 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26384] ppid=26358 vsize=13801768 CPUtime=298.11 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26384/stat : 26384 (java) R 26358 26358 7411 0 -1 4202560 754 0 0 0 29811 0 0 0 20 0 28 0 4386494 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552115629072 140553229486464 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26385] ppid=26358 vsize=13801768 CPUtime=297.19 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26385/stat : 26385 (java) R 26358 26358 7411 0 -1 4202560 428 0 0 0 29719 0 0 0 20 0 28 0 4386494 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552114573848 140553227889606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26386] ppid=26358 vsize=13801768 CPUtime=296.61 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26386/stat : 26386 (java) R 26358 26358 7411 0 -1 4202560 1034 0 0 0 29660 1 0 0 20 0 28 0 4386494 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552113520280 140553225329118 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
[pid=26359/tid=26387] ppid=26358 vsize=13801768 CPUtime=298.97 cores=0,2,4,6,8,10,12,14
/proc/26359/task/26387/stat : 26387 (java) R 26358 26358 7411 0 -1 4202560 540 0 0 0 29897 0 0 0 20 0 28 0 4386495 14133010432 76206 33554432000 4194304 4196468 140721465257840 140552112467736 140553232688502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11190272 140721465263292 140721465263468 140721465263468 140721465266127 0
Current children cumulated CPU time (s) 2400.33
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 26358 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1037
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2074
# CPU time returned by wait4() is 0.003111
# while last known CPU time is 2400.33
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.725
CPU time (s): 2400.33
CPU user time (s): 2399.27
CPU system time (s): 1.06
CPU usage (%): 790.298
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001037
system time used= 0.002074
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.87569 second user time and 3.84336 second system time
The end