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 (15234 MiB free)
memory of node 1: 16384 MiB (14226 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272410-1502716939/watcher-4272410-1502716939 -o /tmp/evaluation-result-4272410-1502716939/solver-4272410-1502716939 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 860834911 HOME/instance-4272410-1502716939.xml
running on 4 cores: 0,2,4,6
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
solver pid=10640, runsolver pid=10637
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.44 1.39 1.41 3/204 10647
/proc/meminfo: memFree=30162668/32770624 swapFree=67108860/67108860
[pid=10640] ppid=10637 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10640/stat : 10640 (xcsp3-exec) S 10637 10640 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25576521 9740288 345 18446744073709551615 4194304 5098028 140736866272176 140736866270280 139639205257852 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 21721088 140736866279802 140736866280006 140736866280006 140736866283499 0
/proc/10640/statm: 2378 345 289 221 0 87 0
[pid=10642] ppid=10640 vsize=13441356 memory=15952 CPUtime=0.01 cores=0,2,4,6
/proc/10642/stat : 10642 (java) S 10640 10640 7968 0 -1 1077944320 3750 0 0 0 1 0 0 0 20 0 7 0 25576529 13763948544 3988 18446744073709551615 4194304 4196468 140734497686912 140734497669456 139805619986167 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
/proc/10642/statm: 3360339 3988 2025 1 0 3349836 0
[pid=10642/tid=10643] ppid=10640 vsize=13441356 memory=7078076838863583841 CPUtime=0.01 cores=0,2,4,6
/proc/10642/task/10643/stat : 10643 (java) R 10640 10640 7968 0 -1 4202560 2521 0 0 0 1 0 0 0 20 0 7 0 25576529 13763948544 3988 18446744073709551615 4194304 4196468 140734497686912 139805624228624 139805604066654 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10644] ppid=10640 vsize=13441356 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10644/stat : 10644 (java) S 10640 10640 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 25576530 13763948544 3988 18446744073709551615 4194304 4196468 140734497686912 139805554420624 139805619996373 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10645] ppid=10640 vsize=13441356 memory=140718319023744 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10645/stat : 10645 (java) S 10640 10640 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 25576530 13763948544 3988 18446744073709551615 4194304 4196468 140734497686912 139805553367824 139805619996373 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10646] ppid=10640 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10646/stat : 10646 (java) S 10640 10640 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 25576530 13763948544 3988 18446744073709551615 4194304 4196468 140734497686912 139805552315536 139805619996373 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10647] ppid=10640 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10647/stat : 10647 (java) S 10640 10640 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 25576530 13763948544 3988 18446744073709551615 4194304 4196468 140734497686912 139805551262736 139805619996373 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10648] ppid=10640 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10648/stat : 10648 (java) S 10640 10640 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 25576531 13763948544 3988 18446744073709551615 4194304 4196468 140734497686912 139805098362992 139805619997314 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 17332 KiB
[startup+0.210058 s]*
/proc/loadavg: 1.44 1.39 1.41 4/213 10656
/proc/meminfo: memFree=30152612/32770624 swapFree=67108860/67108860
[pid=10640] ppid=10637 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10640/stat : 10640 (xcsp3-exec) S 10637 10640 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25576521 9740288 345 18446744073709551615 4194304 5098028 140736866272176 140736866270280 139639205257852 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 21721088 140736866279802 140736866280006 140736866280006 140736866283499 0
/proc/10640/statm: 2378 345 289 221 0 87 0
[pid=10642] ppid=10640 vsize=13974352 memory=27652 CPUtime=0.11 cores=0,2,4,6
/proc/10642/stat : 10642 (java) S 10640 10640 7968 0 -1 1077944320 5339 0 0 0 10 1 0 0 20 0 15 0 25576529 14309736448 6913 18446744073709551615 4194304 4196468 140734497686912 140734497669456 139805619986167 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
/proc/10642/statm: 3493588 6913 2748 1 0 3482964 0
[pid=10642/tid=10643] ppid=10640 vsize=13974352 memory=7078076838863583841 CPUtime=0.08 cores=0,2,4,6
/proc/10642/task/10643/stat : 10643 (java) R 10640 10640 7968 0 -1 4202560 3478 0 0 0 7 1 0 0 20 0 15 0 25576529 14309736448 6978 18446744073709551615 4194304 4196468 140734497686912 139805624202320 139805601392462 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10644] ppid=10640 vsize=13974352 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10644/stat : 10644 (java) S 10640 10640 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25576530 14309736448 6978 18446744073709551615 4194304 4196468 140734497686912 139805554420624 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10645] ppid=10640 vsize=13974352 memory=140718319023744 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10645/stat : 10645 (java) S 10640 10640 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25576530 14309736448 6978 18446744073709551615 4194304 4196468 140734497686912 139805553367824 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10646] ppid=10640 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10646/stat : 10646 (java) S 10640 10640 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25576530 14309736448 6978 18446744073709551615 4194304 4196468 140734497686912 139805552315536 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10647] ppid=10640 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10647/stat : 10647 (java) S 10640 10640 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25576530 14309736448 6978 18446744073709551615 4194304 4196468 140734497686912 139805551262736 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10648] ppid=10640 vsize=13974352 memory=140718319023744 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10648/stat : 10648 (java) S 10640 10640 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25576531 14309736448 6978 18446744073709551615 4194304 4196468 140734497686912 139805098362992 139805619997314 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10649] ppid=10640 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10649/stat : 10649 (java) S 10640 10640 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 25576532 14309736448 6978 18446744073709551615 4194304 4196468 140734497686912 139805097308960 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10650] ppid=10640 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10650/stat : 10650 (java) S 10640 10640 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 25576532 14309736448 6978 18446744073709551615 4194304 4196468 140734497686912 139805096256624 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10651] ppid=10640 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10651/stat : 10651 (java) S 10640 10640 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25576534 14309736448 6978 18446744073709551615 4194304 4196468 140734497686912 139805095204944 139805620004763 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10652] ppid=10640 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10652/stat : 10652 (java) S 10640 10640 7968 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 25576535 14309736448 6978 18446744073709551615 4194304 4196468 140734497686912 139805094152816 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10653] ppid=10640 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10653/stat : 10653 (java) R 10640 10640 7968 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 15 0 25576535 14309736448 6978 18446744073709551615 4194304 4196468 140734497686912 139805093100016 139805597905792 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10654] ppid=10640 vsize=13974352 memory=140718319023744 CPUtime=0.01 cores=0,2,4,6
/proc/10642/task/10654/stat : 10654 (java) S 10640 10640 7968 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 15 0 25576535 14309736448 6978 18446744073709551615 4194304 4196468 140734497686912 139805092047728 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10655] ppid=10640 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10655/stat : 10655 (java) S 10640 10640 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25576535 14309736448 6978 18446744073709551615 4194304 4196468 140734497686912 139805090995168 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10656] ppid=10640 vsize=13974352 memory=140718319023744 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10656/stat : 10656 (java) S 10640 10640 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25576539 14309736448 6978 18446744073709551615 4194304 4196468 140734497686912 139805089941936 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29032 KiB
[startup+0.310461 s]*
/proc/loadavg: 1.44 1.39 1.41 4/213 10656
/proc/meminfo: memFree=30141352/32770624 swapFree=67108860/67108860
[pid=10640] ppid=10637 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10640/stat : 10640 (xcsp3-exec) S 10637 10640 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25576521 9740288 345 18446744073709551615 4194304 5098028 140736866272176 140736866270280 139639205257852 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 21721088 140736866279802 140736866280006 140736866280006 140736866283499 0
/proc/10640/statm: 2378 345 289 221 0 87 0
[pid=10642] ppid=10640 vsize=13974352 memory=39776 CPUtime=0.31 cores=0,2,4,6
/proc/10642/stat : 10642 (java) S 10640 10640 7968 0 -1 1077944320 9144 0 0 0 28 3 0 0 20 0 15 0 25576529 14309736448 9944 18446744073709551615 4194304 4196468 140734497686912 140734497669456 139805619986167 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
/proc/10642/statm: 3493588 9944 3020 1 0 3482964 0
[pid=10642/tid=10643] ppid=10640 vsize=13974352 memory=4278483708103473607 CPUtime=0.18 cores=0,2,4,6
/proc/10642/task/10643/stat : 10643 (java) R 10640 10640 7968 0 -1 4202560 6266 0 0 0 16 2 0 0 20 0 15 0 25576529 14309736448 9944 18446744073709551615 4194304 4196468 140734497686912 139805624204256 139805228870792 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10644] ppid=10640 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10644/stat : 10644 (java) S 10640 10640 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25576530 14309736448 9944 18446744073709551615 4194304 4196468 140734497686912 139805554420624 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10645] ppid=10640 vsize=13974352 memory=8248408006974860141 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10645/stat : 10645 (java) S 10640 10640 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25576530 14309736448 9944 18446744073709551615 4194304 4196468 140734497686912 139805553367824 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10646] ppid=10640 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10646/stat : 10646 (java) S 10640 10640 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25576530 14309736448 9944 18446744073709551615 4194304 4196468 140734497686912 139805552315536 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10647] ppid=10640 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10647/stat : 10647 (java) S 10640 10640 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25576530 14309736448 9944 18446744073709551615 4194304 4196468 140734497686912 139805551262736 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10648] ppid=10640 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10648/stat : 10648 (java) S 10640 10640 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25576531 14309736448 9944 18446744073709551615 4194304 4196468 140734497686912 139805098362992 139805619997314 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10649] ppid=10640 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10649/stat : 10649 (java) S 10640 10640 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 25576532 14309736448 9944 18446744073709551615 4194304 4196468 140734497686912 139805097308960 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10650] ppid=10640 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10650/stat : 10650 (java) S 10640 10640 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 25576532 14309736448 9944 18446744073709551615 4194304 4196468 140734497686912 139805096256624 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10651] ppid=10640 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10651/stat : 10651 (java) S 10640 10640 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25576534 14309736448 9944 18446744073709551615 4194304 4196468 140734497686912 139805095204944 139805620004763 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10652] ppid=10640 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10642/task/10652/stat : 10652 (java) R 10640 10640 7968 0 -1 4202560 466 0 0 0 2 0 0 0 20 0 15 0 25576535 14309736448 9944 18446744073709551615 4194304 4196468 140734497686912 139805094138840 139805612223294 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10653] ppid=10640 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/10642/task/10653/stat : 10653 (java) R 10640 10640 7968 0 -1 1077944384 382 0 0 0 2 0 0 0 20 0 15 0 25576535 14309736448 9944 18446744073709551615 4194304 4196468 140734497686912 139805093100016 139805619997314 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10654] ppid=10640 vsize=13974352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10642/task/10654/stat : 10654 (java) R 10640 10640 7968 0 -1 4202560 726 0 0 0 7 0 0 0 20 0 15 0 25576535 14309736448 9944 18446744073709551615 4194304 4196468 140734497686912 139805092047728 139805619998102 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10655] ppid=10640 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10655/stat : 10655 (java) S 10640 10640 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25576535 14309736448 9944 18446744073709551615 4194304 4196468 140734497686912 139805090995168 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10656] ppid=10640 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10656/stat : 10656 (java) S 10640 10640 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25576539 14309736448 9944 18446744073709551615 4194304 4196468 140734497686912 139805089941936 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41156 KiB
[startup+0.700863 s]
/proc/loadavg: 1.44 1.39 1.41 4/213 10656
/proc/meminfo: memFree=30130672/32770624 swapFree=67108860/67108860
[pid=10640] ppid=10637 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10640/stat : 10640 (xcsp3-exec) S 10637 10640 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25576521 9740288 345 18446744073709551615 4194304 5098028 140736866272176 140736866270280 139639205257852 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 21721088 140736866279802 140736866280006 140736866280006 140736866283499 0
/proc/10640/statm: 2378 345 289 221 0 87 0
[pid=10642] ppid=10640 vsize=13980732 memory=70084 CPUtime=1.25 cores=0,2,4,6
/proc/10642/stat : 10642 (java) S 10640 10640 7968 0 -1 1077944320 13113 0 0 0 120 5 0 0 20 0 15 0 25576529 14316269568 17521 18446744073709551615 4194304 4196468 140734497686912 140734497669456 139805619986167 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
/proc/10642/statm: 3495183 17521 3181 1 0 3483476 0
[pid=10642/tid=10643] ppid=10640 vsize=13980732 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/10642/task/10643/stat : 10643 (java) R 10640 10640 7968 0 -1 4202560 8463 0 0 0 52 4 0 0 20 0 15 0 25576529 14316269568 17521 18446744073709551615 4194304 4196468 140734497686912 139805624221728 139805232346471 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10644] ppid=10640 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10644/stat : 10644 (java) S 10640 10640 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25576530 14316269568 17521 18446744073709551615 4194304 4196468 140734497686912 139805554420624 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10645] ppid=10640 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10645/stat : 10645 (java) S 10640 10640 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25576530 14316269568 17521 18446744073709551615 4194304 4196468 140734497686912 139805553367824 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10646] ppid=10640 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10646/stat : 10646 (java) S 10640 10640 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25576530 14316269568 17521 18446744073709551615 4194304 4196468 140734497686912 139805552315536 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10647] ppid=10640 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10647/stat : 10647 (java) S 10640 10640 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25576530 14316269568 17521 18446744073709551615 4194304 4196468 140734497686912 139805551262736 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10648] ppid=10640 vsize=13980732 memory=2 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10648/stat : 10648 (java) S 10640 10640 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 25576531 14316269568 17521 18446744073709551615 4194304 4196468 140734497686912 139805098362992 139805619997314 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10649] ppid=10640 vsize=13980732 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10649/stat : 10649 (java) S 10640 10640 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 25576532 14316269568 17521 18446744073709551615 4194304 4196468 140734497686912 139805097308960 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10650] ppid=10640 vsize=13980732 memory=640 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10650/stat : 10650 (java) S 10640 10640 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 25576532 14316269568 17521 18446744073709551615 4194304 4196468 140734497686912 139805096256624 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10651] ppid=10640 vsize=13980732 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10651/stat : 10651 (java) S 10640 10640 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25576534 14316269568 17521 18446744073709551615 4194304 4196468 140734497686912 139805095204944 139805620004763 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10652] ppid=10640 vsize=13980732 memory=960 CPUtime=0.17 cores=0,2,4,6
/proc/10642/task/10652/stat : 10652 (java) S 10640 10640 7968 0 -1 1077944384 952 0 0 0 17 0 0 0 20 0 15 0 25576535 14316269568 17521 18446744073709551615 4194304 4196468 140734497686912 139805094152816 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10653] ppid=10640 vsize=13980732 memory=2248 CPUtime=0.16 cores=0,2,4,6
/proc/10642/task/10653/stat : 10653 (java) S 10640 10640 7968 0 -1 1077944384 889 0 0 0 16 0 0 0 20 0 15 0 25576535 14316269568 17521 18446744073709551615 4194304 4196468 140734497686912 139805093100016 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10654] ppid=10640 vsize=13980732 memory=4304 CPUtime=0.32 cores=0,2,4,6
/proc/10642/task/10654/stat : 10654 (java) R 10640 10640 7968 0 -1 4202560 1501 0 0 0 32 0 0 0 20 0 15 0 25576535 14316269568 17521 18446744073709551615 4194304 4196468 140734497686912 139805092042768 139805598535490 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10655] ppid=10640 vsize=13980732 memory=1588 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10655/stat : 10655 (java) S 10640 10640 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25576535 14316269568 17521 18446744073709551615 4194304 4196468 140734497686912 139805090995168 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10656] ppid=10640 vsize=13980732 memory=928 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10656/stat : 10656 (java) S 10640 10640 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25576539 14316269568 17521 18446744073709551615 4194304 4196468 140734497686912 139805089941936 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 71464 KiB
[startup+1.51086 s]
/proc/loadavg: 1.41 1.39 1.41 4/213 10657
/proc/meminfo: memFree=30086124/32770624 swapFree=67108860/67108860
[pid=10640] ppid=10637 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10640/stat : 10640 (xcsp3-exec) S 10637 10640 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25576521 9740288 345 18446744073709551615 4194304 5098028 140736866272176 140736866270280 139639205257852 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 21721088 140736866279802 140736866280006 140736866280006 140736866283499 0
/proc/10640/statm: 2378 345 289 221 0 87 0
[pid=10642] ppid=10640 vsize=13980732 memory=137160 CPUtime=3.67 cores=0,2,4,6
/proc/10642/stat : 10642 (java) S 10640 10640 7968 0 -1 1077944320 21914 0 0 0 361 6 0 0 20 0 15 0 25576529 14316269568 34290 18446744073709551615 4194304 4196468 140734497686912 140734497669456 139805619986167 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
/proc/10642/statm: 3495183 34290 3197 1 0 3483476 0
[pid=10642/tid=10643] ppid=10640 vsize=13980732 memory=4124 CPUtime=1.37 cores=0,2,4,6
/proc/10642/task/10643/stat : 10643 (java) R 10640 10640 7968 0 -1 4202560 10149 0 0 0 133 4 0 0 20 0 15 0 25576529 14316269568 34290 18446744073709551615 4194304 4196468 140734497686912 139805624223176 139805233431995 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10644] ppid=10640 vsize=13980732 memory=16784 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10644/stat : 10644 (java) S 10640 10640 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25576530 14316269568 34290 18446744073709551615 4194304 4196468 140734497686912 139805554420624 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10645] ppid=10640 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10645/stat : 10645 (java) S 10640 10640 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25576530 14316269568 34290 18446744073709551615 4194304 4196468 140734497686912 139805553367824 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10646] ppid=10640 vsize=13980732 memory=4498716170645055337 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10646/stat : 10646 (java) S 10640 10640 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 25576530 14316269568 34290 18446744073709551615 4194304 4196468 140734497686912 139805552315536 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10647] ppid=10640 vsize=13980732 memory=-7592603194364379846 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10647/stat : 10647 (java) S 10640 10640 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 25576530 14316269568 34290 18446744073709551615 4194304 4196468 140734497686912 139805551262736 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10648] ppid=10640 vsize=13980732 memory=-3395018481897132279 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10648/stat : 10648 (java) S 10640 10640 7968 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 25576531 14316269568 34290 18446744073709551615 4194304 4196468 140734497686912 139805098362992 139805619997314 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10649] ppid=10640 vsize=13980732 memory=-6305718303978972041 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/10642/task/10650/stat : 10650 (java) S 10640 10640 7968 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 25576532 14316269568 184750 18446744073709551615 4194304 4196468 140734497686912 139805096256624 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10651] ppid=10640 vsize=13980732 memory=739000 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10651/stat : 10651 (java) S 10640 10640 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25576534 14316269568 184750 18446744073709551615 4194304 4196468 140734497686912 139805095204944 139805620004763 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10652] ppid=10640 vsize=13980732 memory=741412 CPUtime=5.01 cores=0,2,4,6
/proc/10642/task/10652/stat : 10652 (java) S 10640 10640 7968 0 -1 1077944384 32630 0 0 0 498 3 0 0 20 0 15 0 25576535 14316269568 184750 18446744073709551615 4194304 4196468 140734497686912 139805094152816 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10653] ppid=10640 vsize=13980732 memory=1380 CPUtime=3.99 cores=0,2,4,6
/proc/10642/task/10653/stat : 10653 (java) S 10640 10640 7968 0 -1 1077944384 27270 0 0 0 397 2 0 0 20 0 15 0 25576535 14316269568 184750 18446744073709551615 4194304 4196468 140734497686912 139805093100016 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10654] ppid=10640 vsize=13980732 memory=0 CPUtime=0.93 cores=0,2,4,6
/proc/10642/task/10654/stat : 10654 (java) S 10640 10640 7968 0 -1 1077944384 12783 0 0 0 91 2 0 0 20 0 15 0 25576535 14316269568 184750 18446744073709551615 4194304 4196468 140734497686912 139805092047728 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10655] ppid=10640 vsize=13980732 memory=89 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10655/stat : 10655 (java) S 10640 10640 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25576535 14316269568 184750 18446744073709551615 4194304 4196468 140734497686912 139805090995168 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10656] ppid=10640 vsize=13980732 memory=1380 CPUtime=0.89 cores=0,2,4,6
/proc/10642/task/10656/stat : 10656 (java) S 10640 10640 7968 0 -1 1077944384 1618 0 0 0 45 44 0 0 20 0 15 0 25576539 14316269568 184750 18446744073709551615 4194304 4196468 140734497686912 139805089941936 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
Current children cumulated CPU time: 2411.99 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 740380 KiB
[startup+2442.3 s]
/proc/loadavg: 1.86 1.63 1.55 3/213 11940
/proc/meminfo: memFree=30240580/32770624 swapFree=67108860/67108860
[pid=10640] ppid=10637 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10640/stat : 10640 (xcsp3-exec) S 10637 10640 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25576521 9740288 345 18446744073709551615 4194304 5098028 140736866272176 140736866270280 139639205257852 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 21721088 140736866279802 140736866280006 140736866280006 140736866283499 0
/proc/10640/statm: 2378 345 289 221 0 87 0
[pid=10642] ppid=10640 vsize=13980732 memory=720692 CPUtime=2472.47 cores=0,2,4,6
/proc/10642/stat : 10642 (java) S 10640 10640 7968 0 -1 1077944320 262875 0 0 0 246915 332 0 0 20 0 15 0 25576529 14316269568 180173 18446744073709551615 4194304 4196468 140734497686912 140734497669456 139805619986167 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
/proc/10642/statm: 3495183 180173 3260 1 0 3483476 0
[pid=10642/tid=10643] ppid=10640 vsize=13980732 memory=721360 CPUtime=2431.43 cores=0,2,4,6
/proc/10642/task/10643/stat : 10643 (java) R 10640 10640 7968 0 -1 4202560 86599 0 0 0 243109 34 0 0 20 0 15 0 25576529 14316269568 180173 18446744073709551615 4194304 4196468 140734497686912 139805624225360 139805238112435 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10644] ppid=10640 vsize=13980732 memory=720156 CPUtime=7.04 cores=0,2,4,6
/proc/10642/task/10644/stat : 10644 (java) S 10640 10640 7968 0 -1 1077944384 22486 0 0 0 643 61 0 0 20 0 15 0 25576530 14316269568 180173 18446744073709551615 4194304 4196468 140734497686912 139805554420624 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10645] ppid=10640 vsize=13980732 memory=721928 CPUtime=7.01 cores=0,2,4,6
/proc/10642/task/10645/stat : 10645 (java) S 10640 10640 7968 0 -1 1077944384 20034 0 0 0 642 59 0 0 20 0 15 0 25576530 14316269568 180173 18446744073709551615 4194304 4196468 140734497686912 139805553367824 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10646] ppid=10640 vsize=13980732 memory=721692 CPUtime=7 cores=0,2,4,6
/proc/10642/task/10646/stat : 10646 (java) S 10640 10640 7968 0 -1 1077944384 21787 0 0 0 637 63 0 0 20 0 15 0 25576530 14316269568 180173 18446744073709551615 4194304 4196468 140734497686912 139805552315536 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10647] ppid=10640 vsize=13980732 memory=721596 CPUtime=7.02 cores=0,2,4,6
/proc/10642/task/10647/stat : 10647 (java) S 10640 10640 7968 0 -1 1077944384 22585 0 0 0 640 62 0 0 20 0 15 0 25576530 14316269568 180173 18446744073709551615 4194304 4196468 140734497686912 139805551262736 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10648] ppid=10640 vsize=13980732 memory=1380 CPUtime=2.01 cores=0,2,4,6
/proc/10642/task/10648/stat : 10648 (java) S 10640 10640 7968 0 -1 1077944384 13508 0 0 0 173 28 0 0 20 0 15 0 25576531 14316269568 180173 18446744073709551615 4194304 4196468 140734497686912 139805098362992 139805619997314 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10649] ppid=10640 vsize=13980732 memory=721360 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10649/stat : 10649 (java) S 10640 10640 7968 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 25576532 14316269568 180173 18446744073709551615 4194304 4196468 140734497686912 139805097309024 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10650] ppid=10640 vsize=13980732 memory=720692 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10650/stat : 10650 (java) S 10640 10640 7968 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 25576532 14316269568 180173 18446744073709551615 4194304 4196468 140734497686912 139805096256624 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10651] ppid=10640 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10651/stat : 10651 (java) S 10640 10640 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25576534 14316269568 180173 18446744073709551615 4194304 4196468 140734497686912 139805095204944 139805620004763 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10652] ppid=10640 vsize=13980732 memory=1380 CPUtime=5.04 cores=0,2,4,6
/proc/10642/task/10652/stat : 10652 (java) S 10640 10640 7968 0 -1 1077944384 32680 0 0 0 501 3 0 0 20 0 15 0 25576535 14316269568 180173 18446744073709551615 4194304 4196468 140734497686912 139805094152816 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10653] ppid=10640 vsize=13980732 memory=4124 CPUtime=3.99 cores=0,2,4,6
/proc/10642/task/10653/stat : 10653 (java) S 10640 10640 7968 0 -1 1077944384 27412 0 0 0 397 2 0 0 20 0 15 0 25576535 14316269568 180173 18446744073709551615 4194304 4196468 140734497686912 139805093100016 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10654] ppid=10640 vsize=13980732 memory=-8774313645642428999 CPUtime=0.93 cores=0,2,4,6
/proc/10642/task/10654/stat : 10654 (java) S 10640 10640 7968 0 -1 1077944384 12785 0 0 0 91 2 0 0 20 0 15 0 25576535 14316269568 180173 18446744073709551615 4194304 4196468 140734497686912 139805092047728 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10655] ppid=10640 vsize=13980732 memory=720692 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10655/stat : 10655 (java) S 10640 10640 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25576535 14316269568 180173 18446744073709551615 4194304 4196468 140734497686912 139805090995168 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10656] ppid=10640 vsize=13980732 memory=1380 CPUtime=0.91 cores=0,2,4,6
/proc/10642/task/10656/stat : 10656 (java) S 10640 10640 7968 0 -1 1077944384 1637 0 0 0 45 46 0 0 20 0 15 0 25576539 14316269568 180173 18446744073709551615 4194304 4196468 140734497686912 139805089941936 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
Current children cumulated CPU time: 2472.47 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 722072 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2489.5 s]
/proc/loadavg: 1.56 1.59 1.54 3/213 11944
/proc/meminfo: memFree=30215684/32770624 swapFree=67108860/67108860
[pid=10640] ppid=10637 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10640/stat : 10640 (xcsp3-exec) S 10637 10640 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25576521 9740288 345 18446744073709551615 4194304 5098028 140736866272176 140736866270280 139639205257852 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 21721088 140736866279802 140736866280006 140736866280006 140736866283499 0
/proc/10640/statm: 2378 345 289 221 0 87 0
[pid=10642] ppid=10640 vsize=13980732 memory=715024 CPUtime=2520.03 cores=0,2,4,6
/proc/10642/stat : 10642 (java) S 10640 10640 7968 0 -1 1077944320 267914 0 0 0 251668 335 0 0 20 0 15 0 25576529 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 140734497669456 139805619986167 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
/proc/10642/statm: 3495183 178756 3260 1 0 3483476 0
[pid=10642/tid=10643] ppid=10640 vsize=13980732 memory=1588 CPUtime=2478.4 cores=0,2,4,6
/proc/10642/task/10643/stat : 10643 (java) R 10640 10640 7968 0 -1 4202560 88969 0 0 0 247805 35 0 0 20 0 15 0 25576529 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805624225360 139805238112735 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10644] ppid=10640 vsize=13980732 memory=715024 CPUtime=7.17 cores=0,2,4,6
/proc/10642/task/10644/stat : 10644 (java) S 10640 10640 7968 0 -1 1077944384 23075 0 0 0 656 61 0 0 20 0 15 0 25576530 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805554420624 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10645] ppid=10640 vsize=13980732 memory=1380 CPUtime=7.15 cores=0,2,4,6
/proc/10642/task/10645/stat : 10645 (java) S 10640 10640 7968 0 -1 1077944384 20751 0 0 0 655 60 0 0 20 0 15 0 25576530 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805553367824 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10646] ppid=10640 vsize=13980732 memory=1380 CPUtime=7.13 cores=0,2,4,6
/proc/10642/task/10646/stat : 10646 (java) S 10640 10640 7968 0 -1 1077944384 22614 0 0 0 650 63 0 0 20 0 15 0 25576530 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805552315536 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10647] ppid=10640 vsize=13980732 memory=1380 CPUtime=7.15 cores=0,2,4,6
/proc/10642/task/10647/stat : 10647 (java) S 10640 10640 7968 0 -1 1077944384 22908 0 0 0 652 63 0 0 20 0 15 0 25576530 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805551262736 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10648] ppid=10640 vsize=13980732 memory=715024 CPUtime=2.06 cores=0,2,4,6
/proc/10642/task/10648/stat : 10648 (java) S 10640 10640 7968 0 -1 1077944384 13697 0 0 0 178 28 0 0 20 0 15 0 25576531 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805098362992 139805619997314 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10649] ppid=10640 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10649/stat : 10649 (java) S 10640 10640 7968 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 25576532 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805097309024 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10650] ppid=10640 vsize=13980732 memory=716048 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10650/stat : 10650 (java) S 10640 10640 7968 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 25576532 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805096256624 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10651] ppid=10640 vsize=13980732 memory=713 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10651/stat : 10651 (java) S 10640 10640 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25576534 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805095204944 139805620004763 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10652] ppid=10640 vsize=13980732 memory=1380 CPUtime=5.04 cores=0,2,4,6
/proc/10642/task/10652/stat : 10652 (java) S 10640 10640 7968 0 -1 1077944384 32682 0 0 0 501 3 0 0 20 0 15 0 25576535 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805094152816 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10653] ppid=10640 vsize=13980732 memory=1380 CPUtime=3.99 cores=0,2,4,6
/proc/10642/task/10653/stat : 10653 (java) S 10640 10640 7968 0 -1 1077944384 27414 0 0 0 397 2 0 0 20 0 15 0 25576535 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805093100016 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10654] ppid=10640 vsize=13980732 memory=717076 CPUtime=0.93 cores=0,2,4,6
/proc/10642/task/10654/stat : 10654 (java) S 10640 10640 7968 0 -1 1077944384 12787 0 0 0 91 2 0 0 20 0 15 0 25576535 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805092047728 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10655] ppid=10640 vsize=13980732 memory=719128 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10655/stat : 10655 (java) S 10640 10640 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25576535 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805090995168 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10656] ppid=10640 vsize=13980732 memory=4124 CPUtime=0.93 cores=0,2,4,6
/proc/10642/task/10656/stat : 10656 (java) S 10640 10640 7968 0 -1 1077944384 1655 0 0 0 46 47 0 0 20 0 15 0 25576539 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805089941936 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 716404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2489.51 s]
# the end of solver process 10640 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000943 s, system=0.000943 s
[startup+2489.51 s]
# the end of solver process 10642 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.7 s, system=3.35888 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2489.5 s]
/proc/loadavg: 1.56 1.59 1.54 3/213 11944
/proc/meminfo: memFree=30215684/32770624 swapFree=67108860/67108860
[pid=10640] ppid=10637 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10640/stat : 10640 (xcsp3-exec) S 10637 10640 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 25576521 9740288 345 18446744073709551615 4194304 5098028 140736866272176 140736866270280 139639205257852 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 21721088 140736866279802 140736866280006 140736866280006 140736866283499 0
/proc/10640/statm: 2378 345 289 221 0 87 0
[pid=10642] ppid=10640 vsize=13980732 memory=715024 CPUtime=2520.03 cores=0,2,4,6
/proc/10642/stat : 10642 (java) S 10640 10640 7968 0 -1 1077944320 267914 0 0 0 251668 335 0 0 20 0 15 0 25576529 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 140734497669456 139805619986167 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
/proc/10642/statm: 3495183 178756 3260 1 0 3483476 0
[pid=10642/tid=10643] ppid=10640 vsize=13980732 memory=1588 CPUtime=2478.4 cores=0,2,4,6
/proc/10642/task/10643/stat : 10643 (java) R 10640 10640 7968 0 -1 4202560 88969 0 0 0 247805 35 0 0 20 0 15 0 25576529 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805624225360 139805238112735 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10644] ppid=10640 vsize=13980732 memory=715024 CPUtime=7.17 cores=0,2,4,6
/proc/10642/task/10644/stat : 10644 (java) S 10640 10640 7968 0 -1 1077944384 23075 0 0 0 656 61 0 0 20 0 15 0 25576530 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805554420624 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10645] ppid=10640 vsize=13980732 memory=1380 CPUtime=7.15 cores=0,2,4,6
/proc/10642/task/10645/stat : 10645 (java) S 10640 10640 7968 0 -1 1077944384 20751 0 0 0 655 60 0 0 20 0 15 0 25576530 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805553367824 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10646] ppid=10640 vsize=13980732 memory=1380 CPUtime=7.13 cores=0,2,4,6
/proc/10642/task/10646/stat : 10646 (java) S 10640 10640 7968 0 -1 1077944384 22614 0 0 0 650 63 0 0 20 0 15 0 25576530 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805552315536 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10647] ppid=10640 vsize=13980732 memory=1380 CPUtime=7.15 cores=0,2,4,6
/proc/10642/task/10647/stat : 10647 (java) S 10640 10640 7968 0 -1 1077944384 22908 0 0 0 652 63 0 0 20 0 15 0 25576530 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805551262736 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10648] ppid=10640 vsize=13980732 memory=715024 CPUtime=2.06 cores=0,2,4,6
/proc/10642/task/10648/stat : 10648 (java) S 10640 10640 7968 0 -1 1077944384 13697 0 0 0 178 28 0 0 20 0 15 0 25576531 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805098362992 139805619997314 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10649] ppid=10640 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10649/stat : 10649 (java) S 10640 10640 7968 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 25576532 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805097309024 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10650] ppid=10640 vsize=13980732 memory=716048 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10650/stat : 10650 (java) S 10640 10640 7968 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 25576532 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805096256624 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10651] ppid=10640 vsize=13980732 memory=713 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10651/stat : 10651 (java) S 10640 10640 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25576534 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805095204944 139805620004763 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10652] ppid=10640 vsize=13980732 memory=1380 CPUtime=5.04 cores=0,2,4,6
/proc/10642/task/10652/stat : 10652 (java) S 10640 10640 7968 0 -1 1077944384 32682 0 0 0 501 3 0 0 20 0 15 0 25576535 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805094152816 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10653] ppid=10640 vsize=13980732 memory=1380 CPUtime=3.99 cores=0,2,4,6
/proc/10642/task/10653/stat : 10653 (java) S 10640 10640 7968 0 -1 1077944384 27414 0 0 0 397 2 0 0 20 0 15 0 25576535 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805093100016 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10654] ppid=10640 vsize=13980732 memory=717076 CPUtime=0.93 cores=0,2,4,6
/proc/10642/task/10654/stat : 10654 (java) S 10640 10640 7968 0 -1 1077944384 12787 0 0 0 91 2 0 0 20 0 15 0 25576535 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805092047728 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10655] ppid=10640 vsize=13980732 memory=719128 CPUtime=0 cores=0,2,4,6
/proc/10642/task/10655/stat : 10655 (java) S 10640 10640 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 25576535 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805090995168 139805619996373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
[pid=10642/tid=10656] ppid=10640 vsize=13980732 memory=4124 CPUtime=0.93 cores=0,2,4,6
/proc/10642/task/10656/stat : 10656 (java) S 10640 10640 7968 0 -1 1077944384 1655 0 0 0 46 47 0 0 20 0 15 0 25576539 14316269568 178756 18446744073709551615 4194304 4196468 140734497686912 139805089941936 139805619997314 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 16039936 140734497694130 140734497694306 140734497694306 140734497697743 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 716404 KiB
Child status: 143
Real time (s): 2489.51
CPU time (s): 2520.06
CPU user time (s): 2516.7
CPU system time (s): 3.35888
CPU usage (%): 101.227
Max. virtual memory (cumulated for all children) (KiB): 13992248
Max. memory (cumulated for all children) (KiB): 1436708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.7
system time used= 3.35888
maximum resident set size= 1444564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268770
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104044
involuntary context switches= 6783
# summary of solver processes directly reported to runsolver:
# pid: 10640,10642
# total CPU time (s): 2520.06
# total CPU user time (s): 2516.7
# total CPU system time (s): 3.35888
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.43 second user time and 17.974 second system time
The end