runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15254 MiB free)
memory of node 1: 16384 MiB (15512 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282152-1503143728/watcher-4282152-1503143728 -o /tmp/evaluation-result-4282152-1503143728/solver-4282152-1503143728 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18172 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1955329701 HOME/instance-4282152-1503143728.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29673, runsolver pid=29670
[startup+0.100173 s]*
/proc/loadavg: 1.86 1.69 1.61 3/203 29680
/proc/meminfo: memFree=31498940/32770624 swapFree=67108860/67108860
[pid=29673] ppid=29670 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29673/stat : 29673 (xcsp3-exec) S 29670 29673 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12779865 9740288 345 18446744073709551615 4194304 5098028 140724596827520 140724596825624 140321724469884 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38678528 140724596834681 140724596834886 140724596834886 140724596838379 0
/proc/29673/statm: 2378 345 289 221 0 87 0
[pid=29675] ppid=29673 vsize=13441356 memory=15040 CPUtime=0.01 cores=1,3,5,7
/proc/29675/stat : 29675 (java) S 29673 29673 18108 0 -1 1077944320 3561 0 0 0 1 0 0 0 20 0 7 0 12779873 13763948544 3760 18446744073709551615 4194304 4196468 140731458508832 140731458491376 140647929138935 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
/proc/29675/statm: 3360339 3760 1977 1 0 3349836 0
[pid=29675/tid=29676] ppid=29673 vsize=13441356 memory=-8713483618642589536 CPUtime=0.01 cores=1,3,5,7
/proc/29675/task/29676/stat : 29676 (java) R 29673 29673 18108 0 -1 4202560 2320 0 0 0 1 0 0 0 20 0 7 0 12779874 13763948544 3760 18446744073709551615 4194304 4196468 140731458508832 140647933381392 140647910788014 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29677] ppid=29673 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29677/stat : 29677 (java) S 29673 29673 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 12779874 13763948544 3760 18446744073709551615 4194304 4196468 140731458508832 140647528950544 140647929149141 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29678] ppid=29673 vsize=13441356 memory=140647474759296 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29678/stat : 29678 (java) S 29673 29673 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 12779874 13763948544 3760 18446744073709551615 4194304 4196468 140731458508832 140647527898000 140647929149141 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29679] ppid=29673 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29679/stat : 29679 (java) S 29673 29673 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 12779874 13763948544 3760 18446744073709551615 4194304 4196468 140731458508832 140647526845456 140647929149141 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29680] ppid=29673 vsize=13441356 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29680/stat : 29680 (java) S 29673 29673 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 12779874 13763948544 3760 18446744073709551615 4194304 4196468 140731458508832 140647525792912 140647929149141 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29681] ppid=29673 vsize=13441356 memory=140647474759296 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29681/stat : 29681 (java) S 29673 29673 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 12779876 13763948544 3760 18446744073709551615 4194304 4196468 140731458508832 140647407233008 140647929150082 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 16420 KiB
[startup+0.209847 s]*
/proc/loadavg: 1.86 1.69 1.61 3/212 29689
/proc/meminfo: memFree=31489428/32770624 swapFree=67108860/67108860
[pid=29673] ppid=29670 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29673/stat : 29673 (xcsp3-exec) S 29670 29673 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12779865 9740288 345 18446744073709551615 4194304 5098028 140724596827520 140724596825624 140321724469884 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38678528 140724596834681 140724596834886 140724596834886 140724596838379 0
/proc/29673/statm: 2378 345 289 221 0 87 0
[pid=29675] ppid=29673 vsize=13974352 memory=28124 CPUtime=0.09 cores=1,3,5,7
/proc/29675/stat : 29675 (java) S 29673 29673 18108 0 -1 1077944320 4984 0 0 0 8 1 0 0 20 0 15 0 12779873 14309736448 7031 18446744073709551615 4194304 4196468 140731458508832 140731458491376 140647929138935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
/proc/29675/statm: 3493588 7031 2723 1 0 3482964 0
[pid=29675/tid=29676] ppid=29673 vsize=13974352 memory=-6871798056524144002 CPUtime=0.06 cores=1,3,5,7
/proc/29675/task/29676/stat : 29676 (java) R 29673 29673 18108 0 -1 4202560 3119 0 0 0 6 0 0 0 20 0 15 0 12779874 14309736448 7031 18446744073709551615 4194304 4196468 140731458508832 140647933370544 140647929160861 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29677] ppid=29673 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29677/stat : 29677 (java) S 29673 29673 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12779874 14309736448 7031 18446744073709551615 4194304 4196468 140731458508832 140647528950544 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29678] ppid=29673 vsize=13974352 memory=140647474759296 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29678/stat : 29678 (java) S 29673 29673 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12779874 14309736448 7031 18446744073709551615 4194304 4196468 140731458508832 140647527898000 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29679] ppid=29673 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29679/stat : 29679 (java) S 29673 29673 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12779874 14309736448 7031 18446744073709551615 4194304 4196468 140731458508832 140647526845456 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29680] ppid=29673 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29680/stat : 29680 (java) S 29673 29673 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12779874 14309736448 7031 18446744073709551615 4194304 4196468 140731458508832 140647525792912 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29681] ppid=29673 vsize=13974352 memory=140647474759296 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29681/stat : 29681 (java) S 29673 29673 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12779876 14309736448 7031 18446744073709551615 4194304 4196468 140731458508832 140647407233008 140647929150082 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29682] ppid=29673 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29682/stat : 29682 (java) S 29673 29673 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12779876 14309736448 7031 18446744073709551615 4194304 4196468 140731458508832 140647406179232 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29683] ppid=29673 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29683/stat : 29683 (java) S 29673 29673 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12779876 14309736448 7031 18446744073709551615 4194304 4196468 140731458508832 140647405126640 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29684] ppid=29673 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29684/stat : 29684 (java) S 29673 29673 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12779879 14309736448 7031 18446744073709551615 4194304 4196468 140731458508832 140647404075216 140647929157531 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29685] ppid=29673 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29685/stat : 29685 (java) S 29673 29673 18108 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 15 0 12779879 14309736448 7031 18446744073709551615 4194304 4196468 140731458508832 140647403022832 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29686] ppid=29673 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29686/stat : 29686 (java) S 29673 29673 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12779879 14309736448 7031 18446744073709551615 4194304 4196468 140731458508832 140647401970288 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29687] ppid=29673 vsize=13974352 memory=140647474759296 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29687/stat : 29687 (java) S 29673 29673 18108 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 15 0 12779879 14309736448 7031 18446744073709551615 4194304 4196468 140731458508832 140647400917744 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29688] ppid=29673 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29688/stat : 29688 (java) S 29673 29673 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12779879 14309736448 7031 18446744073709551615 4194304 4196468 140731458508832 140647399865440 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29689] ppid=29673 vsize=13974352 memory=140647474759296 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29689/stat : 29689 (java) S 29673 29673 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12779884 14309736448 7031 18446744073709551615 4194304 4196468 140731458508832 140647398811952 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29504 KiB
[startup+0.31394 s]*
/proc/loadavg: 1.86 1.69 1.61 4/212 29689
/proc/meminfo: memFree=31476436/32770624 swapFree=67108860/67108860
[pid=29673] ppid=29670 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29673/stat : 29673 (xcsp3-exec) S 29670 29673 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12779865 9740288 345 18446744073709551615 4194304 5098028 140724596827520 140724596825624 140321724469884 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38678528 140724596834681 140724596834886 140724596834886 140724596838379 0
/proc/29673/statm: 2378 345 289 221 0 87 0
[pid=29675] ppid=29673 vsize=13974352 memory=37764 CPUtime=0.28 cores=1,3,5,7
/proc/29675/stat : 29675 (java) S 29673 29673 18108 0 -1 1077944320 8561 0 0 0 26 2 0 0 20 0 15 0 12779873 14309736448 9441 18446744073709551615 4194304 4196468 140731458508832 140731458491376 140647929138935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
/proc/29675/statm: 3493588 9441 2980 1 0 3482964 0
[pid=29675/tid=29676] ppid=29673 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/29675/task/29676/stat : 29676 (java) R 29673 29673 18108 0 -1 4202560 5753 0 0 0 16 1 0 0 20 0 15 0 12779874 14309736448 9441 18446744073709551615 4194304 4196468 140731458508832 140647933369120 140647929160861 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29677] ppid=29673 vsize=13974352 memory=-7305533901252758645 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29677/stat : 29677 (java) S 29673 29673 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12779874 14309736448 9441 18446744073709551615 4194304 4196468 140731458508832 140647528950544 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29678] ppid=29673 vsize=13974352 memory=8248408006974860141 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29678/stat : 29678 (java) S 29673 29673 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12779874 14309736448 9441 18446744073709551615 4194304 4196468 140731458508832 140647527898000 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29679] ppid=29673 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29679/stat : 29679 (java) S 29673 29673 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12779874 14309736448 9441 18446744073709551615 4194304 4196468 140731458508832 140647526845456 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29680] ppid=29673 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29680/stat : 29680 (java) S 29673 29673 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12779874 14309736448 9441 18446744073709551615 4194304 4196468 140731458508832 140647525792912 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29681] ppid=29673 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29681/stat : 29681 (java) S 29673 29673 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12779876 14309736448 9441 18446744073709551615 4194304 4196468 140731458508832 140647407233008 140647929150082 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29682] ppid=29673 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29682/stat : 29682 (java) S 29673 29673 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12779876 14309736448 9441 18446744073709551615 4194304 4196468 140731458508832 140647406179232 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29683] ppid=29673 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29683/stat : 29683 (java) S 29673 29673 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12779876 14309736448 9441 18446744073709551615 4194304 4196468 140731458508832 140647405126640 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29684] ppid=29673 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29684/stat : 29684 (java) S 29673 29673 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12779879 14309736448 9441 18446744073709551615 4194304 4196468 140731458508832 140647404075216 140647929157531 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29685] ppid=29673 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29675/task/29685/stat : 29685 (java) R 29673 29673 18108 0 -1 4202560 586 0 0 0 2 0 0 0 20 0 15 0 12779879 14309736448 9441 18446744073709551615 4194304 4196468 140731458508832 140647403022832 140647914047844 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29686] ppid=29673 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29675/task/29686/stat : 29686 (java) R 29673 29673 18108 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 15 0 12779879 14309736448 9441 18446744073709551615 4194304 4196468 140731458508832 140647401970288 140647929150082 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29687] ppid=29673 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/29675/task/29687/stat : 29687 (java) R 29673 29673 18108 0 -1 4202560 708 0 0 0 6 0 0 0 20 0 15 0 12779879 14309736448 9441 18446744073709551615 4194304 4196468 140731458508832 140647400917744 140647929150870 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29688] ppid=29673 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29688/stat : 29688 (java) S 29673 29673 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12779879 14309736448 9441 18446744073709551615 4194304 4196468 140731458508832 140647399865440 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29689] ppid=29673 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29689/stat : 29689 (java) S 29673 29673 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12779884 14309736448 9441 18446744073709551615 4194304 4196468 140731458508832 140647398811952 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 39144 KiB
[startup+0.701119 s]
/proc/loadavg: 1.86 1.69 1.61 3/212 29689
/proc/meminfo: memFree=31466736/32770624 swapFree=67108860/67108860
[pid=29673] ppid=29670 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29673/stat : 29673 (xcsp3-exec) S 29670 29673 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12779865 9740288 345 18446744073709551615 4194304 5098028 140724596827520 140724596825624 140321724469884 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38678528 140724596834681 140724596834886 140724596834886 140724596838379 0
/proc/29673/statm: 2378 345 289 221 0 87 0
[pid=29675] ppid=29673 vsize=13980732 memory=67080 CPUtime=1.28 cores=1,3,5,7
/proc/29675/stat : 29675 (java) S 29673 29673 18108 0 -1 1077944320 11988 0 0 0 123 5 0 0 20 0 15 0 12779873 14316269568 16770 18446744073709551615 4194304 4196468 140731458508832 140731458491376 140647929138935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
/proc/29675/statm: 3495183 16770 3164 1 0 3483476 0
[pid=29675/tid=29676] ppid=29673 vsize=13980732 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/29675/task/29676/stat : 29676 (java) R 29673 29673 18108 0 -1 4202560 7566 0 0 0 52 3 0 0 20 0 15 0 12779874 14316269568 16770 18446744073709551615 4194304 4196468 140731458508832 140647933377024 140647913219422 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29677] ppid=29673 vsize=13980732 memory=8320808402719881013 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29677/stat : 29677 (java) S 29673 29673 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12779874 14316269568 16770 18446744073709551615 4194304 4196468 140731458508832 140647528950544 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29678] ppid=29673 vsize=13980732 memory=6368748898559742033 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29678/stat : 29678 (java) S 29673 29673 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12779874 14316269568 16770 18446744073709551615 4194304 4196468 140731458508832 140647527898000 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29679] ppid=29673 vsize=13980732 memory=6935650355287975249 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29679/stat : 29679 (java) S 29673 29673 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12779874 14316269568 16770 18446744073709551615 4194304 4196468 140731458508832 140647526845456 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29680] ppid=29673 vsize=13980732 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29680/stat : 29680 (java) S 29673 29673 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12779874 14316269568 16770 18446744073709551615 4194304 4196468 140731458508832 140647525792912 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29681] ppid=29673 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29681/stat : 29681 (java) S 29673 29673 18108 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 12779876 14316269568 16770 18446744073709551615 4194304 4196468 140731458508832 140647407233008 140647929150082 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29682] ppid=29673 vsize=13980732 memory=140647361159792 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29682/stat : 29682 (java) S 29673 29673 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12779876 14316269568 16770 18446744073709551615 4194304 4196468 140731458508832 140647406179232 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29683] ppid=29673 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29683/stat : 29683 (java) S 29673 29673 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12779876 14316269568 16770 18446744073709551615 4194304 4196468 140731458508832 140647405126640 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29684] ppid=29673 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29684/stat : 29684 (java) S 29673 29673 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12779879 14316269568 16770 18446744073709551615 4194304 4196468 140731458508832 140647404075216 140647929157531 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29685] ppid=29673 vsize=13980732 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/29675/task/29685/stat : 29685 (java) R 29673 29673 18108 0 -1 4202560 1125 0 0 0 19 0 0 0 20 0 15 0 12779879 14316269568 16770 18446744073709551615 4194304 4196468 140731458508832 140647403016024 140647906733872 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29686] ppid=29673 vsize=13980732 memory=7809523229951467572 CPUtime=0.18 cores=1,3,5,7
/proc/29675/task/29686/stat : 29686 (java) R 29673 29673 18108 0 -1 4202560 619 0 0 0 18 0 0 0 20 0 15 0 12779879 14316269568 16770 18446744073709551615 4194304 4196468 140731458508832 140647401955280 140647912526501 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29687] ppid=29673 vsize=13980732 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/29675/task/29687/stat : 29687 (java) R 29673 29673 18108 0 -1 4202560 1371 0 0 0 32 0 0 0 20 0 15 0 12779879 14316269568 16770 18446744073709551615 4194304 4196468 140731458508832 140647400917744 140647929160282 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29688] ppid=29673 vsize=13980732 memory=-2897801490638248215 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29688/stat : 29688 (java) S 29673 29673 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12779879 14316269568 16770 18446744073709551615 4194304 4196468 140731458508832 140647399865440 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29689] ppid=29673 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29689/stat : 29689 (java) S 29673 29673 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12779884 14316269568 16770 18446744073709551615 4194304 4196468 140731458508832 140647398811952 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 68460 KiB
[startup+1.50082 s]
/proc/loadavg: 1.86 1.69 1.61 5/212 29689
/proc/meminfo: memFree=31428516/32770624 swapFree=67108860/67108860
[pid=29673] ppid=29670 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29673/stat : 29673 (xcsp3-exec) S 29670 29673 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12779865 9740288 345 18446744073709551615 4194304 5098028 140724596827520 140724596825624 140321724469884 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38678528 140724596834681 140724596834886 140724596834886 140724596838379 0
/proc/29673/statm: 2378 345 289 221 0 87 0
[pid=29675] ppid=29673 vsize=13980732 memory=97428 CPUtime=3.42 cores=1,3,5,7
/proc/29675/stat : 29675 (java) S 29673 29673 18108 0 -1 1077944320 23871 0 0 0 336 6 0 0 20 0 15 0 12779873 14316269568 24357 18446744073709551615 4194304 4196468 140731458508832 140731458491376 140647929138935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
/proc/29675/statm: 3495183 24357 3177 1 0 3483476 0
[pid=29675/tid=29676] ppid=29673 vsize=13980732 memory=-7966001734603266090 CPUtime=1.34 cores=1,3,5,7
/proc/29675/task/29676/stat : 29676 (java) R 29673 29673 18108 0 -1 4202560 8220 0 0 0 131 3 0 0 20 0 15 0 12779874 14316269568 24357 18446744073709551615 4194304 4196468 140731458508832 140647933376344 140647575422717 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29677] ppid=29673 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29677/stat : 29677 (java) S 29673 29673 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12779874 14316269568 24357 18446744073709551615 4194304 4196468 140731458508832 140647528950544 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29678] ppid=29673 vsize=13980732 memory=667680 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29678/stat : 29678 (java) S 29673 29673 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12779874 14316269568 24357 18446744073709551615 4194304 4196468 140731458508832 140647527898000 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29679] ppid=29673 vsize=13980732 memory=7811044301729261909 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29679/stat : 29679 (java) S 29673 29673 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12779874 14316269568 24357 18446744073709551615 4194304 4196468 140731458508832 140647526845456 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29680] ppid=29673 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29680/stat : 29680 (java) S 29673 29673 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12779874 14316269568 24357 18446744073709551615 4194304 4196468 140731458508832 140647525792912 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29681] ppid=29673 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29681/stat : 29681 (java) S 29673 29673 18108 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 12779876 14316269568 24357 18446744073709551615 4194304 4196468 140731458508832 140647407233008 140647929150082 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29682] ppid=29673 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=29675/tid=29681] ppid=29673 vsize=13980732 memory=702712 CPUtime=1.25 cores=1,3,5,7
/proc/29675/task/29681/stat : 29681 (java) S 29673 29673 18108 0 -1 1077944384 20558 0 0 0 95 30 0 0 20 0 15 0 12779876 14316269568 175678 18446744073709551615 4194304 4196468 140731458508832 140647407233008 140647929150082 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29682] ppid=29673 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29682/stat : 29682 (java) S 29673 29673 18108 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 12779876 14316269568 175678 18446744073709551615 4194304 4196468 140731458508832 140647406179232 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29683] ppid=29673 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29683/stat : 29683 (java) S 29673 29673 18108 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 12779876 14316269568 175678 18446744073709551615 4194304 4196468 140731458508832 140647405126640 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29684] ppid=29673 vsize=13980732 memory=-7385037593950845031 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29684/stat : 29684 (java) S 29673 29673 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12779879 14316269568 175678 18446744073709551615 4194304 4196468 140731458508832 140647404075216 140647929157531 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29685] ppid=29673 vsize=13980732 memory=4300 CPUtime=1.21 cores=1,3,5,7
/proc/29675/task/29685/stat : 29685 (java) S 29673 29673 18108 0 -1 1077944384 10853 0 0 0 120 1 0 0 20 0 15 0 12779879 14316269568 175678 18446744073709551615 4194304 4196468 140731458508832 140647403022832 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29686] ppid=29673 vsize=13980732 memory=1584 CPUtime=1.3 cores=1,3,5,7
/proc/29675/task/29686/stat : 29686 (java) S 29673 29673 18108 0 -1 1077944384 10882 0 0 0 129 1 0 0 20 0 15 0 12779879 14316269568 175678 18446744073709551615 4194304 4196468 140731458508832 140647401970288 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29687] ppid=29673 vsize=13980732 memory=1380 CPUtime=0.55 cores=1,3,5,7
/proc/29675/task/29687/stat : 29687 (java) S 29673 29673 18108 0 -1 1077944384 7243 0 0 0 54 1 0 0 20 0 15 0 12779879 14316269568 175678 18446744073709551615 4194304 4196468 140731458508832 140647400917744 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29688] ppid=29673 vsize=13980732 memory=702712 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29688/stat : 29688 (java) S 29673 29673 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12779879 14316269568 175678 18446744073709551615 4194304 4196468 140731458508832 140647399865440 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29689] ppid=29673 vsize=13980732 memory=15876 CPUtime=0.54 cores=1,3,5,7
/proc/29675/task/29689/stat : 29689 (java) S 29673 29673 18108 0 -1 1077944384 1387 0 0 0 23 31 0 0 20 0 15 0 12779884 14316269568 175678 18446744073709551615 4194304 4196468 140731458508832 140647398811952 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
Current children cumulated CPU time: 2449.84 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 704092 KiB
[startup+2502.3 s]
/proc/loadavg: 1.80 1.79 1.74 3/211 29934
/proc/meminfo: memFree=29987328/32770624 swapFree=67108860/67108860
[pid=29673] ppid=29670 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29673/stat : 29673 (xcsp3-exec) S 29670 29673 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12779865 9740288 345 18446744073709551615 4194304 5098028 140724596827520 140724596825624 140321724469884 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38678528 140724596834681 140724596834886 140724596834886 140724596838379 0
/proc/29673/statm: 2378 345 289 221 0 87 0
[pid=29675] ppid=29673 vsize=13980732 memory=702752 CPUtime=2509.86 cores=1,3,5,7
/proc/29675/stat : 29675 (java) S 29673 29673 18108 0 -1 1077944320 216109 0 0 0 250048 938 0 0 20 0 15 0 12779873 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140731458491376 140647929138935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
/proc/29675/statm: 3495183 175688 3237 1 0 3483476 0
[pid=29675/tid=29676] ppid=29673 vsize=13980732 memory=702752 CPUtime=2498.98 cores=1,3,5,7
/proc/29675/task/29676/stat : 29676 (java) R 29673 29673 18108 0 -1 4202560 147273 0 0 0 249031 867 0 0 20 0 15 0 12779874 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647933378720 140647575416355 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29677] ppid=29673 vsize=13980732 memory=702752 CPUtime=1.47 cores=1,3,5,7
/proc/29675/task/29677/stat : 29677 (java) S 29673 29673 18108 0 -1 1077944384 4007 0 0 0 143 4 0 0 20 0 15 0 12779874 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647528950544 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29678] ppid=29673 vsize=13980732 memory=702752 CPUtime=1.48 cores=1,3,5,7
/proc/29675/task/29678/stat : 29678 (java) S 29673 29673 18108 0 -1 1077944384 3973 0 0 0 143 5 0 0 20 0 15 0 12779874 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647527898000 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29679] ppid=29673 vsize=13980732 memory=702752 CPUtime=1.49 cores=1,3,5,7
/proc/29675/task/29679/stat : 29679 (java) S 29673 29673 18108 0 -1 1077944384 4331 0 0 0 145 4 0 0 20 0 15 0 12779874 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647526845456 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29680] ppid=29673 vsize=13980732 memory=702752 CPUtime=1.48 cores=1,3,5,7
/proc/29675/task/29680/stat : 29680 (java) S 29673 29673 18108 0 -1 1077944384 3842 0 0 0 144 4 0 0 20 0 15 0 12779874 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647525792912 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29681] ppid=29673 vsize=13980732 memory=1200 CPUtime=1.25 cores=1,3,5,7
/proc/29675/task/29681/stat : 29681 (java) S 29673 29673 18108 0 -1 1077944384 20902 0 0 0 95 30 0 0 20 0 15 0 12779876 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647407233008 140647929150082 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29682] ppid=29673 vsize=13980732 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29682/stat : 29682 (java) S 29673 29673 18108 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 12779876 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647406179232 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29683] ppid=29673 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29683/stat : 29683 (java) S 29673 29673 18108 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 12779876 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647405126640 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29684] ppid=29673 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29684/stat : 29684 (java) S 29673 29673 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12779879 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647404075216 140647929157531 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29685] ppid=29673 vsize=13980732 memory=702752 CPUtime=1.21 cores=1,3,5,7
/proc/29675/task/29685/stat : 29685 (java) S 29673 29673 18108 0 -1 1077944384 10857 0 0 0 120 1 0 0 20 0 15 0 12779879 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647403022832 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29686] ppid=29673 vsize=13980732 memory=1380 CPUtime=1.3 cores=1,3,5,7
/proc/29675/task/29686/stat : 29686 (java) S 29673 29673 18108 0 -1 1077944384 10886 0 0 0 129 1 0 0 20 0 15 0 12779879 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647401970288 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29687] ppid=29673 vsize=13980732 memory=702752 CPUtime=0.55 cores=1,3,5,7
/proc/29675/task/29687/stat : 29687 (java) S 29673 29673 18108 0 -1 1077944384 7249 0 0 0 54 1 0 0 20 0 15 0 12779879 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647400917744 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29688] ppid=29673 vsize=13980732 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29688/stat : 29688 (java) S 29673 29673 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12779879 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647399865440 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29689] ppid=29673 vsize=13980732 memory=702752 CPUtime=0.55 cores=1,3,5,7
/proc/29675/task/29689/stat : 29689 (java) S 29673 29673 18108 0 -1 1077944384 1408 0 0 0 23 32 0 0 20 0 15 0 12779884 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647398811952 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
Current children cumulated CPU time: 2509.86 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 704132 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.5 s]
/proc/loadavg: 1.90 1.81 1.75 3/211 29934
/proc/meminfo: memFree=29470440/32770624 swapFree=67108860/67108860
[pid=29673] ppid=29670 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29673/stat : 29673 (xcsp3-exec) S 29670 29673 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12779865 9740288 345 18446744073709551615 4194304 5098028 140724596827520 140724596825624 140321724469884 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38678528 140724596834681 140724596834886 140724596834886 140724596838379 0
/proc/29673/statm: 2378 345 289 221 0 87 0
[pid=29675] ppid=29673 vsize=13980732 memory=702752 CPUtime=2520.07 cores=1,3,5,7
/proc/29675/stat : 29675 (java) S 29673 29673 18108 0 -1 1077944320 216118 0 0 0 251069 938 0 0 20 0 15 0 12779873 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140731458491376 140647929138935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
/proc/29675/statm: 3495183 175688 3237 1 0 3483476 0
[pid=29675/tid=29676] ppid=29673 vsize=13980732 memory=702752 CPUtime=2509.18 cores=1,3,5,7
/proc/29675/task/29676/stat : 29676 (java) R 29673 29673 18108 0 -1 4202560 147278 0 0 0 250051 867 0 0 20 0 15 0 12779874 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647933378768 140647575416369 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29677] ppid=29673 vsize=13980732 memory=702752 CPUtime=1.47 cores=1,3,5,7
/proc/29675/task/29677/stat : 29677 (java) S 29673 29673 18108 0 -1 1077944384 4009 0 0 0 143 4 0 0 20 0 15 0 12779874 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647528950544 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29678] ppid=29673 vsize=13980732 memory=702752 CPUtime=1.49 cores=1,3,5,7
/proc/29675/task/29678/stat : 29678 (java) S 29673 29673 18108 0 -1 1077944384 3973 0 0 0 144 5 0 0 20 0 15 0 12779874 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647527898000 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29679] ppid=29673 vsize=13980732 memory=702752 CPUtime=1.49 cores=1,3,5,7
/proc/29675/task/29679/stat : 29679 (java) S 29673 29673 18108 0 -1 1077944384 4331 0 0 0 145 4 0 0 20 0 15 0 12779874 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647526845456 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29680] ppid=29673 vsize=13980732 memory=702752 CPUtime=1.48 cores=1,3,5,7
/proc/29675/task/29680/stat : 29680 (java) S 29673 29673 18108 0 -1 1077944384 3844 0 0 0 144 4 0 0 20 0 15 0 12779874 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647525792912 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29681] ppid=29673 vsize=13980732 memory=702752 CPUtime=1.26 cores=1,3,5,7
/proc/29675/task/29681/stat : 29681 (java) S 29673 29673 18108 0 -1 1077944384 20902 0 0 0 96 30 0 0 20 0 15 0 12779876 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647407233008 140647929150082 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29682] ppid=29673 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29682/stat : 29682 (java) S 29673 29673 18108 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 12779876 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647406179232 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29683] ppid=29673 vsize=13980732 memory=702752 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29683/stat : 29683 (java) S 29673 29673 18108 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 12779876 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647405126640 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29684] ppid=29673 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29684/stat : 29684 (java) S 29673 29673 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12779879 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647404075216 140647929157531 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29685] ppid=29673 vsize=13980732 memory=1380 CPUtime=1.21 cores=1,3,5,7
/proc/29675/task/29685/stat : 29685 (java) S 29673 29673 18108 0 -1 1077944384 10857 0 0 0 120 1 0 0 20 0 15 0 12779879 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647403022832 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29686] ppid=29673 vsize=13980732 memory=1380 CPUtime=1.3 cores=1,3,5,7
/proc/29675/task/29686/stat : 29686 (java) S 29673 29673 18108 0 -1 1077944384 10886 0 0 0 129 1 0 0 20 0 15 0 12779879 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647401970288 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29687] ppid=29673 vsize=13980732 memory=1380 CPUtime=0.55 cores=1,3,5,7
/proc/29675/task/29687/stat : 29687 (java) S 29673 29673 18108 0 -1 1077944384 7249 0 0 0 54 1 0 0 20 0 15 0 12779879 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647400917744 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29688] ppid=29673 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29688/stat : 29688 (java) S 29673 29673 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12779879 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647399865440 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29689] ppid=29673 vsize=13980732 memory=1380 CPUtime=0.55 cores=1,3,5,7
/proc/29675/task/29689/stat : 29689 (java) S 29673 29673 18108 0 -1 1077944384 1408 0 0 0 23 32 0 0 20 0 15 0 12779884 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647398811952 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 704132 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.51 s]
# the end of solver process 29673 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.7 s, system=9.39372 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2512.5 s]
/proc/loadavg: 1.90 1.81 1.75 3/211 29934
/proc/meminfo: memFree=29470440/32770624 swapFree=67108860/67108860
[pid=29673] ppid=29670 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29673/stat : 29673 (xcsp3-exec) S 29670 29673 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12779865 9740288 345 18446744073709551615 4194304 5098028 140724596827520 140724596825624 140321724469884 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38678528 140724596834681 140724596834886 140724596834886 140724596838379 0
/proc/29673/statm: 2378 345 289 221 0 87 0
[pid=29675] ppid=29673 vsize=13980732 memory=702752 CPUtime=2520.07 cores=1,3,5,7
/proc/29675/stat : 29675 (java) S 29673 29673 18108 0 -1 1077944320 216118 0 0 0 251069 938 0 0 20 0 15 0 12779873 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140731458491376 140647929138935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
/proc/29675/statm: 3495183 175688 3237 1 0 3483476 0
[pid=29675/tid=29676] ppid=29673 vsize=13980732 memory=702752 CPUtime=2509.18 cores=1,3,5,7
/proc/29675/task/29676/stat : 29676 (java) R 29673 29673 18108 0 -1 4202560 147278 0 0 0 250051 867 0 0 20 0 15 0 12779874 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647933378768 140647575416369 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29677] ppid=29673 vsize=13980732 memory=702752 CPUtime=1.47 cores=1,3,5,7
/proc/29675/task/29677/stat : 29677 (java) S 29673 29673 18108 0 -1 1077944384 4009 0 0 0 143 4 0 0 20 0 15 0 12779874 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647528950544 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29678] ppid=29673 vsize=13980732 memory=702752 CPUtime=1.49 cores=1,3,5,7
/proc/29675/task/29678/stat : 29678 (java) S 29673 29673 18108 0 -1 1077944384 3973 0 0 0 144 5 0 0 20 0 15 0 12779874 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647527898000 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29679] ppid=29673 vsize=13980732 memory=702752 CPUtime=1.49 cores=1,3,5,7
/proc/29675/task/29679/stat : 29679 (java) S 29673 29673 18108 0 -1 1077944384 4331 0 0 0 145 4 0 0 20 0 15 0 12779874 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647526845456 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29680] ppid=29673 vsize=13980732 memory=702752 CPUtime=1.48 cores=1,3,5,7
/proc/29675/task/29680/stat : 29680 (java) S 29673 29673 18108 0 -1 1077944384 3844 0 0 0 144 4 0 0 20 0 15 0 12779874 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647525792912 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29681] ppid=29673 vsize=13980732 memory=702752 CPUtime=1.26 cores=1,3,5,7
/proc/29675/task/29681/stat : 29681 (java) S 29673 29673 18108 0 -1 1077944384 20902 0 0 0 96 30 0 0 20 0 15 0 12779876 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647407233008 140647929150082 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29682] ppid=29673 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29682/stat : 29682 (java) S 29673 29673 18108 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 12779876 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647406179232 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29683] ppid=29673 vsize=13980732 memory=702752 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29683/stat : 29683 (java) S 29673 29673 18108 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 12779876 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647405126640 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29684] ppid=29673 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29684/stat : 29684 (java) S 29673 29673 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12779879 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647404075216 140647929157531 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29685] ppid=29673 vsize=13980732 memory=1380 CPUtime=1.21 cores=1,3,5,7
/proc/29675/task/29685/stat : 29685 (java) S 29673 29673 18108 0 -1 1077944384 10857 0 0 0 120 1 0 0 20 0 15 0 12779879 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647403022832 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29686] ppid=29673 vsize=13980732 memory=1380 CPUtime=1.3 cores=1,3,5,7
/proc/29675/task/29686/stat : 29686 (java) S 29673 29673 18108 0 -1 1077944384 10886 0 0 0 129 1 0 0 20 0 15 0 12779879 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647401970288 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29687] ppid=29673 vsize=13980732 memory=1380 CPUtime=0.55 cores=1,3,5,7
/proc/29675/task/29687/stat : 29687 (java) S 29673 29673 18108 0 -1 1077944384 7249 0 0 0 54 1 0 0 20 0 15 0 12779879 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647400917744 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29688] ppid=29673 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29675/task/29688/stat : 29688 (java) S 29673 29673 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12779879 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647399865440 140647929149141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
[pid=29675/tid=29689] ppid=29673 vsize=13980732 memory=1380 CPUtime=0.55 cores=1,3,5,7
/proc/29675/task/29689/stat : 29689 (java) S 29673 29673 18108 0 -1 1077944384 1408 0 0 0 23 32 0 0 20 0 15 0 12779884 14316269568 175688 18446744073709551615 4194304 4196468 140731458508832 140647398811952 140647929150082 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12791808 140731458511282 140731458511458 140731458511458 140731458514895 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 704132 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2512.51
CPU time (s): 2520.09
CPU user time (s): 2510.7
CPU system time (s): 9.39372
CPU usage (%): 100.302
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 7860988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.7
system time used= 9.39372
maximum resident set size= 7918620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216895
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70524
involuntary context switches= 1920
# summary of solver processes directly reported to runsolver:
# pid: 29673
# total CPU time (s): 2520.09
# total CPU user time (s): 2510.7
# total CPU system time (s): 9.39372
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9671 second user time and 19.6919 second system time
The end