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 (14166 MiB free)
memory of node 1: 16384 MiB (10951 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274522-1502852549/watcher-4274522-1502852549 -o /tmp/evaluation-result-4274522-1502852549/solver-4274522-1502852549 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502839307-13257 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 682590029 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274522-1502852549.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
Current StackSize limit: 8192 KiB
solver pid=14849, runsolver pid=14846
[startup+0.100167 s]*
/proc/loadavg: 1.58 1.65 1.71 2/215 14864
/proc/meminfo: memFree=25699628/32770624 swapFree=67108860/67108860
[pid=14849] ppid=14846 vsize=13980164 memory=34196 CPUtime=0.12 cores=0,2,4,6
/proc/14849/stat : 14849 (java) S 14846 14849 13226 0 -1 1077944320 8460 0 0 0 11 1 0 0 20 0 15 0 118342893 14315687936 8549 33554432000 4194304 4196468 140731341755568 140731341738112 140611539599095 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
/proc/14849/statm: 3495041 8549 3410 1 0 3482761 0
[pid=14849/tid=14851] ppid=14846 vsize=13980164 memory=-6966715213708813952 CPUtime=0.09 cores=0,2,4,6
/proc/14849/task/14851/stat : 14851 (java) R 14846 14849 13226 0 -1 4202560 6407 0 0 0 8 1 0 0 20 0 15 0 118342893 14315687936 8549 33554432000 4194304 4196468 140731341755568 140611543808624 140611523642725 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14852] ppid=14846 vsize=13980164 memory=5793855944177912249 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14852/stat : 14852 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14315687936 8549 33554432000 4194304 4196468 140731341755568 140611469687824 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14853] ppid=14846 vsize=13980164 memory=140693168019072 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14853/stat : 14853 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14315687936 8549 33554432000 4194304 4196468 140731341755568 140611468635280 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14854] ppid=14846 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14854/stat : 14854 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14315687936 8549 33554432000 4194304 4196468 140731341755568 140611467582224 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14855] ppid=14846 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14855/stat : 14855 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14315687936 8549 33554432000 4194304 4196468 140731341755568 140611466529680 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14856] ppid=14846 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14856/stat : 14856 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342895 14315687936 8549 33554432000 4194304 4196468 140731341755568 140610721171696 140611539610242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14857] ppid=14846 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14857/stat : 14857 (java) S 14846 14849 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118342896 14315687936 8549 33554432000 4194304 4196468 140731341755568 140610652595360 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14858] ppid=14846 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14858/stat : 14858 (java) S 14846 14849 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118342896 14315687936 8549 33554432000 4194304 4196468 140731341755568 140610651542256 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14859] ppid=14846 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14859/stat : 14859 (java) S 14846 14849 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118342898 14315687936 8549 33554432000 4194304 4196468 140731341755568 140610650490832 140611539617691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14860] ppid=14846 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14860/stat : 14860 (java) S 14846 14849 13226 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 118342898 14315687936 8549 33554432000 4194304 4196468 140731341755568 140610649438960 140611539610242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14861] ppid=14846 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14861/stat : 14861 (java) S 14846 14849 13226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118342898 14315687936 8549 33554432000 4194304 4196468 140731341755568 140610648386416 140611539610242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14862] ppid=14846 vsize=13980164 memory=140693168019072 CPUtime=0.02 cores=0,2,4,6
/proc/14849/task/14862/stat : 14862 (java) S 14846 14849 13226 0 -1 1077944384 372 0 0 0 2 0 0 0 20 0 15 0 118342899 14315687936 8549 33554432000 4194304 4196468 140731341755568 140610647333360 140611539610242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14863] ppid=14846 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14863/stat : 14863 (java) S 14846 14849 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118342899 14315687936 8549 33554432000 4194304 4196468 140731341755568 140610646281056 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14864] ppid=14846 vsize=13980164 memory=140693168019072 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14864/stat : 14864 (java) S 14846 14849 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118342899 14315687936 8549 33554432000 4194304 4196468 140731341755568 140610645228080 140611539610242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 34196 KiB
[startup+0.212736 s]*
/proc/loadavg: 1.58 1.65 1.71 3/215 14864
/proc/meminfo: memFree=25691500/32770624 swapFree=67108860/67108860
[pid=14849] ppid=14846 vsize=13980164 memory=43808 CPUtime=0.3 cores=0,2,4,6
/proc/14849/stat : 14849 (java) S 14846 14849 13226 0 -1 1077944320 9501 0 0 0 28 2 0 0 20 0 15 0 118342893 14315687936 10952 33554432000 4194304 4196468 140731341755568 140731341738112 140611539599095 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
/proc/14849/statm: 3495041 10952 3655 1 0 3482761 0
[pid=14849/tid=14851] ppid=14846 vsize=13980164 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/14849/task/14851/stat : 14851 (java) R 14846 14849 13226 0 -1 4202560 7071 0 0 0 19 1 0 0 20 0 15 0 118342893 14315687936 10952 33554432000 4194304 4196468 140731341755568 140611543799296 140611539621021 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14852] ppid=14846 vsize=13980164 memory=4211974419372809610 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14852/stat : 14852 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14315687936 10952 33554432000 4194304 4196468 140731341755568 140611469687824 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14853] ppid=14846 vsize=13980164 memory=140693168019072 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14853/stat : 14853 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14315687936 10952 33554432000 4194304 4196468 140731341755568 140611468635280 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14854] ppid=14846 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14854/stat : 14854 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14315687936 10952 33554432000 4194304 4196468 140731341755568 140611467582224 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14855] ppid=14846 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14855/stat : 14855 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14315687936 10952 33554432000 4194304 4196468 140731341755568 140611466529680 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14856] ppid=14846 vsize=13980164 memory=140693168019072 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14856/stat : 14856 (java) S 14846 14849 13226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118342895 14315687936 10952 33554432000 4194304 4196468 140731341755568 140610721171696 140611539610242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14857] ppid=14846 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14857/stat : 14857 (java) S 14846 14849 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118342896 14315687936 10952 33554432000 4194304 4196468 140731341755568 140610652595360 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14858] ppid=14846 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14858/stat : 14858 (java) S 14846 14849 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118342896 14315687936 10952 33554432000 4194304 4196468 140731341755568 140610651542256 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14859] ppid=14846 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14859/stat : 14859 (java) S 14846 14849 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118342898 14315687936 10952 33554432000 4194304 4196468 140731341755568 140610650490832 140611539617691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14860] ppid=14846 vsize=13980164 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14849/task/14860/stat : 14860 (java) R 14846 14849 13226 0 -1 4202560 427 0 0 0 2 0 0 0 20 0 15 0 118342898 14315687936 10952 33554432000 4194304 4196468 140731341755568 140610649438960 140611516952656 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14861] ppid=14846 vsize=13980164 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/14849/task/14861/stat : 14861 (java) R 14846 14849 13226 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 15 0 118342898 14315687936 10952 33554432000 4194304 4196468 140731341755568 140610648386416 140611539610242 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14862] ppid=14846 vsize=13980164 memory=140693168019072 CPUtime=0.05 cores=0,2,4,6
/proc/14849/task/14862/stat : 14862 (java) R 14846 14849 13226 0 -1 4202560 412 0 0 0 5 0 0 0 20 0 15 0 118342899 14315687936 10952 33554432000 4194304 4196468 140731341755568 140610647333360 140611539611030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14863] ppid=14846 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14863/stat : 14863 (java) S 14846 14849 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118342899 14315687936 10952 33554432000 4194304 4196468 140731341755568 140610646281056 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14864] ppid=14846 vsize=13980164 memory=140693168019072 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14864/stat : 14864 (java) S 14846 14849 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118342899 14315687936 10952 33554432000 4194304 4196468 140731341755568 140610645228080 140611539610242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 43808 KiB
[startup+0.310247 s]*
/proc/loadavg: 1.58 1.65 1.71 3/215 14864
/proc/meminfo: memFree=25684056/32770624 swapFree=67108860/67108860
[pid=14849] ppid=14846 vsize=13980184 memory=51092 CPUtime=0.5 cores=0,2,4,6
/proc/14849/stat : 14849 (java) S 14846 14849 13226 0 -1 1077944320 10451 0 0 0 47 3 0 0 20 0 15 0 118342893 14315708416 12773 33554432000 4194304 4196468 140731341755568 140731341738112 140611539599095 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
/proc/14849/statm: 3495046 12773 3719 1 0 3482761 0
[pid=14849/tid=14851] ppid=14846 vsize=13980184 memory=4871374705135476842 CPUtime=0.3 cores=0,2,4,6
/proc/14849/task/14851/stat : 14851 (java) R 14846 14849 13226 0 -1 4202560 7582 0 0 0 28 2 0 0 20 0 15 0 118342893 14315708416 12773 33554432000 4194304 4196468 140731341755568 140611543828432 140611539611030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14852] ppid=14846 vsize=13980184 memory=4211974419372809610 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14852/stat : 14852 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14315708416 12773 33554432000 4194304 4196468 140731341755568 140611469687824 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14853] ppid=14846 vsize=13980184 memory=140693168021429 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14853/stat : 14853 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14315708416 12773 33554432000 4194304 4196468 140731341755568 140611468635280 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14854] ppid=14846 vsize=13980184 memory=140693062409658 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14854/stat : 14854 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14315708416 12773 33554432000 4194304 4196468 140731341755568 140611467582224 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14855] ppid=14846 vsize=13980184 memory=140693062405583 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14855/stat : 14855 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14315708416 12773 33554432000 4194304 4196468 140731341755568 140611466529680 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14856] ppid=14846 vsize=13980184 memory=140693168032325 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14856/stat : 14856 (java) S 14846 14849 13226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118342895 14315708416 12773 33554432000 4194304 4196468 140731341755568 140610721171696 140611539610242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14857] ppid=14846 vsize=13980184 memory=140693062414799 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14857/stat : 14857 (java) S 14846 14849 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118342896 14315708416 12773 33554432000 4194304 4196468 140731341755568 140610652595360 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14858] ppid=14846 vsize=13980184 memory=281386124820368 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14858/stat : 14858 (java) S 14846 14849 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118342896 14315708416 12773 33554432000 4194304 4196468 140731341755568 140610651542256 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14859] ppid=14846 vsize=13980184 memory=281386124818032 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14859/stat : 14859 (java) S 14846 14849 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118342898 14315708416 12773 33554432000 4194304 4196468 140731341755568 140610650490832 140611539617691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14860] ppid=14846 vsize=13980184 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/14849/task/14860/stat : 14860 (java) S 14846 14849 13226 0 -1 1077944384 660 0 0 0 5 0 0 0 20 0 15 0 118342898 14315708416 12773 33554432000 4194304 4196468 140731341755568 140610649438960 140611539610242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14861] ppid=14846 vsize=13980184 memory=2240 CPUtime=0.04 cores=0,2,4,6
/proc/14849/task/14861/stat : 14861 (java) S 14846 14849 13226 0 -1 1077944384 397 0 0 0 4 0 0 0 20 0 15 0 118342898 14315708416 12773 33554432000 4194304 4196468 140731341755568 140610648386416 140611539610242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14862] ppid=14846 vsize=13980184 memory=140693168019072 CPUtime=0.09 cores=0,2,4,6
/proc/14849/task/14862/stat : 14862 (java) R 14846 14849 13226 0 -1 4202560 428 0 0 0 9 0 0 0 20 0 15 0 118342899 14315708416 12773 33554432000 4194304 4196468 140731341755568 140610647333360 140611539611030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14863] ppid=14846 vsize=13980184 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14863/stat : 14863 (java) S 14846 14849 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118342899 14315708416 12773 33554432000 4194304 4196468 140731341755568 140610646281056 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14864] ppid=14846 vsize=13980184 memory=140693168019072 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14864/stat : 14864 (java) S 14846 14849 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118342899 14315708416 12773 33554432000 4194304 4196468 140731341755568 140610645228080 140611539610242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 51092 KiB
[startup+0.700835 s]
/proc/loadavg: 1.58 1.65 1.71 4/215 14864
/proc/meminfo: memFree=25671152/32770624 swapFree=67108860/67108860
[pid=14849] ppid=14846 vsize=13984280 memory=86868 CPUtime=1.19 cores=0,2,4,6
/proc/14849/stat : 14849 (java) S 14846 14849 13226 0 -1 1077944320 14312 0 0 0 114 5 0 0 20 0 15 0 118342893 14319902720 21717 33554432000 4194304 4196468 140731341755568 140731341738112 140611539599095 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
/proc/14849/statm: 3496070 21717 3769 1 0 3483785 0
[pid=14849/tid=14851] ppid=14846 vsize=13984280 memory=1952 CPUtime=0.67 cores=0,2,4,6
/proc/14849/task/14851/stat : 14851 (java) R 14846 14849 13226 0 -1 4202560 9891 0 0 0 64 3 0 0 20 0 15 0 118342893 14319902720 21717 33554432000 4194304 4196468 140731341755568 140611543834096 140611142022018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14852] ppid=14846 vsize=13984280 memory=8568 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14852/stat : 14852 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14319902720 21717 33554432000 4194304 4196468 140731341755568 140611469687824 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14853] ppid=14846 vsize=13984280 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14853/stat : 14853 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14319902720 21717 33554432000 4194304 4196468 140731341755568 140611468635280 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14854] ppid=14846 vsize=13984280 memory=7662705889289527641 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14854/stat : 14854 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14319902720 21717 33554432000 4194304 4196468 140731341755568 140611467582224 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14855] ppid=14846 vsize=13984280 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14855/stat : 14855 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14319902720 21717 33554432000 4194304 4196468 140731341755568 140611466529680 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14856] ppid=14846 vsize=13984280 memory=5859271421084194152 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14856/stat : 14856 (java) S 14846 14849 13226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118342895 14319902720 21717 33554432000 4194304 4196468 140731341755568 140610721171696 140611539610242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14857] ppid=14846 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14857/stat : 14857 (java) S 14846 14849 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118342896 14319902720 21717 33554432000 4194304 4196468 140731341755568 140610652595360 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14858] ppid=14846 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14858/stat : 14858 (java) S 14846 14849 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118342896 14319902720 21717 33554432000 4194304 4196468 140731341755568 140610651542256 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14859] ppid=14846 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14859/stat : 14859 (java) S 14846 14849 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118342898 14319902720 21717 33554432000 4194304 4196468 140731341755568 140610650490832 140611539617691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14860] ppid=14846 vsize=13984280 memory=39 CPUtime=0.15 cores=0,2,4,6
/proc/14849/task/14860/stat : 14860 (java) R 14846 14849 13226 0 -1 4202560 1189 0 0 0 15 0 0 0 20 0 15 0 118342898 14319902720 21717 33554432000 4194304 4196468 140731341755568 140610649419976 140611523095883 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14861] ppid=14846 vsize=13984280 memory=4 CPUtime=0.11 cores=0,2,4,6
/proc/14849/task/14861/stat : 14861 (java) R 14846 14849 13226 0 -1 4202560 817 0 0 0 11 0 0 0 20 0 15 0 118342898 14319902720 21717 33554432000 4194304 4196468 140731341755568 140610648375408 140611518818357 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14862] ppid=14846 vsize=13984280 memory=6981 CPUtime=0.22 cores=0,2,4,6
/proc/14849/task/14862/stat : 14862 (java) S 14846 14849 13226 0 -1 1077944384 1032 0 0 0 22 0 0 0 20 0 15 0 118342899 14319902720 21717 33554432000 4194304 4196468 140731341755568 140610647333360 140611539610242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14863] ppid=14846 vsize=13984280 memory=281386125004272 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14863/stat : 14863 (java) S 14846 14849 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118342899 14319902720 21717 33554432000 4194304 4196468 140731341755568 140610646281056 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14864] ppid=14846 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14864/stat : 14864 (java) S 14846 14849 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118342899 14319902720 21717 33554432000 4194304 4196468 140731341755568 140610645228080 140611539610242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 86868 KiB
[startup+0.978658 s]
# the end of solver process 14849 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.89071 s, system=0.064143 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800835 s]
/proc/loadavg: 1.58 1.65 1.71 4/215 14864
/proc/meminfo: memFree=25671152/32770624 swapFree=67108860/67108860
[pid=14849] ppid=14846 vsize=13984280 memory=99588 CPUtime=1.5 cores=0,2,4,6
/proc/14849/stat : 14849 (java) S 14846 14849 13226 0 -1 1077944320 15477 0 0 0 144 6 0 0 20 0 15 0 118342893 14319902720 24897 33554432000 4194304 4196468 140731341755568 140731341738112 140611539599095 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
/proc/14849/statm: 3496070 24897 3777 1 0 3483785 0
[pid=14849/tid=14851] ppid=14846 vsize=13984280 memory=8851400225972064177 CPUtime=0.77 cores=0,2,4,6
/proc/14849/task/14851/stat : 14851 (java) R 14846 14849 13226 0 -1 4202560 9895 0 0 0 74 3 0 0 20 0 15 0 118342893 14319902720 24897 33554432000 4194304 4196468 140731341755568 140611543828736 140611141911122 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14852] ppid=14846 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14852/stat : 14852 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14319902720 24897 33554432000 4194304 4196468 140731341755568 140611469687824 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14853] ppid=14846 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14853/stat : 14853 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14319902720 24897 33554432000 4194304 4196468 140731341755568 140611468635280 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14854] ppid=14846 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14854/stat : 14854 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14319902720 24897 33554432000 4194304 4196468 140731341755568 140611467582224 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14855] ppid=14846 vsize=13984280 memory=6935649255878119504 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14855/stat : 14855 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14319902720 24897 33554432000 4194304 4196468 140731341755568 140611466529680 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14856] ppid=14846 vsize=13984280 memory=7739276948477997159 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14856/stat : 14856 (java) S 14846 14849 13226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118342895 14319902720 24897 33554432000 4194304 4196468 140731341755568 140610721171696 140611539610242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14857] ppid=14846 vsize=13984280 memory=8099279071866868839 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14857/stat : 14857 (java) S 14846 14849 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118342896 14319902720 24897 33554432000 4194304 4196468 140731341755568 140610652595360 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14858] ppid=14846 vsize=13984280 memory=7882236584511689302 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14858/stat : 14858 (java) S 14846 14849 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118342896 14319902720 24897 33554432000 4194304 4196468 140731341755568 140610651542256 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14859] ppid=14846 vsize=13984280 memory=5787527205409280080 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14859/stat : 14859 (java) S 14846 14849 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118342898 14319902720 24897 33554432000 4194304 4196468 140731341755568 140610650490832 140611539617691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14860] ppid=14846 vsize=13984280 memory=8311777531775520915 CPUtime=0.25 cores=0,2,4,6
/proc/14849/task/14860/stat : 14860 (java) R 14846 14849 13226 0 -1 4202560 1651 0 0 0 25 0 0 0 20 0 15 0 118342898 14319902720 24897 33554432000 4194304 4196468 140731341755568 140610649432152 140611520235013 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14861] ppid=14846 vsize=13984280 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/14849/task/14861/stat : 14861 (java) R 14846 14849 13226 0 -1 4202560 1463 0 0 0 21 0 0 0 20 0 15 0 118342898 14319902720 24897 33554432000 4194304 4196468 140731341755568 140610648367432 140611518844943 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14862] ppid=14846 vsize=13984280 memory=133361626 CPUtime=0.23 cores=0,2,4,6
/proc/14849/task/14862/stat : 14862 (java) S 14846 14849 13226 0 -1 1077944384 1084 0 0 0 23 0 0 0 20 0 15 0 118342899 14319902720 24897 33554432000 4194304 4196468 140731341755568 140610647333360 140611539610242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14863] ppid=14846 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14863/stat : 14863 (java) S 14846 14849 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118342899 14319902720 24897 33554432000 4194304 4196468 140731341755568 140610646281056 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14864] ppid=14846 vsize=13984280 memory=281386125096544 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14864/stat : 14864 (java) S 14846 14849 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118342899 14319902720 24897 33554432000 4194304 4196468 140731341755568 140610645228080 140611539610242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 99588 KiB
[startup+0.900883 s]
/proc/loadavg: 1.58 1.65 1.71 4/215 14864
/proc/meminfo: memFree=25671152/32770624 swapFree=67108860/67108860
[pid=14849] ppid=14846 vsize=13984280 memory=103956 CPUtime=1.8 cores=0,2,4,6
/proc/14849/stat : 14849 (java) S 14846 14849 13226 0 -1 1077944320 15520 0 0 0 174 6 0 0 20 0 15 0 118342893 14319902720 25989 33554432000 4194304 4196468 140731341755568 140731341738112 140611539599095 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
/proc/14849/statm: 3496070 25989 3780 1 0 3483785 0
[pid=14849/tid=14851] ppid=14846 vsize=13984280 memory=39 CPUtime=0.87 cores=0,2,4,6
/proc/14849/task/14851/stat : 14851 (java) R 14846 14849 13226 0 -1 4202560 9897 0 0 0 84 3 0 0 20 0 15 0 118342893 14319902720 25989 33554432000 4194304 4196468 140731341755568 140611543828736 140731343596864 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14852] ppid=14846 vsize=13984280 memory=4 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14852/stat : 14852 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14319902720 25989 33554432000 4194304 4196468 140731341755568 140611469687824 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14853] ppid=14846 vsize=13984280 memory=6981 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14853/stat : 14853 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14319902720 25989 33554432000 4194304 4196468 140731341755568 140611468635280 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14854] ppid=14846 vsize=13984280 memory=7377831205594491220 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14854/stat : 14854 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14319902720 25989 33554432000 4194304 4196468 140731341755568 140611467582224 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14855] ppid=14846 vsize=13984280 memory=7156904131060984657 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14855/stat : 14855 (java) S 14846 14849 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118342894 14319902720 25989 33554432000 4194304 4196468 140731341755568 140611466529680 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14856] ppid=14846 vsize=13984280 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14856/stat : 14856 (java) S 14846 14849 13226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118342895 14319902720 25989 33554432000 4194304 4196468 140731341755568 140610721171696 140611539610242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14857] ppid=14846 vsize=13984280 memory=8568 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14857/stat : 14857 (java) S 14846 14849 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118342896 14319902720 25989 33554432000 4194304 4196468 140731341755568 140610652595360 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14858] ppid=14846 vsize=13984280 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14858/stat : 14858 (java) S 14846 14849 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118342896 14319902720 25989 33554432000 4194304 4196468 140731341755568 140610651542256 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14859] ppid=14846 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14859/stat : 14859 (java) S 14846 14849 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118342898 14319902720 25989 33554432000 4194304 4196468 140731341755568 140610650490832 140611539617691 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14860] ppid=14846 vsize=13984280 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/14849/task/14860/stat : 14860 (java) R 14846 14849 13226 0 -1 4202560 1663 0 0 0 34 0 0 0 20 0 15 0 118342898 14319902720 25989 33554432000 4194304 4196468 140731341755568 140610649425024 140611519257344 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14861] ppid=14846 vsize=13984280 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/14849/task/14861/stat : 14861 (java) R 14846 14849 13226 0 -1 4202560 1490 0 0 0 31 0 0 0 20 0 15 0 118342898 14319902720 25989 33554432000 4194304 4196468 140731341755568 140610648372768 140611532695931 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14862] ppid=14846 vsize=13984280 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/14849/task/14862/stat : 14862 (java) S 14846 14849 13226 0 -1 1077944384 1086 0 0 0 23 0 0 0 20 0 15 0 118342899 14319902720 25989 33554432000 4194304 4196468 140731341755568 140610647333360 140611539610242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14863] ppid=14846 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14863/stat : 14863 (java) S 14846 14849 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118342899 14319902720 25989 33554432000 4194304 4196468 140731341755568 140610646281056 140611539609301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
[pid=14849/tid=14864] ppid=14846 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14849/task/14864/stat : 14864 (java) S 14846 14849 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118342899 14319902720 25989 33554432000 4194304 4196468 140731341755568 140610645228080 140611539610242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23752704 140731341759593 140731341759775 140731341759775 140731341762511 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 103956 KiB
Child status: 0
Real time (s): 0.978696
CPU time (s): 1.95485
CPU user time (s): 1.89071
CPU system time (s): 0.064143
CPU usage (%): 199.74
Max. virtual memory (cumulated for all children) (KiB): 13984280
Max. memory (cumulated for all children) (KiB): 103956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.89071
system time used= 0.064143
maximum resident set size= 108584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15576
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1578
involuntary context switches= 9
# summary of solver processes directly reported to runsolver:
# pid: 14849
# total CPU time (s): 1.95485
# total CPU user time (s): 1.89071
# total CPU system time (s): 0.064143
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.023468 second user time and 0.053814 second system time
The end