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-4248475-1500691830/watcher-4248475-1500691830 -o /tmp/evaluation-result-4248475-1500691830/solver-4248475-1500691830 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18842 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1871447656 HOME/instance-4248475-1500691830.xml
pid=12983
running on 8 cores: 4-7,12-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.51 15.99 14.97 10/277 12986
/proc/meminfo: memFree=30685200/32770624 swapFree=5944/263516
[pid=12986] ppid=12983 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/12986/stat : 12986 (xcsp3-exec) S 12983 12986 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4450191 9740288 345 33554432000 4194304 5098028 140732408888304 140732408886408 140532397093500 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 29650944 140732408894606 140732408894816 140732408894816 140732408897515 0
/proc/12986/statm: 2378 345 289 221 0 87 0
[startup+0.100121 s]
/proc/loadavg: 16.51 15.99 14.97 10/277 12986
/proc/meminfo: memFree=30685200/32770624 swapFree=5944/263516
[pid=12986] ppid=12983 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/12986/stat : 12986 (xcsp3-exec) S 12983 12986 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4450191 9740288 345 33554432000 4194304 5098028 140732408888304 140732408886408 140532397093500 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 29650944 140732408894606 140732408894816 140732408894816 140732408897515 0
/proc/12986/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200301 s]
/proc/loadavg: 16.51 15.99 14.97 10/277 12986
/proc/meminfo: memFree=30685200/32770624 swapFree=5944/263516
[pid=12986] ppid=12983 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/12986/stat : 12986 (xcsp3-exec) S 12983 12986 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4450191 9740288 345 33554432000 4194304 5098028 140732408888304 140732408886408 140532397093500 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 29650944 140732408894606 140732408894816 140732408894816 140732408897515 0
/proc/12986/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300266 s]
/proc/loadavg: 16.51 15.99 14.97 10/277 12986
/proc/meminfo: memFree=30685200/32770624 swapFree=5944/263516
[pid=12986] ppid=12983 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/12986/stat : 12986 (xcsp3-exec) S 12983 12986 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4450191 9740288 345 33554432000 4194304 5098028 140732408888304 140732408886408 140532397093500 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 29650944 140732408894606 140732408894816 140732408894816 140732408897515 0
/proc/12986/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700207 s]
/proc/loadavg: 16.51 15.99 14.97 10/277 12986
/proc/meminfo: memFree=30685200/32770624 swapFree=5944/263516
[pid=12986] ppid=12983 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/12986/stat : 12986 (xcsp3-exec) S 12983 12986 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4450191 9740288 345 33554432000 4194304 5098028 140732408888304 140732408886408 140532397093500 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 29650944 140732408894606 140732408894816 140732408894816 140732408897515 0
/proc/12986/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50179 s]
/proc/loadavg: 16.51 15.99 14.97 20/306 13015
/proc/meminfo: memFree=30547288/32770624 swapFree=5944/263584
[pid=12986] ppid=12983 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/12986/stat : 12986 (xcsp3-exec) S 12983 12986 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4450191 9740288 345 33554432000 4194304 5098028 140732408888304 140732408886408 140532397093500 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 29650944 140732408894606 140732408894816 140732408894816 140732408897515 0
/proc/12986/statm: 2378 345 289 221 0 87 0
[pid=12987] ppid=12986 vsize=13801768 CPUtime=8.12 cores=4-7,12-15
/proc/12987/stat : 12987 (java) S 12986 12986 18810 0 -1 1077944320 16161 0 0 0 803 9 0 0 20 0 28 0 4450191 14133010432 50180 33554432000 4194304 4196468 140731095883520 140731095866064 140182921252599 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
/proc/12987/statm: 3450442 50180 3232 1 0 3437675 0
[pid=12987/tid=12988] ppid=12986 vsize=13801768 CPUtime=0.62 cores=4-7,12-15
/proc/12987/task/12988/stat : 12988 (java) S 12986 12986 18810 0 -1 1077944384 6867 0 0 0 60 2 0 0 20 0 28 0 4450192 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182925493376 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12990] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/12990/stat : 12990 (java) S 12986 12986 18810 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4450193 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182839733008 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12991] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/12991/stat : 12991 (java) S 12986 12986 18810 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4450193 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182838680464 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12992] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/12992/stat : 12992 (java) S 12986 12986 18810 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4450193 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182837627920 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12993] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/12993/stat : 12993 (java) S 12986 12986 18810 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4450193 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182836575376 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12994] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/12994/stat : 12994 (java) S 12986 12986 18810 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4450193 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182835521808 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12995] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/12995/stat : 12995 (java) S 12986 12986 18810 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4450193 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182514821520 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12996] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/12996/stat : 12996 (java) S 12986 12986 18810 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4450193 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182513768976 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12997] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/12997/stat : 12997 (java) S 12986 12986 18810 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4450193 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182512716432 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12998] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/12998/stat : 12998 (java) S 12986 12986 18810 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 4450195 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182115162608 140182921263746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12999] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/12999/stat : 12999 (java) S 12986 12986 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4450196 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182114108896 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13000] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/13000/stat : 13000 (java) S 12986 12986 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4450196 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182113056240 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13001] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/13001/stat : 13001 (java) S 12986 12986 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4450199 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182112004816 140182921271195 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13002] ppid=12986 vsize=13801768 CPUtime=0.7 cores=4-7,12-15
/proc/12987/task/13002/stat : 13002 (java) R 12986 12986 18810 0 -1 4202560 1387 0 0 0 70 0 0 0 20 0 28 0 4450199 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182110950544 140182900442048 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13003] ppid=12986 vsize=13801768 CPUtime=0.82 cores=4-7,12-15
/proc/12987/task/13003/stat : 13003 (java) R 12986 12986 18810 0 -1 4202560 1925 0 0 0 82 0 0 0 20 0 28 0 4450199 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182109885408 140182902797760 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13004] ppid=12986 vsize=13801768 CPUtime=0.79 cores=4-7,12-15
/proc/12987/task/13004/stat : 13004 (java) R 12986 12986 18810 0 -1 4202560 1621 0 0 0 79 0 0 0 20 0 28 0 4450199 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182108839512 140182904663553 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13005] ppid=12986 vsize=13801768 CPUtime=0.59 cores=4-7,12-15
/proc/12987/task/13005/stat : 13005 (java) R 12986 12986 18810 0 -1 1077944384 2535 0 0 0 59 0 0 0 20 0 28 0 4450199 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182107793904 140182921262805 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13006] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/13006/stat : 13006 (java) S 12986 12986 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4450199 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182106741472 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13007] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/13007/stat : 13007 (java) S 12986 12986 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4450200 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182105689008 140182921263746 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13008] ppid=12986 vsize=13801768 CPUtime=0.54 cores=4-7,12-15
/proc/12987/task/13008/stat : 13008 (java) S 12986 12986 18810 0 -1 1077944384 62 0 0 0 54 0 0 0 20 0 28 0 4450256 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182097674992 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13009] ppid=12986 vsize=13801768 CPUtime=0.57 cores=4-7,12-15
/proc/12987/task/13009/stat : 13009 (java) S 12986 12986 18810 0 -1 1077944384 47 0 0 0 57 0 0 0 20 0 28 0 4450256 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182096623584 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13010] ppid=12986 vsize=13801768 CPUtime=0.53 cores=4-7,12-15
/proc/12987/task/13010/stat : 13010 (java) R 12986 12986 18810 0 -1 4202560 45 0 0 0 53 0 0 0 20 0 28 0 4450256 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182028274304 140182520516084 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13011] ppid=12986 vsize=13801768 CPUtime=0.52 cores=4-7,12-15
/proc/12987/task/13011/stat : 13011 (java) R 12986 12986 18810 0 -1 4202560 88 0 0 0 52 0 0 0 20 0 28 0 4450257 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182027222776 140182519866383 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13012] ppid=12986 vsize=13801768 CPUtime=0.6 cores=4-7,12-15
/proc/12987/task/13012/stat : 13012 (java) R 12986 12986 18810 0 -1 1077944384 55 0 0 0 60 0 0 0 20 0 28 0 4450257 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182026170096 140182921262805 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13013] ppid=12986 vsize=13801768 CPUtime=0.49 cores=4-7,12-15
/proc/12987/task/13013/stat : 13013 (java) R 12986 12986 18810 0 -1 4202560 38 0 0 0 49 0 0 0 20 0 28 0 4450257 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182025120104 140182519508837 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13014] ppid=12986 vsize=13801768 CPUtime=0.56 cores=4-7,12-15
/proc/12987/task/13014/stat : 13014 (java) R 12986 12986 18810 0 -1 4202560 47 0 0 0 56 0 0 0 20 0 28 0 4450257 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182024067240 140182519363704 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13015] ppid=12986 vsize=13801768 CPUtime=0.61 cores=4-7,12-15
/proc/12987/task/13015/stat : 13015 (java) R 12986 12986 18810 0 -1 4202560 45 0 0 0 61 0 0 0 20 0 28 0 4450257 14133010432 50180 33554432000 4194304 4196468 140731095883520 140182023014600 140182519374215 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
Current children cumulated CPU time (s) 8.12
Current children cumulated vsize (KiB) 13811280
[startup+3.1016 s]
/proc/loadavg: 16.79 16.06 15.00 21/306 13015
/proc/meminfo: memFree=30479840/32770624 swapFree=5944/263592
[pid=12986] ppid=12983 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/12986/stat : 12986 (xcsp3-exec) S 12983 12986 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4450191 9740288 345 33554432000 4194304 5098028 140732408888304 140732408886408 140532397093500 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 29650944 140732408894606 140732408894816 140732408894816 140732408897515 0
/proc/12986/statm: 2378 345 289 221 0 87 0
[pid=12987] ppid=12986 vsize=13801768 CPUtime=20.78 cores=4-7,12-15
/proc/12987/stat : 12987 (java) S 12986 12986 18810 0 -1 1077944320 16759 0 0 0 2065 13 0 0 20 0 28 0 4450191 14133010432 53265 33554432000 4194304 4196468 140731095883520 140731095866064 140182921252599 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
/proc/12987/statm: 3450442 53265 3260 1 0 3437675 0
[pid=12987/tid=12988] ppid=12986 vsize=13801768 CPUtime=0.62 cores=4-7,12-15
/proc/12987/task/12988/stat : 12988 (java) S 12986 12986 18810 0 -1 1077944384 6867 0 0 0 60 2 0 0 20 0 28 0 4450192 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182925493376 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12990] ppid=12986 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/12987/task/12990/stat : 12990 (java) S 12986 12986 18810 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 28 0 4450193 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182839733008 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12991] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/12991/stat : 12991 (java) S 12986 12986 18810 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4450193 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182838680464 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12992] ppid=12986 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/12987/task/12992/stat : 12992 (java) S 12986 12986 18810 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 28 0 4450193 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182837627920 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12993] ppid=12986 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/12987/task/12993/stat : 12993 (java) S 12986 12986 18810 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 4450193 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182836575376 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12994] ppid=12986 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/12987/task/12994/stat : 12994 (java) S 12986 12986 18810 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 28 0 4450193 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182835521808 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12995] ppid=12986 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/12987/task/12995/stat : 12995 (java) S 12986 12986 18810 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 4450193 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182514821520 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12996] ppid=12986 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/12987/task/12996/stat : 12996 (java) S 12986 12986 18810 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 28 0 4450193 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182513768976 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12997] ppid=12986 vsize=13801768 CPUtime=0.01 cores=4-7,12-15
/proc/12987/task/12997/stat : 12997 (java) S 12986 12986 18810 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 4450193 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182512716432 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12998] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/12998/stat : 12998 (java) S 12986 12986 18810 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4450195 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182115162608 140182921263746 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12999] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/12999/stat : 12999 (java) S 12986 12986 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4450196 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182114108896 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13000] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/13000/stat : 13000 (java) S 12986 12986 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4450196 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182113056240 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13001] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/13001/stat : 13001 (java) S 12986 12986 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4450199 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182112004816 140182921271195 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13002] ppid=12986 vsize=13801768 CPUtime=1.61 cores=4-7,12-15
/proc/12987/task/13002/stat : 13002 (java) S 12986 12986 18810 0 -1 1077944384 1517 0 0 0 160 1 0 0 20 0 28 0 4450199 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182110951408 140182921263746 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13003] ppid=12986 vsize=13801768 CPUtime=1.82 cores=4-7,12-15
/proc/12987/task/13003/stat : 13003 (java) S 12986 12986 18810 0 -1 1077944384 2040 0 0 0 182 0 0 0 20 0 28 0 4450199 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182109898864 140182921263746 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13004] ppid=12986 vsize=13801768 CPUtime=1.57 cores=4-7,12-15
/proc/12987/task/13004/stat : 13004 (java) S 12986 12986 18810 0 -1 1077944384 1693 0 0 0 157 0 0 0 20 0 28 0 4450199 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182108846320 140182921263746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13005] ppid=12986 vsize=13801768 CPUtime=0.74 cores=4-7,12-15
/proc/12987/task/13005/stat : 13005 (java) S 12986 12986 18810 0 -1 1077944384 2695 0 0 0 74 0 0 0 20 0 28 0 4450199 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182107793776 140182921263746 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13006] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/13006/stat : 13006 (java) S 12986 12986 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4450199 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182106741472 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13007] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/13007/stat : 13007 (java) S 12986 12986 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4450200 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182105689008 140182921263746 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13008] ppid=12986 vsize=13801768 CPUtime=1.67 cores=4-7,12-15
/proc/12987/task/13008/stat : 13008 (java) R 12986 12986 18810 0 -1 4202560 63 0 0 0 167 0 0 0 20 0 28 0 4450256 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182097673944 140182520200332 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13009] ppid=12986 vsize=13801768 CPUtime=1.73 cores=4-7,12-15
/proc/12987/task/13009/stat : 13009 (java) R 12986 12986 18810 0 -1 4202560 48 0 0 0 173 0 0 0 20 0 28 0 4450256 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182096624320 140182905591411 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13010] ppid=12986 vsize=13801768 CPUtime=1.83 cores=4-7,12-15
/proc/12987/task/13010/stat : 13010 (java) R 12986 12986 18810 0 -1 4202560 46 0 0 0 183 0 0 0 20 0 28 0 4450256 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182028274872 140182520553011 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13011] ppid=12986 vsize=13801768 CPUtime=1.67 cores=4-7,12-15
/proc/12987/task/13011/stat : 13011 (java) R 12986 12986 18810 0 -1 4202560 89 0 0 0 167 0 0 0 20 0 28 0 4450257 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182027222744 140182515165970 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13012] ppid=12986 vsize=13801768 CPUtime=1.87 cores=4-7,12-15
/proc/12987/task/13012/stat : 13012 (java) R 12986 12986 18810 0 -1 4202560 56 0 0 0 187 0 0 0 20 0 28 0 4450257 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182026169984 140182521722387 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13013] ppid=12986 vsize=13801768 CPUtime=1.76 cores=4-7,12-15
/proc/12987/task/13013/stat : 13013 (java) R 12986 12986 18810 0 -1 4202560 40 0 0 0 176 0 0 0 20 0 28 0 4450257 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182025117512 140182519610505 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13014] ppid=12986 vsize=13801768 CPUtime=1.81 cores=4-7,12-15
/proc/12987/task/13014/stat : 13014 (java) R 12986 12986 18810 0 -1 4202560 48 0 0 0 181 0 0 0 20 0 28 0 4450257 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182024065632 140182519789556 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13015] ppid=12986 vsize=13801768 CPUtime=1.8 cores=4-7,12-15
/proc/12987/task/13015/stat : 13015 (java) R 12986 12986 18810 0 -1 4202560 46 0 0 0 180 0 0 0 20 0 28 0 4450257 14133010432 53265 33554432000 4194304 4196468 140731095883520 140182023012664 140182519436428 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
Current children cumulated CPU time (s) 20.78
Current children cumulated vsize (KiB) 13811280
[startup+6.30163 s]
/proc/loadavg: 16.79 16.06 15.00 18/306 13015
/proc/meminfo: memFree=29321860/32770624 swapFree=5944/263596
################
# More data... #
################
[pid=12987/tid=13014] ppid=12986 vsize=13801768 CPUtime=274.25 cores=4-7,12-15
/proc/12987/task/13014/stat : 13014 (java) R 12986 12986 18810 0 -1 4202560 2266 0 0 0 27422 3 0 0 20 0 28 0 4450257 14133010432 88523 33554432000 4194304 4196468 140731095883520 140182024065224 140182520553210 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13015] ppid=12986 vsize=13801768 CPUtime=274.8 cores=4-7,12-15
/proc/12987/task/13015/stat : 13015 (java) R 12986 12986 18810 0 -1 4202560 3211 0 0 0 27477 3 0 0 20 0 28 0 4450257 14133010432 88523 33554432000 4194304 4196468 140731095883520 140182023012600 140182515166083 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
Current children cumulated CPU time (s) 2218.49
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+305.502 s]
/proc/loadavg: 15.46 15.91 15.24 11/303 13119
/proc/meminfo: memFree=31087632/32770624 swapFree=5944/264000
[pid=12986] ppid=12983 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/12986/stat : 12986 (xcsp3-exec) S 12983 12986 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4450191 9740288 345 33554432000 4194304 5098028 140732408888304 140732408886408 140532397093500 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 29650944 140732408894606 140732408894816 140732408894816 140732408897515 0
/proc/12986/statm: 2378 345 289 221 0 87 0
[pid=12987] ppid=12986 vsize=13801768 CPUtime=2400.33 cores=4-7,12-15
/proc/12987/stat : 12987 (java) S 12986 12986 18810 0 -1 1077944320 66774 0 0 0 239638 395 0 0 20 0 28 0 4450191 14133010432 86590 33554432000 4194304 4196468 140731095883520 140731095866064 140182921252599 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
/proc/12987/statm: 3450442 86590 3291 1 0 3437675 0
[pid=12987/tid=12988] ppid=12986 vsize=13801768 CPUtime=0.62 cores=4-7,12-15
/proc/12987/task/12988/stat : 12988 (java) S 12986 12986 18810 0 -1 1077944384 6867 0 0 0 60 2 0 0 20 0 28 0 4450192 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182925493376 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12990] ppid=12986 vsize=13801768 CPUtime=1.16 cores=4-7,12-15
/proc/12987/task/12990/stat : 12990 (java) S 12986 12986 18810 0 -1 1077944384 784 0 0 0 102 14 0 0 20 0 28 0 4450193 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182839733008 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12991] ppid=12986 vsize=13801768 CPUtime=1.16 cores=4-7,12-15
/proc/12987/task/12991/stat : 12991 (java) S 12986 12986 18810 0 -1 1077944384 1286 0 0 0 101 15 0 0 20 0 28 0 4450193 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182838680464 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12992] ppid=12986 vsize=13801768 CPUtime=1.15 cores=4-7,12-15
/proc/12987/task/12992/stat : 12992 (java) S 12986 12986 18810 0 -1 1077944384 1226 0 0 0 99 16 0 0 20 0 28 0 4450193 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182837627920 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12993] ppid=12986 vsize=13801768 CPUtime=1.18 cores=4-7,12-15
/proc/12987/task/12993/stat : 12993 (java) S 12986 12986 18810 0 -1 1077944384 1526 0 0 0 103 15 0 0 20 0 28 0 4450193 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182836575376 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12994] ppid=12986 vsize=13801768 CPUtime=1.18 cores=4-7,12-15
/proc/12987/task/12994/stat : 12994 (java) S 12986 12986 18810 0 -1 1077944384 1213 0 0 0 104 14 0 0 20 0 28 0 4450193 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182835521808 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12995] ppid=12986 vsize=13801768 CPUtime=1.16 cores=4-7,12-15
/proc/12987/task/12995/stat : 12995 (java) S 12986 12986 18810 0 -1 1077944384 2014 0 0 0 101 15 0 0 20 0 28 0 4450193 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182514821520 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12996] ppid=12986 vsize=13801768 CPUtime=1.17 cores=4-7,12-15
/proc/12987/task/12996/stat : 12996 (java) S 12986 12986 18810 0 -1 1077944384 1256 0 0 0 102 15 0 0 20 0 28 0 4450193 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182513768976 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12997] ppid=12986 vsize=13801768 CPUtime=1.19 cores=4-7,12-15
/proc/12987/task/12997/stat : 12997 (java) S 12986 12986 18810 0 -1 1077944384 2147 0 0 0 103 16 0 0 20 0 28 0 4450193 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182512716432 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12998] ppid=12986 vsize=13801768 CPUtime=3.97 cores=4-7,12-15
/proc/12987/task/12998/stat : 12998 (java) S 12986 12986 18810 0 -1 1077944384 6276 0 0 0 166 231 0 0 20 0 28 0 4450195 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182115162608 140182921263746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12999] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/12999/stat : 12999 (java) S 12986 12986 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4450196 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182114108896 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13000] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/13000/stat : 13000 (java) S 12986 12986 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4450196 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182113056240 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13001] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/13001/stat : 13001 (java) S 12986 12986 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4450199 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182112004816 140182921271195 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13002] ppid=12986 vsize=13801768 CPUtime=1.91 cores=4-7,12-15
/proc/12987/task/13002/stat : 13002 (java) S 12986 12986 18810 0 -1 1077944384 3997 0 0 0 190 1 0 0 20 0 28 0 4450199 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182110951408 140182921263746 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13003] ppid=12986 vsize=13801768 CPUtime=2.28 cores=4-7,12-15
/proc/12987/task/13003/stat : 13003 (java) S 12986 12986 18810 0 -1 1077944384 6771 0 0 0 227 1 0 0 20 0 28 0 4450199 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182109898864 140182921263746 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13004] ppid=12986 vsize=13801768 CPUtime=2.07 cores=4-7,12-15
/proc/12987/task/13004/stat : 13004 (java) S 12986 12986 18810 0 -1 1077944384 6289 0 0 0 206 1 0 0 20 0 28 0 4450199 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182108846320 140182921263746 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13005] ppid=12986 vsize=13801768 CPUtime=0.82 cores=4-7,12-15
/proc/12987/task/13005/stat : 13005 (java) S 12986 12986 18810 0 -1 1077944384 3907 0 0 0 82 0 0 0 20 0 28 0 4450199 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182107793776 140182921263746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13006] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/13006/stat : 13006 (java) S 12986 12986 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4450199 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182106741472 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13007] ppid=12986 vsize=13801768 CPUtime=0.14 cores=4-7,12-15
/proc/12987/task/13007/stat : 13007 (java) S 12986 12986 18810 0 -1 1077944384 548 0 0 0 6 8 0 0 20 0 28 0 4450200 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182105689008 140182921263746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13008] ppid=12986 vsize=13801768 CPUtime=297.19 cores=4-7,12-15
/proc/12987/task/13008/stat : 13008 (java) R 12986 12986 18810 0 -1 4202560 2803 0 0 0 29715 4 0 0 20 0 28 0 4450256 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182097673480 140182520291387 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13009] ppid=12986 vsize=13801768 CPUtime=296.79 cores=4-7,12-15
/proc/12987/task/13009/stat : 13009 (java) R 12986 12986 18810 0 -1 4202560 2321 0 0 0 29676 3 0 0 20 0 28 0 4450256 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182096621928 140182520291575 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13010] ppid=12986 vsize=13801768 CPUtime=298.75 cores=4-7,12-15
/proc/12987/task/13010/stat : 13010 (java) R 12986 12986 18810 0 -1 4202560 1260 0 0 0 29872 3 0 0 20 0 28 0 4450256 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182028278128 140182520461211 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13011] ppid=12986 vsize=13801768 CPUtime=297.04 cores=4-7,12-15
/proc/12987/task/13011/stat : 13011 (java) R 12986 12986 18810 0 -1 4202560 4464 0 0 0 29701 3 0 0 20 0 28 0 4450257 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182027222760 140182515165936 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13012] ppid=12986 vsize=13801768 CPUtime=297.67 cores=4-7,12-15
/proc/12987/task/13012/stat : 13012 (java) R 12986 12986 18810 0 -1 4202560 1559 0 0 0 29764 3 0 0 20 0 28 0 4450257 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182026170344 140182521474068 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13013] ppid=12986 vsize=13801768 CPUtime=297.46 cores=4-7,12-15
/proc/12987/task/13013/stat : 13013 (java) R 12986 12986 18810 0 -1 4202560 1315 0 0 0 29743 3 0 0 20 0 28 0 4450257 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182025117464 140182520552939 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13014] ppid=12986 vsize=13801768 CPUtime=296.77 cores=4-7,12-15
/proc/12987/task/13014/stat : 13014 (java) R 12986 12986 18810 0 -1 4202560 2406 0 0 0 29674 3 0 0 20 0 28 0 4450257 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182024064672 140182520862603 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13015] ppid=12986 vsize=13801768 CPUtime=297.29 cores=4-7,12-15
/proc/12987/task/13015/stat : 13015 (java) R 12986 12986 18810 0 -1 4202560 3246 0 0 0 29726 3 0 0 20 0 28 0 4450257 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182023012712 140182521045180 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 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 12987 sig 9
??? kill 12986 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+305.502 s]
/proc/loadavg: 15.46 15.91 15.24 11/303 13119
/proc/meminfo: memFree=31087632/32770624 swapFree=5944/264000
[pid=12986] ppid=12983 vsize=9512 CPUtime=0 cores=4-7,12-15
/proc/12986/stat : 12986 (xcsp3-exec) S 12983 12986 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4450191 9740288 345 33554432000 4194304 5098028 140732408888304 140732408886408 140532397093500 0 65536 4100 65538 18446744071579417331 0 0 17 14 0 0 0 0 0 7196144 7232144 29650944 140732408894606 140732408894816 140732408894816 140732408897515 0
/proc/12986/statm: 2378 345 289 221 0 87 0
[pid=12987] ppid=12986 vsize=13801768 CPUtime=2400.33 cores=4-7,12-15
/proc/12987/stat : 12987 (java) S 12986 12986 18810 0 -1 1077944320 66774 0 0 0 239638 395 0 0 20 0 28 0 4450191 14133010432 86590 33554432000 4194304 4196468 140731095883520 140731095866064 140182921252599 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
/proc/12987/statm: 3450442 86590 3291 1 0 3437675 0
[pid=12987/tid=12988] ppid=12986 vsize=13801768 CPUtime=0.62 cores=4-7,12-15
/proc/12987/task/12988/stat : 12988 (java) S 12986 12986 18810 0 -1 1077944384 6867 0 0 0 60 2 0 0 20 0 28 0 4450192 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182925493376 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12990] ppid=12986 vsize=13801768 CPUtime=1.16 cores=4-7,12-15
/proc/12987/task/12990/stat : 12990 (java) S 12986 12986 18810 0 -1 1077944384 784 0 0 0 102 14 0 0 20 0 28 0 4450193 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182839733008 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12991] ppid=12986 vsize=13801768 CPUtime=1.16 cores=4-7,12-15
/proc/12987/task/12991/stat : 12991 (java) S 12986 12986 18810 0 -1 1077944384 1286 0 0 0 101 15 0 0 20 0 28 0 4450193 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182838680464 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12992] ppid=12986 vsize=13801768 CPUtime=1.15 cores=4-7,12-15
/proc/12987/task/12992/stat : 12992 (java) S 12986 12986 18810 0 -1 1077944384 1226 0 0 0 99 16 0 0 20 0 28 0 4450193 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182837627920 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12993] ppid=12986 vsize=13801768 CPUtime=1.18 cores=4-7,12-15
/proc/12987/task/12993/stat : 12993 (java) S 12986 12986 18810 0 -1 1077944384 1526 0 0 0 103 15 0 0 20 0 28 0 4450193 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182836575376 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12994] ppid=12986 vsize=13801768 CPUtime=1.18 cores=4-7,12-15
/proc/12987/task/12994/stat : 12994 (java) S 12986 12986 18810 0 -1 1077944384 1213 0 0 0 104 14 0 0 20 0 28 0 4450193 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182835521808 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12995] ppid=12986 vsize=13801768 CPUtime=1.16 cores=4-7,12-15
/proc/12987/task/12995/stat : 12995 (java) S 12986 12986 18810 0 -1 1077944384 2014 0 0 0 101 15 0 0 20 0 28 0 4450193 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182514821520 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12996] ppid=12986 vsize=13801768 CPUtime=1.17 cores=4-7,12-15
/proc/12987/task/12996/stat : 12996 (java) S 12986 12986 18810 0 -1 1077944384 1256 0 0 0 102 15 0 0 20 0 28 0 4450193 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182513768976 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12997] ppid=12986 vsize=13801768 CPUtime=1.19 cores=4-7,12-15
/proc/12987/task/12997/stat : 12997 (java) S 12986 12986 18810 0 -1 1077944384 2147 0 0 0 103 16 0 0 20 0 28 0 4450193 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182512716432 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12998] ppid=12986 vsize=13801768 CPUtime=3.97 cores=4-7,12-15
/proc/12987/task/12998/stat : 12998 (java) S 12986 12986 18810 0 -1 1077944384 6276 0 0 0 166 231 0 0 20 0 28 0 4450195 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182115162608 140182921263746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=12999] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/12999/stat : 12999 (java) S 12986 12986 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4450196 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182114108896 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13000] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/13000/stat : 13000 (java) S 12986 12986 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4450196 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182113056240 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13001] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/13001/stat : 13001 (java) S 12986 12986 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4450199 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182112004816 140182921271195 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13002] ppid=12986 vsize=13801768 CPUtime=1.91 cores=4-7,12-15
/proc/12987/task/13002/stat : 13002 (java) S 12986 12986 18810 0 -1 1077944384 3997 0 0 0 190 1 0 0 20 0 28 0 4450199 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182110951408 140182921263746 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13003] ppid=12986 vsize=13801768 CPUtime=2.28 cores=4-7,12-15
/proc/12987/task/13003/stat : 13003 (java) S 12986 12986 18810 0 -1 1077944384 6771 0 0 0 227 1 0 0 20 0 28 0 4450199 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182109898864 140182921263746 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13004] ppid=12986 vsize=13801768 CPUtime=2.07 cores=4-7,12-15
/proc/12987/task/13004/stat : 13004 (java) S 12986 12986 18810 0 -1 1077944384 6289 0 0 0 206 1 0 0 20 0 28 0 4450199 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182108846320 140182921263746 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13005] ppid=12986 vsize=13801768 CPUtime=0.82 cores=4-7,12-15
/proc/12987/task/13005/stat : 13005 (java) S 12986 12986 18810 0 -1 1077944384 3907 0 0 0 82 0 0 0 20 0 28 0 4450199 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182107793776 140182921263746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13006] ppid=12986 vsize=13801768 CPUtime=0 cores=4-7,12-15
/proc/12987/task/13006/stat : 13006 (java) S 12986 12986 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4450199 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182106741472 140182921262805 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13007] ppid=12986 vsize=13801768 CPUtime=0.14 cores=4-7,12-15
/proc/12987/task/13007/stat : 13007 (java) S 12986 12986 18810 0 -1 1077944384 548 0 0 0 6 8 0 0 20 0 28 0 4450200 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182105689008 140182921263746 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13008] ppid=12986 vsize=13801768 CPUtime=297.19 cores=4-7,12-15
/proc/12987/task/13008/stat : 13008 (java) R 12986 12986 18810 0 -1 4202560 2803 0 0 0 29715 4 0 0 20 0 28 0 4450256 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182097673480 140182520291387 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13009] ppid=12986 vsize=13801768 CPUtime=296.79 cores=4-7,12-15
/proc/12987/task/13009/stat : 13009 (java) R 12986 12986 18810 0 -1 4202560 2321 0 0 0 29676 3 0 0 20 0 28 0 4450256 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182096621928 140182520291575 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13010] ppid=12986 vsize=13801768 CPUtime=298.75 cores=4-7,12-15
/proc/12987/task/13010/stat : 13010 (java) R 12986 12986 18810 0 -1 4202560 1260 0 0 0 29872 3 0 0 20 0 28 0 4450256 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182028278128 140182520461211 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13011] ppid=12986 vsize=13801768 CPUtime=297.04 cores=4-7,12-15
/proc/12987/task/13011/stat : 13011 (java) R 12986 12986 18810 0 -1 4202560 4464 0 0 0 29701 3 0 0 20 0 28 0 4450257 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182027222760 140182515165936 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13012] ppid=12986 vsize=13801768 CPUtime=297.67 cores=4-7,12-15
/proc/12987/task/13012/stat : 13012 (java) R 12986 12986 18810 0 -1 4202560 1559 0 0 0 29764 3 0 0 20 0 28 0 4450257 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182026170344 140182521474068 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13013] ppid=12986 vsize=13801768 CPUtime=297.46 cores=4-7,12-15
/proc/12987/task/13013/stat : 13013 (java) R 12986 12986 18810 0 -1 4202560 1315 0 0 0 29743 3 0 0 20 0 28 0 4450257 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182025117464 140182520552939 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13014] ppid=12986 vsize=13801768 CPUtime=296.77 cores=4-7,12-15
/proc/12987/task/13014/stat : 13014 (java) R 12986 12986 18810 0 -1 4202560 2406 0 0 0 29674 3 0 0 20 0 28 0 4450257 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182024064672 140182520862603 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 0
[pid=12987/tid=13015] ppid=12986 vsize=13801768 CPUtime=297.29 cores=4-7,12-15
/proc/12987/task/13015/stat : 13015 (java) R 12986 12986 18810 0 -1 4202560 3246 0 0 0 29726 3 0 0 20 0 28 0 4450257 14133010432 86590 33554432000 4194304 4196468 140731095883520 140182023012712 140182521045180 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15892480 140731095884988 140731095885164 140731095885164 140731095887823 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 12986 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2984
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.002984
# 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): 305.512
CPU time (s): 2400.33
CPU user time (s): 2396.38
CPU system time (s): 3.95
CPU usage (%): 785.673
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002984
system time used= 0
maximum resident set size= 1384
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 3.78846 second user time and 4.38896 second system time
The end