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 (2047 MiB free)
memory of node 1: 16384 MiB (6061 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403856-1568992673/watcher-4403856-1568992673 -o /tmp/evaluation-result-4403856-1568992673/solver-4403856-1568992673 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568991545-11250 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1066737045 HOME/instance-4403856-1568992673.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13148, runsolver pid=13145
[startup+0.10011 s]*
/proc/loadavg: 8.51 8.46 6.27 7/234 13164
/proc/meminfo: memFree=8285708/32770624 swapFree=66999044/67108860
[pid=13148] ppid=13145 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13148/stat : 13148 (xcsp3-exec) S 13145 13148 11218 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475532109 115843072 363 33554432000 4194304 5098028 140726410361968 140726410360072 139768881504892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18264064 140726410363770 140726410364013 140726410364013 140726410366922 0
/proc/13148/statm: 28282 363 305 221 0 87 0
[pid=13150] ppid=13148 vsize=15144776 memory=29712 CPUtime=0.12 cores=1,3,5,7
/proc/13150/stat : 13150 (java) S 13148 13148 11218 0 -1 1077944320 5891 0 0 0 12 0 0 0 20 0 15 0 475532109 15508250624 7428 33554432000 4194304 4196468 140735948227232 140735948209776 140208903802615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
/proc/13150/statm: 3786194 7428 3119 1 0 3748377 0
[pid=13150/tid=13151] ppid=13148 vsize=15144776 memory=8180089925722843723 CPUtime=0.09 cores=1,3,5,7
/proc/13150/task/13151/stat : 13151 (java) R 13148 13148 11218 0 -1 4202560 3749 0 0 0 9 0 0 0 20 0 15 0 475532110 15508250624 7494 33554432000 4194304 4196468 140735948227232 140208908035408 140208895822448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13152] ppid=13148 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13152/stat : 13152 (java) S 13148 13148 11218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475532110 15508250624 7494 33554432000 4194304 4196468 140735948227232 140208873515408 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13153] ppid=13148 vsize=15144776 memory=140006858966656 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13153/stat : 13153 (java) S 13148 13148 11218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475532110 15508250624 7494 33554432000 4194304 4196468 140735948227232 140208495003920 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13154] ppid=13148 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13154/stat : 13154 (java) S 13148 13148 11218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475532110 15508250624 7494 33554432000 4194304 4196468 140735948227232 140208493951632 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13155] ppid=13148 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13155/stat : 13155 (java) S 13148 13148 11218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475532110 15508250624 7494 33554432000 4194304 4196468 140735948227232 140208492898832 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13156] ppid=13148 vsize=15144776 memory=140006858966656 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13156/stat : 13156 (java) S 13148 13148 11218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475532112 15508250624 7494 33554432000 4194304 4196468 140735948227232 140207869368944 140208903813762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13157] ppid=13148 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13157/stat : 13157 (java) S 13148 13148 11218 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475532112 15508250624 7494 33554432000 4194304 4196468 140735948227232 140207868314912 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13158] ppid=13148 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13158/stat : 13158 (java) S 13148 13148 11218 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475532112 15508250624 7494 33554432000 4194304 4196468 140735948227232 140207867262576 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13159] ppid=13148 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13159/stat : 13159 (java) S 13148 13148 11218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475532115 15508250624 7494 33554432000 4194304 4196468 140735948227232 140207773510224 140208903821211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13160] ppid=13148 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13160/stat : 13160 (java) R 13148 13148 11218 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 475532115 15508250624 7494 33554432000 4194304 4196468 140735948227232 140207772457072 140208903813762 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13161] ppid=13148 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13161/stat : 13161 (java) R 13148 13148 11218 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 15 0 475532115 15508250624 7494 33554432000 4194304 4196468 140735948227232 140207771404272 140208887238353 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13162] ppid=13148 vsize=15144776 memory=140006858966656 CPUtime=0.02 cores=1,3,5,7
/proc/13150/task/13162/stat : 13162 (java) R 13148 13148 11218 0 -1 4202560 410 0 0 0 2 0 0 0 20 0 15 0 475532115 15508250624 7494 33554432000 4194304 4196468 140735948227232 140207770351984 140208896899451 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13163] ppid=13148 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13163/stat : 13163 (java) S 13148 13148 11218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475532115 15508250624 7494 33554432000 4194304 4196468 140735948227232 140207769299424 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13164] ppid=13148 vsize=15144776 memory=140006858966656 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13164/stat : 13164 (java) S 13148 13148 11218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475532115 15508250624 7494 33554432000 4194304 4196468 140735948227232 140207768247216 140208903813762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31164 KiB
[startup+0.210904 s]*
/proc/loadavg: 8.51 8.46 6.27 8/234 13164
/proc/meminfo: memFree=8272232/32770624 swapFree=66999044/67108860
[pid=13148] ppid=13145 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13148/stat : 13148 (xcsp3-exec) S 13145 13148 11218 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475532109 115843072 363 33554432000 4194304 5098028 140726410361968 140726410360072 139768881504892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18264064 140726410363770 140726410364013 140726410364013 140726410366922 0
/proc/13148/statm: 28282 363 305 221 0 87 0
[pid=13150] ppid=13148 vsize=15144776 memory=41812 CPUtime=0.34 cores=1,3,5,7
/proc/13150/stat : 13150 (java) S 13148 13148 11218 0 -1 1077944320 9666 0 0 0 32 2 0 0 20 0 15 0 475532109 15508250624 10453 33554432000 4194304 4196468 140735948227232 140735948209776 140208903802615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
/proc/13150/statm: 3786194 10453 3319 1 0 3748377 0
[pid=13150/tid=13151] ppid=13148 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/13150/task/13151/stat : 13151 (java) R 13148 13148 11218 0 -1 4202560 6687 0 0 0 18 2 0 0 20 0 15 0 475532110 15508250624 10453 33554432000 4194304 4196468 140735948227232 140208908032336 140208887883102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13152] ppid=13148 vsize=15144776 memory=9780 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13152/stat : 13152 (java) S 13148 13148 11218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475532110 15508250624 10453 33554432000 4194304 4196468 140735948227232 140208873515408 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13153] ppid=13148 vsize=15144776 memory=140006858979414 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13153/stat : 13153 (java) S 13148 13148 11218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475532110 15508250624 10453 33554432000 4194304 4196468 140735948227232 140208495003920 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13154] ppid=13148 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13154/stat : 13154 (java) S 13148 13148 11218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475532110 15508250624 10453 33554432000 4194304 4196468 140735948227232 140208493951632 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13155] ppid=13148 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13155/stat : 13155 (java) S 13148 13148 11218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475532110 15508250624 10453 33554432000 4194304 4196468 140735948227232 140208492898832 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13156] ppid=13148 vsize=15144776 memory=140006858966656 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13156/stat : 13156 (java) S 13148 13148 11218 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475532112 15508250624 10453 33554432000 4194304 4196468 140735948227232 140207869368944 140208903813762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13157] ppid=13148 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13157/stat : 13157 (java) S 13148 13148 11218 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475532112 15508250624 10453 33554432000 4194304 4196468 140735948227232 140207868314912 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13158] ppid=13148 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13158/stat : 13158 (java) S 13148 13148 11218 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475532112 15508250624 10453 33554432000 4194304 4196468 140735948227232 140207867262576 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13159] ppid=13148 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13159/stat : 13159 (java) S 13148 13148 11218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475532115 15508250624 10453 33554432000 4194304 4196468 140735948227232 140207773510224 140208903821211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13160] ppid=13148 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13150/task/13160/stat : 13160 (java) S 13148 13148 11218 0 -1 1077944384 433 0 0 0 3 0 0 0 20 0 15 0 475532115 15508250624 10453 33554432000 4194304 4196468 140735948227232 140207772457072 140208903813762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13161] ppid=13148 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/13150/task/13161/stat : 13161 (java) R 13148 13148 11218 0 -1 1077944384 339 0 0 0 2 0 0 0 20 0 15 0 475532115 15508250624 10453 33554432000 4194304 4196468 140735948227232 140207771404272 140208903813762 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13162] ppid=13148 vsize=15144776 memory=140006858966656 CPUtime=0.08 cores=1,3,5,7
/proc/13150/task/13162/stat : 13162 (java) R 13148 13148 11218 0 -1 4202560 908 0 0 0 8 0 0 0 20 0 15 0 475532115 15508250624 10453 33554432000 4194304 4196468 140735948227232 140207770351984 140208896039742 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13163] ppid=13148 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13163/stat : 13163 (java) S 13148 13148 11218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475532115 15508250624 10453 33554432000 4194304 4196468 140735948227232 140207769299424 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13164] ppid=13148 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13164/stat : 13164 (java) S 13148 13148 11218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475532115 15508250624 10453 33554432000 4194304 4196468 140735948227232 140207768247216 140208903813762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 43264 KiB
[startup+0.311401 s]*
/proc/loadavg: 8.51 8.46 6.27 7/234 13164
/proc/meminfo: memFree=8264712/32770624 swapFree=66999044/67108860
[pid=13148] ppid=13145 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13148/stat : 13148 (xcsp3-exec) S 13145 13148 11218 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475532109 115843072 363 33554432000 4194304 5098028 140726410361968 140726410360072 139768881504892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18264064 140726410363770 140726410364013 140726410364013 140726410366922 0
/proc/13148/statm: 28282 363 305 221 0 87 0
[pid=13150] ppid=13148 vsize=15149032 memory=51348 CPUtime=0.53 cores=1,3,5,7
/proc/13150/stat : 13150 (java) S 13148 13148 11218 0 -1 1077944320 11181 0 0 0 49 4 0 0 20 0 15 0 475532109 15512608768 12837 33554432000 4194304 4196468 140735948227232 140735948209776 140208903802615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
/proc/13150/statm: 3787258 12837 3373 1 0 3748377 0
[pid=13150/tid=13151] ppid=13148 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/13150/task/13151/stat : 13151 (java) R 13148 13148 11218 0 -1 4202560 7843 0 0 0 27 3 0 0 20 0 15 0 475532110 15512608768 12837 33554432000 4194304 4196468 140735948227232 140208908033728 140208887883102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13152] ppid=13148 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13152/stat : 13152 (java) S 13148 13148 11218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475532110 15512608768 12837 33554432000 4194304 4196468 140735948227232 140208873515408 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13153] ppid=13148 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13153/stat : 13153 (java) S 13148 13148 11218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475532110 15512608768 12837 33554432000 4194304 4196468 140735948227232 140208495003920 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13154] ppid=13148 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13154/stat : 13154 (java) S 13148 13148 11218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475532110 15512608768 12837 33554432000 4194304 4196468 140735948227232 140208493951632 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13155] ppid=13148 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13155/stat : 13155 (java) S 13148 13148 11218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475532110 15512608768 12837 33554432000 4194304 4196468 140735948227232 140208492898832 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13156] ppid=13148 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13156/stat : 13156 (java) S 13148 13148 11218 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475532112 15512608768 12837 33554432000 4194304 4196468 140735948227232 140207869368944 140208903813762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13157] ppid=13148 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13157/stat : 13157 (java) S 13148 13148 11218 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475532112 15512608768 12837 33554432000 4194304 4196468 140735948227232 140207868314912 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13158] ppid=13148 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13158/stat : 13158 (java) S 13148 13148 11218 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475532112 15512608768 12837 33554432000 4194304 4196468 140735948227232 140207867262576 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13159] ppid=13148 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13159/stat : 13159 (java) S 13148 13148 11218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475532115 15512608768 12837 33554432000 4194304 4196468 140735948227232 140207773510224 140208903821211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13160] ppid=13148 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/13150/task/13160/stat : 13160 (java) S 13148 13148 11218 0 -1 1077944384 483 0 0 0 4 0 0 0 20 0 15 0 475532115 15512608768 12837 33554432000 4194304 4196468 140735948227232 140207772457072 140208903813762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13161] ppid=13148 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/13150/task/13161/stat : 13161 (java) R 13148 13148 11218 0 -1 4202560 460 0 0 0 4 0 0 0 20 0 15 0 475532115 15512608768 12837 33554432000 4194304 4196468 140735948227232 140207771394656 140208888910609 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13162] ppid=13148 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/13150/task/13162/stat : 13162 (java) S 13148 13148 11218 0 -1 1077944384 1100 0 0 0 12 0 0 0 20 0 15 0 475532115 15512608768 12837 33554432000 4194304 4196468 140735948227232 140207770351984 140208903813762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13163] ppid=13148 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13163/stat : 13163 (java) S 13148 13148 11218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475532115 15512608768 12837 33554432000 4194304 4196468 140735948227232 140207769299424 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13164] ppid=13148 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13164/stat : 13164 (java) S 13148 13148 11218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475532115 15512608768 12837 33554432000 4194304 4196468 140735948227232 140207768247216 140208903813762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52800 KiB
[startup+0.700873 s]
/proc/loadavg: 8.51 8.46 6.27 9/234 13164
/proc/meminfo: memFree=8246812/32770624 swapFree=66999044/67108860
[pid=13148] ppid=13145 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13148/stat : 13148 (xcsp3-exec) S 13145 13148 11218 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475532109 115843072 363 33554432000 4194304 5098028 140726410361968 140726410360072 139768881504892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18264064 140726410363770 140726410364013 140726410364013 140726410366922 0
/proc/13148/statm: 28282 363 305 221 0 87 0
[pid=13150] ppid=13148 vsize=15151156 memory=106836 CPUtime=1.69 cores=1,3,5,7
/proc/13150/stat : 13150 (java) S 13148 13148 11218 0 -1 1077944320 13749 0 0 0 163 6 0 0 20 0 15 0 475532109 15514783744 26709 33554432000 4194304 4196468 140735948227232 140735948209776 140208903802615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
/proc/13150/statm: 3787789 26709 3452 1 0 3748889 0
[pid=13150/tid=13151] ppid=13148 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/13150/task/13151/stat : 13151 (java) R 13148 13148 11218 0 -1 4202560 8439 0 0 0 63 4 0 0 20 0 15 0 475532110 15514783744 26709 33554432000 4194304 4196468 140735948227232 140208908038480 140208542579721 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13152] ppid=13148 vsize=15151156 memory=52976 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13152/stat : 13152 (java) S 13148 13148 11218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475532110 15514783744 26709 33554432000 4194304 4196468 140735948227232 140208873515408 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13153] ppid=13148 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13153/stat : 13153 (java) S 13148 13148 11218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475532110 15514783744 26709 33554432000 4194304 4196468 140735948227232 140208495003920 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13154] ppid=13148 vsize=15151156 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13154/stat : 13154 (java) S 13148 13148 11218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475532110 15514783744 26709 33554432000 4194304 4196468 140735948227232 140208493951632 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13155] ppid=13148 vsize=15151156 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13155/stat : 13155 (java) S 13148 13148 11218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475532110 15514783744 26709 33554432000 4194304 4196468 140735948227232 140208492898832 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13156] ppid=13148 vsize=15151156 memory=9396 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13156/stat : 13156 (java) S 13148 13148 11218 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475532112 15514783744 26709 33554432000 4194304 4196468 140735948227232 140207869368944 140208903813762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13157] ppid=13148 vsize=15151156 memory=656 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13157/stat : 13157 (java) S 13148 13148 11218 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475532112 15514783744 26709 33554432000 4194304 4196468 140735948227232 140207868314912 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13158] ppid=13148 vsize=15151156 memory=3612 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13158/stat : 13158 (java) S 13148 13148 11218 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475532112 15514783744 26709 33554432000 4194304 4196468 140735948227232 140207867262576 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13159] ppid=13148 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13159/stat : 13159 (java) S 13148 13148 11218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475532115 15514783744 26709 33554432000 4194304 4196468 140735948227232 140207773510224 140208903821211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13160] ppid=13148 vsize=15151156 memory=1552 CPUtime=0.32 cores=1,3,5,7
/proc/13150/task/13160/stat : 13160 (java) R 13148 13148 11218 0 -1 4202560 1274 0 0 0 32 0 0 0 20 0 15 0 475532115 15514783744 26709 33554432000 4194304 4196468 140735948227232 140207772450264 140208888724368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13161] ppid=13148 vsize=15151156 memory=1204 CPUtime=0.34 cores=1,3,5,7
/proc/13150/task/13161/stat : 13161 (java) R 13148 13148 11218 0 -1 4202560 929 0 0 0 34 0 0 0 20 0 15 0 475532115 15514783744 26709 33554432000 4194304 4196468 140735948227232 140207771382400 140208887213625 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13162] ppid=13148 vsize=15151156 memory=1072 CPUtime=0.32 cores=1,3,5,7
/proc/13150/task/13162/stat : 13162 (java) S 13148 13148 11218 0 -1 1077944384 1802 0 0 0 32 0 0 0 20 0 15 0 475532115 15514783744 26709 33554432000 4194304 4196468 140735948227232 140207770351984 140208903813762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13163] ppid=13148 vsize=15151156 memory=6076 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13163/stat : 13163 (java) S 13148 13148 11218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475532115 15514783744 26709 33554432000 4194304 4196468 140735948227232 140207769299424 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13164] ppid=13148 vsize=15151156 memory=1544 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13164/stat : 13164 (java) S 13148 13148 11218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475532115 15514783744 26709 33554432000 4194304 4196468 140735948227232 140207768247216 140208903813762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 108288 KiB
[startup+1.50081 s]
/proc/loadavg: 8.51 8.46 6.27 6/234 13164
/proc/meminfo: memFree=8147784/32770624 swapFree=66999044/67108860
[pid=13148] ppid=13145 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13148/stat : 13148 (xcsp3-exec) S 13145 13148 11218 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475532109 115843072 363 33554432000 4194304 5098028 140726410361968 140726410360072 139768881504892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18264064 140726410363770 140726410364013 140726410364013 140726410366922 0
/proc/13148/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
[pid=13150/tid=13154] ppid=13148 vsize=15417412 memory=8546608 CPUtime=8.11 cores=1,3,5,7
/proc/13150/task/13154/stat : 13154 (java) S 13148 13148 11218 0 -1 1077944384 154376 0 0 0 455 356 0 0 20 0 19 0 475532110 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140208493951632 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13155] ppid=13148 vsize=15417412 memory=8546608 CPUtime=8.28 cores=1,3,5,7
/proc/13150/task/13155/stat : 13155 (java) S 13148 13148 11218 0 -1 1077944384 119711 0 0 0 453 375 0 0 20 0 19 0 475532110 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140208492898832 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13156] ppid=13148 vsize=15417412 memory=8546608 CPUtime=11.95 cores=1,3,5,7
/proc/13150/task/13156/stat : 13156 (java) S 13148 13148 11218 0 -1 1077944384 79547 0 0 0 1043 152 0 0 20 0 19 0 475532112 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207869368944 140208903813762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13157] ppid=13148 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13157/stat : 13157 (java) S 13148 13148 11218 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 475532112 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207868314976 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13158] ppid=13148 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13158/stat : 13158 (java) S 13148 13148 11218 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 19 0 475532112 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207867262592 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13159] ppid=13148 vsize=15417412 memory=8546608 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13159/stat : 13159 (java) S 13148 13148 11218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475532115 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207773510224 140208903821211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13160] ppid=13148 vsize=15417412 memory=3580 CPUtime=4.53 cores=1,3,5,7
/proc/13150/task/13160/stat : 13160 (java) S 13148 13148 11218 0 -1 1077944384 23806 0 0 0 451 2 0 0 20 0 19 0 475532115 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207772457072 140208903813762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13161] ppid=13148 vsize=15417412 memory=52980 CPUtime=3.77 cores=1,3,5,7
/proc/13150/task/13161/stat : 13161 (java) S 13148 13148 11218 0 -1 1077944384 19445 0 0 0 373 4 0 0 20 0 19 0 475532115 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207771404272 140208903813762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13162] ppid=13148 vsize=15417412 memory=8546608 CPUtime=0.85 cores=1,3,5,7
/proc/13150/task/13162/stat : 13162 (java) S 13148 13148 11218 0 -1 1077944384 13361 0 0 0 84 1 0 0 20 0 19 0 475532115 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207770351984 140208903813762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13163] ppid=13148 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13163/stat : 13163 (java) S 13148 13148 11218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475532115 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207769299424 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13164] ppid=13148 vsize=15417412 memory=1452 CPUtime=0.34 cores=1,3,5,7
/proc/13150/task/13164/stat : 13164 (java) S 13148 13148 11218 0 -1 1077944384 1324 0 0 0 16 18 0 0 20 0 19 0 475532115 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207768247216 140208903813762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13175] ppid=13148 vsize=15417412 memory=8546608 CPUtime=509.62 cores=1,3,5,7
/proc/13150/task/13175/stat : 13175 (java) R 13148 13148 11218 0 -1 4202560 674176 0 0 0 50923 39 0 0 20 0 19 0 475537369 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207759264632 140208540244032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13176] ppid=13148 vsize=15417412 memory=1452 CPUtime=506.14 cores=1,3,5,7
/proc/13150/task/13176/stat : 13176 (java) R 13148 13148 11218 0 -1 4202560 79415 0 0 0 50603 11 0 0 20 0 19 0 475537369 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207758213640 140208547937571 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13177] ppid=13148 vsize=15417412 memory=8546608 CPUtime=508.16 cores=1,3,5,7
/proc/13150/task/13177/stat : 13177 (java) R 13148 13148 11218 0 -1 4202560 520172 0 0 0 50787 29 0 0 20 0 19 0 475537369 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207757160416 140208540243458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13178] ppid=13148 vsize=15417412 memory=8546608 CPUtime=506.81 cores=1,3,5,7
/proc/13150/task/13178/stat : 13178 (java) R 13148 13148 11218 0 -1 4202560 42873 0 0 0 50672 9 0 0 20 0 19 0 475537369 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207756107368 140208547938223 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
Current children cumulated CPU time: 2136.28 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 8548060 KiB
[startup+642.301 s]
/proc/loadavg: 8.69 8.35 7.23 10/237 13343
/proc/meminfo: memFree=1705372/32770624 swapFree=66999044/67108860
[pid=13148] ppid=13145 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13148/stat : 13148 (xcsp3-exec) S 13145 13148 11218 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475532109 115843072 363 33554432000 4194304 5098028 140726410361968 140726410360072 139768881504892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18264064 140726410363770 140726410364013 140726410364013 140726410366922 0
/proc/13148/statm: 28282 363 305 221 0 87 0
[pid=13150] ppid=13148 vsize=15417412 memory=8546608 CPUtime=2375 cores=1,3,5,7
/proc/13150/stat : 13150 (java) S 13148 13148 11218 0 -1 1077944320 2325835 0 0 0 235713 1787 0 0 20 0 19 0 475532109 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140735948209776 140208903802615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
/proc/13150/statm: 3854353 2136652 3555 1 0 3815453 0
[pid=13150/tid=13151] ppid=13148 vsize=15417412 memory=8546608 CPUtime=50.8 cores=1,3,5,7
/proc/13150/task/13151/stat : 13151 (java) S 13148 13148 11218 0 -1 1077944384 16478 0 0 0 5040 40 0 0 20 0 19 0 475532110 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140208908043392 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13152] ppid=13148 vsize=15417412 memory=8546608 CPUtime=8.36 cores=1,3,5,7
/proc/13150/task/13152/stat : 13152 (java) S 13148 13148 11218 0 -1 1077944384 127355 0 0 0 544 292 0 0 20 0 19 0 475532110 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140208873515408 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13153] ppid=13148 vsize=15417412 memory=8546608 CPUtime=8.43 cores=1,3,5,7
/proc/13150/task/13153/stat : 13153 (java) S 13148 13148 11218 0 -1 1077944384 167258 0 0 0 406 437 0 0 20 0 19 0 475532110 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140208495003920 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13154] ppid=13148 vsize=15417412 memory=8546608 CPUtime=8.11 cores=1,3,5,7
/proc/13150/task/13154/stat : 13154 (java) S 13148 13148 11218 0 -1 1077944384 154376 0 0 0 455 356 0 0 20 0 19 0 475532110 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140208493951632 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13155] ppid=13148 vsize=15417412 memory=8546608 CPUtime=8.28 cores=1,3,5,7
/proc/13150/task/13155/stat : 13155 (java) S 13148 13148 11218 0 -1 1077944384 119711 0 0 0 453 375 0 0 20 0 19 0 475532110 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140208492898832 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13156] ppid=13148 vsize=15417412 memory=8546608 CPUtime=11.95 cores=1,3,5,7
/proc/13150/task/13156/stat : 13156 (java) S 13148 13148 11218 0 -1 1077944384 79552 0 0 0 1043 152 0 0 20 0 19 0 475532112 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207869368944 140208903813762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13157] ppid=13148 vsize=15417412 memory=8546608 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13157/stat : 13157 (java) S 13148 13148 11218 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 475532112 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207868314976 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13158] ppid=13148 vsize=15417412 memory=8546608 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13158/stat : 13158 (java) S 13148 13148 11218 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 19 0 475532112 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207867262592 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13159] ppid=13148 vsize=15417412 memory=836 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13159/stat : 13159 (java) S 13148 13148 11218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475532115 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207773510224 140208903821211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13160] ppid=13148 vsize=15417412 memory=1452 CPUtime=4.53 cores=1,3,5,7
/proc/13150/task/13160/stat : 13160 (java) S 13148 13148 11218 0 -1 1077944384 23809 0 0 0 451 2 0 0 20 0 19 0 475532115 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207772457072 140208903813762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13161] ppid=13148 vsize=15417412 memory=8546608 CPUtime=3.77 cores=1,3,5,7
/proc/13150/task/13161/stat : 13161 (java) S 13148 13148 11218 0 -1 1077944384 19656 0 0 0 373 4 0 0 20 0 19 0 475532115 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207771404272 140208903813762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13162] ppid=13148 vsize=15417412 memory=8546608 CPUtime=0.85 cores=1,3,5,7
/proc/13150/task/13162/stat : 13162 (java) S 13148 13148 11218 0 -1 1077944384 13829 0 0 0 84 1 0 0 20 0 19 0 475532115 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207770351984 140208903813762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13163] ppid=13148 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13163/stat : 13163 (java) S 13148 13148 11218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475532115 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207769299424 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13164] ppid=13148 vsize=15417412 memory=6944656575208382560 CPUtime=0.37 cores=1,3,5,7
/proc/13150/task/13164/stat : 13164 (java) S 13148 13148 11218 0 -1 1077944384 1365 0 0 0 17 20 0 0 20 0 19 0 475532115 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207768247216 140208903813762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13175] ppid=13148 vsize=15417412 memory=1452 CPUtime=569.6 cores=1,3,5,7
/proc/13150/task/13175/stat : 13175 (java) R 13148 13148 11218 0 -1 4202560 832260 0 0 0 56914 46 0 0 20 0 19 0 475537369 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207759264632 140208540244038 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13176] ppid=13148 vsize=15417412 memory=8546608 CPUtime=565.1 cores=1,3,5,7
/proc/13150/task/13176/stat : 13176 (java) R 13148 13148 11218 0 -1 4202560 90406 0 0 0 56497 13 0 0 20 0 19 0 475537369 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207758214408 140208542790667 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13177] ppid=13148 vsize=15417412 memory=1452 CPUtime=568.14 cores=1,3,5,7
/proc/13150/task/13177/stat : 13177 (java) R 13148 13148 11218 0 -1 4202560 631487 0 0 0 56779 35 0 0 20 0 19 0 475537369 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207757160416 140208540243830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13178] ppid=13148 vsize=15417412 memory=3580 CPUtime=566.56 cores=1,3,5,7
/proc/13150/task/13178/stat : 13178 (java) R 13148 13148 11218 0 -1 4202560 46893 0 0 0 56647 9 0 0 20 0 19 0 475537369 15787429888 2136652 33554432000 4194304 4196468 140735948227232 140207756107368 140208547137632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
Current children cumulated CPU time: 2375 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 8548060 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+678.801 s]
/proc/loadavg: 8.63 8.37 7.28 10/237 13348
/proc/meminfo: memFree=1716144/32770624 swapFree=66999044/67108860
[pid=13148] ppid=13145 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13148/stat : 13148 (xcsp3-exec) S 13145 13148 11218 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475532109 115843072 363 33554432000 4194304 5098028 140726410361968 140726410360072 139768881504892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 18264064 140726410363770 140726410364013 140726410364013 140726410366922 0
/proc/13148/statm: 28282 363 305 221 0 87 0
[pid=13150] ppid=13148 vsize=15417412 memory=8544000 CPUtime=2520.16 cores=1,3,5,7
/proc/13150/stat : 13150 (java) S 13148 13148 11218 0 -1 1077944320 2513351 0 0 0 250213 1803 0 0 20 0 19 0 475532109 15787429888 2136000 33554432000 4194304 4196468 140735948227232 140735948209776 140208903802615 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
/proc/13150/statm: 3854353 2136000 3555 1 0 3815453 0
[pid=13150/tid=13151] ppid=13148 vsize=15417412 memory=6656426216303648864 CPUtime=50.8 cores=1,3,5,7
/proc/13150/task/13151/stat : 13151 (java) S 13148 13148 11218 0 -1 1077944384 16478 0 0 0 5040 40 0 0 20 0 19 0 475532110 15787429888 2136000 33554432000 4194304 4196468 140735948227232 140208908043392 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13152] ppid=13148 vsize=15417412 memory=6944652177228980320 CPUtime=8.54 cores=1,3,5,7
/proc/13150/task/13152/stat : 13152 (java) S 13148 13148 11218 0 -1 1077944384 128860 0 0 0 562 292 0 0 20 0 19 0 475532110 15787429888 2136000 33554432000 4194304 4196468 140735948227232 140208873515408 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13153] ppid=13148 vsize=15417412 memory=6944656592455360604 CPUtime=8.61 cores=1,3,5,7
/proc/13150/task/13153/stat : 13153 (java) S 13148 13148 11218 0 -1 1077944384 169265 0 0 0 424 437 0 0 20 0 19 0 475532110 15787429888 2136000 33554432000 4194304 4196468 140735948227232 140208495003920 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13154] ppid=13148 vsize=15417412 memory=892 CPUtime=8.3 cores=1,3,5,7
/proc/13150/task/13154/stat : 13154 (java) S 13148 13148 11218 0 -1 1077944384 155458 0 0 0 474 356 0 0 20 0 19 0 475532110 15787429888 2136000 33554432000 4194304 4196468 140735948227232 140208493951632 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13155] ppid=13148 vsize=15417412 memory=1440 CPUtime=8.47 cores=1,3,5,7
/proc/13150/task/13155/stat : 13155 (java) S 13148 13148 11218 0 -1 1077944384 123606 0 0 0 472 375 0 0 20 0 19 0 475532110 15787429888 2136000 33554432000 4194304 4196468 140735948227232 140208492898832 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13156] ppid=13148 vsize=15417412 memory=1760 CPUtime=12.02 cores=1,3,5,7
/proc/13150/task/13156/stat : 13156 (java) S 13148 13148 11218 0 -1 1077944384 79797 0 0 0 1045 157 0 0 20 0 19 0 475532112 15787429888 2136000 33554432000 4194304 4196468 140735948227232 140207869368944 140208903813762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13157] ppid=13148 vsize=15417412 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13157/stat : 13157 (java) S 13148 13148 11218 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 475532112 15787429888 2136000 33554432000 4194304 4196468 140735948227232 140207868314976 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13158] ppid=13148 vsize=15417412 memory=8544000 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13158/stat : 13158 (java) S 13148 13148 11218 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 19 0 475532112 15787429888 2136000 33554432000 4194304 4196468 140735948227232 140207867262592 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13159] ppid=13148 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13159/stat : 13159 (java) S 13148 13148 11218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475532115 15787429888 2136000 33554432000 4194304 4196468 140735948227232 140207773510224 140208903821211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13160] ppid=13148 vsize=15417412 memory=8544000 CPUtime=4.53 cores=1,3,5,7
/proc/13150/task/13160/stat : 13160 (java) S 13148 13148 11218 0 -1 1077944384 23817 0 0 0 451 2 0 0 20 0 19 0 475532115 15787429888 2136000 33554432000 4194304 4196468 140735948227232 140207772457072 140208903813762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13161] ppid=13148 vsize=15417412 memory=1452 CPUtime=3.77 cores=1,3,5,7
/proc/13150/task/13161/stat : 13161 (java) S 13148 13148 11218 0 -1 1077944384 19658 0 0 0 373 4 0 0 20 0 19 0 475532115 15787429888 2136000 33554432000 4194304 4196468 140735948227232 140207771404272 140208903813762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13162] ppid=13148 vsize=15417412 memory=8546608 CPUtime=0.85 cores=1,3,5,7
/proc/13150/task/13162/stat : 13162 (java) S 13148 13148 11218 0 -1 1077944384 13834 0 0 0 84 1 0 0 20 0 19 0 475532115 15787429888 2136000 33554432000 4194304 4196468 140735948227232 140207770351984 140208903813762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13163] ppid=13148 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13150/task/13163/stat : 13163 (java) S 13148 13148 11218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475532115 15787429888 2136000 33554432000 4194304 4196468 140735948227232 140207769299424 140208903812821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13164] ppid=13148 vsize=15417412 memory=8546608 CPUtime=0.39 cores=1,3,5,7
/proc/13150/task/13164/stat : 13164 (java) S 13148 13148 11218 0 -1 1077944384 1402 0 0 0 18 21 0 0 20 0 19 0 475532115 15787429888 2136000 33554432000 4194304 4196468 140735948227232 140207768247216 140208903813762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13175] ppid=13148 vsize=15417412 memory=2832 CPUtime=605.89 cores=1,3,5,7
/proc/13150/task/13175/stat : 13175 (java) R 13148 13148 11218 0 -1 4202560 950635 0 0 0 60536 53 0 0 20 0 19 0 475537369 15787429888 2136000 33554432000 4194304 4196468 140735948227232 140207759264632 140208540243646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13176] ppid=13148 vsize=15417412 memory=1552 CPUtime=600.58 cores=1,3,5,7
/proc/13150/task/13176/stat : 13176 (java) R 13148 13148 11218 0 -1 4202560 95474 0 0 0 60045 13 0 0 20 0 19 0 475537369 15787429888 2136000 33554432000 4194304 4196468 140735948227232 140207758213272 140208547938108 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13177] ppid=13148 vsize=15417412 memory=1204 CPUtime=604.44 cores=1,3,5,7
/proc/13150/task/13177/stat : 13177 (java) R 13148 13148 11218 0 -1 4202560 684776 0 0 0 60407 37 0 0 20 0 19 0 475537369 15787429888 2136000 33554432000 4194304 4196468 140735948227232 140207757160416 140208540243286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
[pid=13150/tid=13178] ppid=13148 vsize=15417412 memory=1072 CPUtime=602.79 cores=1,3,5,7
/proc/13150/task/13178/stat : 13178 (java) R 13148 13148 11218 0 -1 4202560 48891 0 0 0 60270 9 0 0 20 0 19 0 475537369 15787429888 2136000 33554432000 4194304 4196468 140735948227232 140207756109568 140208543055889 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13189120 140735948235759 140735948235930 140735948235930 140735948238799 0
Current children cumulated CPU time: 2520.16 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 8545452 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+678.833 s]
# the end of solver process 13148 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001148 s, system=0.001148 s
[startup+679.078 s]
# the end of solver process 13150 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2502.62 s, system=18.2177 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+679.012 s]*
/proc/loadavg: 8.63 8.37 7.28 6/219 13350
/proc/meminfo: memFree=4873008/32770624 swapFree=66999044/67108860
Current cumulated CPU time of completed processes: 0.002296 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 679.078
CPU time (s): 2520.84
CPU user time (s): 2502.62
CPU system time (s): 18.2177
CPU usage (%): 371.214
Max. virtual memory (cumulated for all children) (KiB): 15550540
Max. memory (cumulated for all children) (KiB): 8550752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2502.62
system time used= 18.2177
maximum resident set size= 8549640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2514467
page faults= 0
swaps= 0
block input operations= 24
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19511
involuntary context switches= 49565
# summary of solver processes directly reported to runsolver:
# pid: 13148,13150
# total CPU time (s): 2520.84
# total CPU user time (s): 2502.62
# total CPU system time (s): 18.2177
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.66512 second user time and 8.51395 second system time
The end