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 (3056 MiB free)
memory of node 1: 16384 MiB (3365 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403907-1568990036/watcher-4403907-1568990036 -o /var/tmp/evaluation-result-4403907-1568990036/solver-4403907-1568990036 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25143 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 509447552 HOME/instance-4403907-1568990036.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
solver pid=27044, runsolver pid=27041
Current StackSize limit: 8192 KiB
[startup+0.100078 s]*
/proc/loadavg: 8.35 8.43 7.68 7/234 27060
/proc/meminfo: memFree=6559548/32770624 swapFree=67002244/67108860
[pid=27044] ppid=27041 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27044/stat : 27044 (xcsp3-exec) S 27041 27044 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475252242 115843072 363 33554432000 4194304 5098028 140728642032000 140728642030104 140139049529980 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16666624 140728642036567 140728642036825 140728642036825 140728642039750 0
/proc/27044/statm: 28282 363 304 221 0 87 0
[pid=27046] ppid=27044 vsize=15144776 memory=29860 CPUtime=0.13 cores=1,3,5,7
/proc/27046/stat : 27046 (java) S 27044 27044 25111 0 -1 1077944320 5817 0 0 0 12 1 0 0 20 0 15 0 475252242 15508250624 7465 33554432000 4194304 4196468 140723602989520 140723602972064 140628653231863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
/proc/27046/statm: 3786194 7465 3202 1 0 3748377 0
[pid=27046/tid=27047] ppid=27044 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/27046/task/27047/stat : 27047 (java) R 27044 27044 25111 0 -1 4202560 3700 0 0 0 8 1 0 0 20 0 15 0 475252243 15508250624 7465 33554432000 4194304 4196468 140723602989520 140628657461456 140628251978888 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27048] ppid=27044 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27048/stat : 27048 (java) S 27044 27044 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475252243 15508250624 7465 33554432000 4194304 4196468 140723602989520 140628581271952 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27049] ppid=27044 vsize=15144776 memory=140680988436096 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27049/stat : 27049 (java) S 27044 27044 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252243 15508250624 7465 33554432000 4194304 4196468 140723602989520 140628580219152 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27050] ppid=27044 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27050/stat : 27050 (java) S 27044 27044 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252243 15508250624 7465 33554432000 4194304 4196468 140723602989520 140628579166864 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27051] ppid=27044 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27051/stat : 27051 (java) S 27044 27044 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475252243 15508250624 7465 33554432000 4194304 4196468 140723602989520 140628578114064 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27052] ppid=27044 vsize=15144776 memory=140680988436096 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27052/stat : 27052 (java) S 27044 27044 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475252245 15508250624 7465 33554432000 4194304 4196468 140723602989520 140628121361008 140628653243010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27053] ppid=27044 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27053/stat : 27053 (java) S 27044 27044 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475252245 15508250624 7465 33554432000 4194304 4196468 140723602989520 140628120306976 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27054] ppid=27044 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27054/stat : 27054 (java) S 27044 27044 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475252245 15508250624 7465 33554432000 4194304 4196468 140723602989520 140628119254640 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27055] ppid=27044 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27055/stat : 27055 (java) S 27044 27044 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475252248 15508250624 7465 33554432000 4194304 4196468 140723602989520 140628118202960 140628653250459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27056] ppid=27044 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27056/stat : 27056 (java) S 27044 27044 25111 0 -1 1077944384 476 0 0 0 0 0 0 0 20 0 15 0 475252248 15508250624 7465 33554432000 4194304 4196468 140723602989520 140628117149808 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27057] ppid=27044 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27057/stat : 27057 (java) R 27044 27044 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475252248 15508250624 7465 33554432000 4194304 4196468 140723602989520 140628116097104 140628653242069 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27058] ppid=27044 vsize=15144776 memory=140680988436096 CPUtime=0.02 cores=1,3,5,7
/proc/27046/task/27058/stat : 27058 (java) R 27044 27044 25111 0 -1 4202560 338 0 0 0 2 0 0 0 20 0 15 0 475252248 15508250624 7465 33554432000 4194304 4196468 140723602989520 140628115039792 140628632173442 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27059] ppid=27044 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27059/stat : 27059 (java) S 27044 27044 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475252248 15508250624 7465 33554432000 4194304 4196468 140723602989520 140628113992160 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27060] ppid=27044 vsize=15144776 memory=140680988436096 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27060/stat : 27060 (java) S 27044 27044 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252248 15508250624 7465 33554432000 4194304 4196468 140723602989520 140628112939952 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31312 KiB
[startup+0.210889 s]*
/proc/loadavg: 8.35 8.43 7.68 6/234 27060
/proc/meminfo: memFree=6546580/32770624 swapFree=67002244/67108860
[pid=27044] ppid=27041 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27044/stat : 27044 (xcsp3-exec) S 27041 27044 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475252242 115843072 363 33554432000 4194304 5098028 140728642032000 140728642030104 140139049529980 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16666624 140728642036567 140728642036825 140728642036825 140728642039750 0
/proc/27044/statm: 28282 363 304 221 0 87 0
[pid=27046] ppid=27044 vsize=15144776 memory=41080 CPUtime=0.34 cores=1,3,5,7
/proc/27046/stat : 27046 (java) S 27044 27044 25111 0 -1 1077944320 9478 0 0 0 31 3 0 0 20 0 15 0 475252242 15508250624 10270 33554432000 4194304 4196468 140723602989520 140723602972064 140628653231863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
/proc/27046/statm: 3786194 10270 3316 1 0 3748377 0
[pid=27046/tid=27047] ppid=27044 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/27046/task/27047/stat : 27047 (java) R 27044 27044 25111 0 -1 4202560 6624 0 0 0 18 2 0 0 20 0 15 0 475252243 15508250624 10270 33554432000 4194304 4196468 140723602989520 140628657464592 140628637312350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27048] ppid=27044 vsize=15144776 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27048/stat : 27048 (java) S 27044 27044 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475252243 15508250624 10270 33554432000 4194304 4196468 140723602989520 140628581271952 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27049] ppid=27044 vsize=15144776 memory=140680991961654 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27049/stat : 27049 (java) S 27044 27044 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252243 15508250624 10270 33554432000 4194304 4196468 140723602989520 140628580219152 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27050] ppid=27044 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27050/stat : 27050 (java) S 27044 27044 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252243 15508250624 10270 33554432000 4194304 4196468 140723602989520 140628579166864 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27051] ppid=27044 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27051/stat : 27051 (java) S 27044 27044 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475252243 15508250624 10270 33554432000 4194304 4196468 140723602989520 140628578114064 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27052] ppid=27044 vsize=15144776 memory=140680988436096 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27052/stat : 27052 (java) S 27044 27044 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475252245 15508250624 10270 33554432000 4194304 4196468 140723602989520 140628121361008 140628653243010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27053] ppid=27044 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27053/stat : 27053 (java) S 27044 27044 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475252245 15508250624 10270 33554432000 4194304 4196468 140723602989520 140628120306976 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27054] ppid=27044 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27054/stat : 27054 (java) S 27044 27044 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475252245 15508250624 10270 33554432000 4194304 4196468 140723602989520 140628119254640 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27055] ppid=27044 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27055/stat : 27055 (java) S 27044 27044 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475252248 15508250624 10270 33554432000 4194304 4196468 140723602989520 140628118202960 140628653250459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27056] ppid=27044 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27046/task/27056/stat : 27056 (java) S 27044 27044 25111 0 -1 1077944384 723 0 0 0 2 0 0 0 20 0 15 0 475252248 15508250624 10270 33554432000 4194304 4196468 140723602989520 140628117149808 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27057] ppid=27044 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27046/task/27057/stat : 27057 (java) S 27044 27044 25111 0 -1 1077944384 90 0 0 0 2 0 0 0 20 0 15 0 475252248 15508250624 10270 33554432000 4194304 4196468 140723602989520 140628116097008 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27058] ppid=27044 vsize=15144776 memory=140680988436096 CPUtime=0.08 cores=1,3,5,7
/proc/27046/task/27058/stat : 27058 (java) R 27044 27044 25111 0 -1 4202560 734 0 0 0 8 0 0 0 20 0 15 0 475252248 15508250624 10333 33554432000 4194304 4196468 140723602989520 140628115044720 140628631865703 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27059] ppid=27044 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27059/stat : 27059 (java) S 27044 27044 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475252248 15508250624 10333 33554432000 4194304 4196468 140723602989520 140628113992160 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27060] ppid=27044 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27060/stat : 27060 (java) S 27044 27044 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252248 15508250624 10333 33554432000 4194304 4196468 140723602989520 140628112939952 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42532 KiB
[startup+0.310696 s]*
/proc/loadavg: 8.35 8.43 7.68 7/234 27060
/proc/meminfo: memFree=6539140/32770624 swapFree=67002244/67108860
[pid=27044] ppid=27041 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27044/stat : 27044 (xcsp3-exec) S 27041 27044 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475252242 115843072 363 33554432000 4194304 5098028 140728642032000 140728642030104 140139049529980 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16666624 140728642036567 140728642036825 140728642036825 140728642039750 0
/proc/27044/statm: 28282 363 304 221 0 87 0
[pid=27046] ppid=27044 vsize=15149032 memory=49932 CPUtime=0.53 cores=1,3,5,7
/proc/27046/stat : 27046 (java) S 27044 27044 25111 0 -1 1077944320 10883 0 0 0 49 4 0 0 20 0 15 0 475252242 15512608768 12483 33554432000 4194304 4196468 140723602989520 140723602972064 140628653231863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
/proc/27046/statm: 3787258 12483 3359 1 0 3748377 0
[pid=27046/tid=27047] ppid=27044 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/27046/task/27047/stat : 27047 (java) R 27044 27044 25111 0 -1 4202560 7837 0 0 0 27 3 0 0 20 0 15 0 475252243 15512608768 12483 33554432000 4194304 4196468 140723602989520 140628657462976 140628653253789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27048] ppid=27044 vsize=15149032 memory=13961 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27048/stat : 27048 (java) S 27044 27044 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475252243 15512608768 12483 33554432000 4194304 4196468 140723602989520 140628581271952 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27049] ppid=27044 vsize=15149032 memory=3546595 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27049/stat : 27049 (java) S 27044 27044 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252243 15512608768 12483 33554432000 4194304 4196468 140723602989520 140628580219152 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27050] ppid=27044 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27050/stat : 27050 (java) S 27044 27044 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252243 15512608768 12483 33554432000 4194304 4196468 140723602989520 140628579166864 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27051] ppid=27044 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27051/stat : 27051 (java) S 27044 27044 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475252243 15512608768 12483 33554432000 4194304 4196468 140723602989520 140628578114064 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27052] ppid=27044 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27052/stat : 27052 (java) S 27044 27044 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475252245 15512608768 12483 33554432000 4194304 4196468 140723602989520 140628121361008 140628653243010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27053] ppid=27044 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27053/stat : 27053 (java) S 27044 27044 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475252245 15512608768 12483 33554432000 4194304 4196468 140723602989520 140628120306976 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27054] ppid=27044 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27054/stat : 27054 (java) S 27044 27044 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475252245 15512608768 12483 33554432000 4194304 4196468 140723602989520 140628119254640 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27055] ppid=27044 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27055/stat : 27055 (java) S 27044 27044 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475252248 15512608768 12483 33554432000 4194304 4196468 140723602989520 140628118202960 140628653250459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27056] ppid=27044 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27046/task/27056/stat : 27056 (java) S 27044 27044 25111 0 -1 1077944384 741 0 0 0 4 0 0 0 20 0 15 0 475252248 15512608768 12483 33554432000 4194304 4196468 140723602989520 140628117149808 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27057] ppid=27044 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/27046/task/27057/stat : 27057 (java) S 27044 27044 25111 0 -1 1077944384 192 0 0 0 5 0 0 0 20 0 15 0 475252248 15512608768 12483 33554432000 4194304 4196468 140723602989520 140628116097008 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27058] ppid=27044 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/27046/task/27058/stat : 27058 (java) S 27044 27044 25111 0 -1 1077944384 807 0 0 0 12 0 0 0 20 0 15 0 475252248 15512608768 12483 33554432000 4194304 4196468 140723602989520 140628115044720 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27059] ppid=27044 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27059/stat : 27059 (java) S 27044 27044 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475252248 15512608768 12483 33554432000 4194304 4196468 140723602989520 140628113992160 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27060] ppid=27044 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27060/stat : 27060 (java) S 27044 27044 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252248 15512608768 12483 33554432000 4194304 4196468 140723602989520 140628112939952 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51384 KiB
[startup+0.700842 s]
/proc/loadavg: 8.35 8.43 7.68 8/234 27060
/proc/meminfo: memFree=6528408/32770624 swapFree=67002244/67108860
[pid=27044] ppid=27041 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27044/stat : 27044 (xcsp3-exec) S 27041 27044 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475252242 115843072 363 33554432000 4194304 5098028 140728642032000 140728642030104 140139049529980 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16666624 140728642036567 140728642036825 140728642036825 140728642039750 0
/proc/27044/statm: 28282 363 304 221 0 87 0
[pid=27046] ppid=27044 vsize=15151156 memory=82548 CPUtime=1.59 cores=1,3,5,7
/proc/27046/stat : 27046 (java) S 27044 27044 25111 0 -1 1077944320 14336 0 0 0 153 6 0 0 20 0 15 0 475252242 15514783744 20637 33554432000 4194304 4196468 140723602989520 140723602972064 140628653231863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
/proc/27046/statm: 3787789 20637 3452 1 0 3748889 0
[pid=27046/tid=27047] ppid=27044 vsize=15151156 memory=29912 CPUtime=0.67 cores=1,3,5,7
/proc/27046/task/27047/stat : 27047 (java) R 27044 27044 25111 0 -1 4202560 8744 0 0 0 63 4 0 0 20 0 15 0 475252243 15514783744 20637 33554432000 4194304 4196468 140723602989520 140628657469536 140628252238582 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27048] ppid=27044 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27048/stat : 27048 (java) S 27044 27044 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475252243 15514783744 20637 33554432000 4194304 4196468 140723602989520 140628581271952 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27049] ppid=27044 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27049/stat : 27049 (java) S 27044 27044 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252243 15514783744 20637 33554432000 4194304 4196468 140723602989520 140628580219152 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27050] ppid=27044 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27050/stat : 27050 (java) S 27044 27044 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252243 15514783744 20637 33554432000 4194304 4196468 140723602989520 140628579166864 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27051] ppid=27044 vsize=15151156 memory=1776 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27051/stat : 27051 (java) S 27044 27044 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475252243 15514783744 20637 33554432000 4194304 4196468 140723602989520 140628578114064 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27052] ppid=27044 vsize=15151156 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27052/stat : 27052 (java) S 27044 27044 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475252245 15514783744 20637 33554432000 4194304 4196468 140723602989520 140628121361008 140628653243010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27053] ppid=27044 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27053/stat : 27053 (java) S 27044 27044 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475252245 15514783744 20637 33554432000 4194304 4196468 140723602989520 140628120306976 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27054] ppid=27044 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27054/stat : 27054 (java) S 27044 27044 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475252245 15514783744 20637 33554432000 4194304 4196468 140723602989520 140628119254640 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27055] ppid=27044 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27055/stat : 27055 (java) S 27044 27044 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475252248 15514783744 20637 33554432000 4194304 4196468 140723602989520 140628118202960 140628653250459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27056] ppid=27044 vsize=15151156 memory=2676 CPUtime=0.22 cores=1,3,5,7
/proc/27046/task/27056/stat : 27056 (java) R 27044 27044 25111 0 -1 4202560 1354 0 0 0 22 0 0 0 20 0 15 0 475252248 15514783744 20641 33554432000 4194304 4196468 140723602989520 140628117139600 140628638144263 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27057] ppid=27044 vsize=15151156 memory=1764 CPUtime=0.25 cores=1,3,5,7
/proc/27046/task/27057/stat : 27057 (java) R 27044 27044 25111 0 -1 4202560 1030 0 0 0 25 0 0 0 20 0 15 0 475252248 15514783744 20641 33554432000 4194304 4196468 140723602989520 140628116083032 140628634776081 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27058] ppid=27044 vsize=15151156 memory=111632 CPUtime=0.41 cores=1,3,5,7
/proc/27046/task/27058/stat : 27058 (java) R 27044 27044 25111 0 -1 4202560 1901 0 0 0 41 0 0 0 20 0 15 0 475252248 15514783744 20641 33554432000 4194304 4196468 140723602989520 140628115044720 140628637312350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27059] ppid=27044 vsize=15151156 memory=796 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27059/stat : 27059 (java) S 27044 27044 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475252248 15514783744 20641 33554432000 4194304 4196468 140723602989520 140628113992160 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27060] ppid=27044 vsize=15151156 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27060/stat : 27060 (java) S 27044 27044 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475252248 15514783744 20641 33554432000 4194304 4196468 140723602989520 140628112939952 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 84000 KiB
[startup+1.50184 s]
/proc/loadavg: 8.35 8.43 7.68 13/238 27064
/proc/meminfo: memFree=6447248/32770624 swapFree=67002244/67108860
[pid=27044] ppid=27041 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27044/stat : 27044 (xcsp3-exec) S 27041 27044 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475252242 115843072 363 33554432000 4194304 5098028 140728642032000 140728642030104 140139049529980 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16666624 140728642036567 140728642036825 140728642036825 140728642039750 0
/proc/27044/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/27046/stat : 27046 (java) S 27044 27044 25111 0 -1 1077944320 123420 0 0 0 207355 55 0 0 20 0 19 0 475252242 15789527040 75782 33554432000 4194304 4196468 140723602989520 140723602972064 140628653231863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
/proc/27046/statm: 3854865 75782 3525 1 0 3815965 0
[pid=27046/tid=27047] ppid=27044 vsize=15419460 memory=301080 CPUtime=0.9 cores=1,3,5,7
/proc/27046/task/27047/stat : 27047 (java) S 27044 27044 25111 0 -1 1077944384 9912 0 0 0 85 5 0 0 20 0 19 0 475252243 15789527040 75782 33554432000 4194304 4196468 140723602989520 140628657472640 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27048] ppid=27044 vsize=15419460 memory=1452 CPUtime=1.04 cores=1,3,5,7
/proc/27046/task/27048/stat : 27048 (java) S 27044 27044 25111 0 -1 1077944384 4669 0 0 0 100 4 0 0 20 0 19 0 475252243 15789527040 75782 33554432000 4194304 4196468 140723602989520 140628581271952 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27049] ppid=27044 vsize=15419460 memory=303128 CPUtime=1.02 cores=1,3,5,7
/proc/27046/task/27049/stat : 27049 (java) S 27044 27044 25111 0 -1 1077944384 3807 0 0 0 98 4 0 0 20 0 19 0 475252243 15789527040 75782 33554432000 4194304 4196468 140723602989520 140628580219152 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27050] ppid=27044 vsize=15419460 memory=1452 CPUtime=1.04 cores=1,3,5,7
/proc/27046/task/27050/stat : 27050 (java) S 27044 27044 25111 0 -1 1077944384 4616 0 0 0 100 4 0 0 20 0 19 0 475252243 15789527040 75782 33554432000 4194304 4196468 140723602989520 140628579166864 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27051] ppid=27044 vsize=15419460 memory=140680848545553 CPUtime=1.02 cores=1,3,5,7
/proc/27046/task/27051/stat : 27051 (java) S 27044 27044 25111 0 -1 1077944384 4624 0 0 0 97 5 0 0 20 0 19 0 475252243 15789527040 75782 33554432000 4194304 4196468 140723602989520 140628578114064 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27052] ppid=27044 vsize=15419460 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/27046/task/27052/stat : 27052 (java) S 27044 27044 25111 0 -1 1077944384 7721 0 0 0 41 22 0 0 20 0 19 0 475252245 15789527040 75782 33554432000 4194304 4196468 140723602989520 140628121361008 140628653243010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27053] ppid=27044 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27053/stat : 27053 (java) S 27044 27044 25111 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 475252245 15789527040 75782 33554432000 4194304 4196468 140723602989520 140628120307040 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27054] ppid=27044 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27054/stat : 27054 (java) S 27044 27044 25111 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475252245 15789527040 75782 33554432000 4194304 4196468 140723602989520 140628119254656 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27055] ppid=27044 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27055/stat : 27055 (java) S 27044 27044 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475252248 15789527040 75782 33554432000 4194304 4196468 140723602989520 140628118202960 140628653250459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27056] ppid=27044 vsize=15419460 memory=292872 CPUtime=3.71 cores=1,3,5,7
/proc/27046/task/27056/stat : 27056 (java) S 27044 27044 25111 0 -1 1077944384 23249 0 0 0 369 2 0 0 20 0 19 0 475252248 15789527040 75782 33554432000 4194304 4196468 140723602989520 140628117149808 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27057] ppid=27044 vsize=15419460 memory=1452 CPUtime=3.61 cores=1,3,5,7
/proc/27046/task/27057/stat : 27057 (java) S 27044 27044 25111 0 -1 1077944384 22224 0 0 0 359 2 0 0 20 0 19 0 475252248 15789527040 75782 33554432000 4194304 4196468 140723602989520 140628116097008 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27058] ppid=27044 vsize=15419460 memory=3616 CPUtime=0.93 cores=1,3,5,7
/proc/27046/task/27058/stat : 27058 (java) S 27044 27044 25111 0 -1 1077944384 17150 0 0 0 92 1 0 0 20 0 19 0 475252248 15789527040 75782 33554432000 4194304 4196468 140723602989520 140628115044720 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27059] ppid=27044 vsize=15419460 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27059/stat : 27059 (java) S 27044 27044 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475252248 15789527040 75782 33554432000 4194304 4196468 140723602989520 140628113992160 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27060] ppid=27044 vsize=15419460 memory=2592 CPUtime=0.15 cores=1,3,5,7
/proc/27046/task/27060/stat : 27060 (java) S 27044 27044 25111 0 -1 1077944384 1518 0 0 0 15 0 0 0 20 0 19 0 475252248 15789527040 75782 33554432000 4194304 4196468 140723602989520 140628112939952 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27109] ppid=27044 vsize=15419460 memory=55324 CPUtime=249.39 cores=1,3,5,7
/proc/27046/task/27109/stat : 27109 (java) R 27044 27044 25111 0 -1 4202560 963 0 0 0 24939 0 0 0 20 0 19 0 475279327 15789527040 75782 33554432000 4194304 4196468 140723602989520 140628102904664 140628259722335 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27110] ppid=27044 vsize=15419460 memory=988 CPUtime=249.49 cores=1,3,5,7
/proc/27046/task/27110/stat : 27110 (java) R 27044 27044 25111 0 -1 4202560 1778 0 0 0 24949 0 0 0 20 0 19 0 475279327 15789527040 75782 33554432000 4194304 4196468 140723602989520 140627640570048 140628259282680 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27111] ppid=27044 vsize=15419460 memory=1452 CPUtime=248.7 cores=1,3,5,7
/proc/27046/task/27111/stat : 27111 (java) R 27044 27044 25111 0 -1 4202560 1785 0 0 0 24870 0 0 0 20 0 19 0 475279327 15789527040 75782 33554432000 4194304 4196468 140723602989520 140628103961104 140628259722381 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27112] ppid=27044 vsize=15419460 memory=301080 CPUtime=249.03 cores=1,3,5,7
/proc/27046/task/27112/stat : 27112 (java) R 27044 27044 25111 0 -1 4202560 783 0 0 0 24903 0 0 0 20 0 19 0 475279327 15789527040 75782 33554432000 4194304 4196468 140723602989520 140627639516952 140628258402481 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
Current children cumulated CPU time: 2074.1 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 304580 KiB
[startup+582.302 s]
/proc/loadavg: 6.47 7.81 7.86 11/234 27227
/proc/meminfo: memFree=223212/32770624 swapFree=67002248/67108860
[pid=27044] ppid=27041 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27044/stat : 27044 (xcsp3-exec) S 27041 27044 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475252242 115843072 363 33554432000 4194304 5098028 140728642032000 140728642030104 140139049529980 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16666624 140728642036567 140728642036825 140728642036825 140728642039750 0
/proc/27044/statm: 28282 363 304 221 0 87 0
[pid=27046] ppid=27044 vsize=15419460 memory=374276 CPUtime=2310.96 cores=1,3,5,7
/proc/27046/stat : 27046 (java) S 27044 27044 25111 0 -1 1077944320 132489 0 0 0 230954 142 0 0 20 0 19 0 475252242 15789527040 93569 33554432000 4194304 4196468 140723602989520 140723602972064 140628653231863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
/proc/27046/statm: 3854865 93569 3525 1 0 3815965 0
[pid=27046/tid=27047] ppid=27044 vsize=15419460 memory=365456 CPUtime=0.9 cores=1,3,5,7
/proc/27046/task/27047/stat : 27047 (java) S 27044 27044 25111 0 -1 1077944384 10098 0 0 0 85 5 0 0 20 0 19 0 475252243 15789527040 93569 33554432000 4194304 4196468 140723602989520 140628657472640 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27048] ppid=27044 vsize=15419460 memory=374276 CPUtime=1.39 cores=1,3,5,7
/proc/27046/task/27048/stat : 27048 (java) S 27044 27044 25111 0 -1 1077944384 5992 0 0 0 117 22 0 0 20 0 19 0 475252243 15789527040 93569 33554432000 4194304 4196468 140723602989520 140628581271952 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27049] ppid=27044 vsize=15419460 memory=1452 CPUtime=1.37 cores=1,3,5,7
/proc/27046/task/27049/stat : 27049 (java) S 27044 27044 25111 0 -1 1077944384 4918 0 0 0 116 21 0 0 20 0 19 0 475252243 15789527040 93569 33554432000 4194304 4196468 140723602989520 140628580219152 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27050] ppid=27044 vsize=15419460 memory=1452 CPUtime=1.39 cores=1,3,5,7
/proc/27046/task/27050/stat : 27050 (java) S 27044 27044 25111 0 -1 1077944384 4702 0 0 0 111 28 0 0 20 0 19 0 475252243 15789527040 93569 33554432000 4194304 4196468 140723602989520 140628579166864 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27051] ppid=27044 vsize=15419460 memory=1452 CPUtime=1.37 cores=1,3,5,7
/proc/27046/task/27051/stat : 27051 (java) S 27044 27044 25111 0 -1 1077944384 5576 0 0 0 108 29 0 0 20 0 19 0 475252243 15789527040 93569 33554432000 4194304 4196468 140723602989520 140628578114064 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27052] ppid=27044 vsize=15419460 memory=1452 CPUtime=0.75 cores=1,3,5,7
/proc/27046/task/27052/stat : 27052 (java) S 27044 27044 25111 0 -1 1077944384 8008 0 0 0 45 30 0 0 20 0 19 0 475252245 15789527040 93569 33554432000 4194304 4196468 140723602989520 140628121361008 140628653243010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27053] ppid=27044 vsize=15419460 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27053/stat : 27053 (java) S 27044 27044 25111 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 475252245 15789527040 93569 33554432000 4194304 4196468 140723602989520 140628120307040 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27054] ppid=27044 vsize=15419460 memory=55324 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27054/stat : 27054 (java) S 27044 27044 25111 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475252245 15789527040 93569 33554432000 4194304 4196468 140723602989520 140628119254656 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27055] ppid=27044 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27055/stat : 27055 (java) S 27044 27044 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475252248 15789527040 93569 33554432000 4194304 4196468 140723602989520 140628118202960 140628653250459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27056] ppid=27044 vsize=15419460 memory=1452 CPUtime=3.71 cores=1,3,5,7
/proc/27046/task/27056/stat : 27056 (java) S 27044 27044 25111 0 -1 1077944384 23251 0 0 0 369 2 0 0 20 0 19 0 475252248 15789527040 93569 33554432000 4194304 4196468 140723602989520 140628117149808 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27057] ppid=27044 vsize=15419460 memory=343004 CPUtime=3.61 cores=1,3,5,7
/proc/27046/task/27057/stat : 27057 (java) S 27044 27044 25111 0 -1 1077944384 22461 0 0 0 359 2 0 0 20 0 19 0 475252248 15789527040 93569 33554432000 4194304 4196468 140723602989520 140628116097008 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27058] ppid=27044 vsize=15419460 memory=1452 CPUtime=0.93 cores=1,3,5,7
/proc/27046/task/27058/stat : 27058 (java) S 27044 27044 25111 0 -1 1077944384 17895 0 0 0 92 1 0 0 20 0 19 0 475252248 15789527040 93569 33554432000 4194304 4196468 140723602989520 140628115044720 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27059] ppid=27044 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27059/stat : 27059 (java) S 27044 27044 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475252248 15789527040 93569 33554432000 4194304 4196468 140723602989520 140628113992160 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27060] ppid=27044 vsize=15419460 memory=1452 CPUtime=0.28 cores=1,3,5,7
/proc/27046/task/27060/stat : 27060 (java) S 27044 27044 25111 0 -1 1077944384 1549 0 0 0 19 9 0 0 20 0 19 0 475252248 15789527040 93569 33554432000 4194304 4196468 140723602989520 140628112939952 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27221] ppid=27044 vsize=15419460 memory=1452 CPUtime=29.71 cores=1,3,5,7
/proc/27046/task/27221/stat : 27221 (java) R 27044 27044 25111 0 -1 4202560 96 0 0 0 2971 0 0 0 20 0 19 0 475307451 15789527040 93569 33554432000 4194304 4196468 140723602989520 140628103956560 140628259527375 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27222] ppid=27044 vsize=15419460 memory=365456 CPUtime=29.7 cores=1,3,5,7
/proc/27046/task/27222/stat : 27222 (java) R 27044 27044 25111 0 -1 4202560 1189 0 0 0 2970 0 0 0 20 0 19 0 475307451 15789527040 93569 33554432000 4194304 4196468 140723602989520 140627639519424 140628255184533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27223] ppid=27044 vsize=15419460 memory=988 CPUtime=29.63 cores=1,3,5,7
/proc/27046/task/27223/stat : 27223 (java) R 27044 27044 25111 0 -1 4202560 2086 0 0 0 2963 0 0 0 20 0 19 0 475307451 15789527040 93569 33554432000 4194304 4196468 140723602989520 140628102905080 140628259496433 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27224] ppid=27044 vsize=15419460 memory=2024 CPUtime=29.73 cores=1,3,5,7
/proc/27046/task/27224/stat : 27224 (java) R 27044 27044 25111 0 -1 4202560 94 0 0 0 2973 0 0 0 20 0 19 0 475307451 15789527040 93569 33554432000 4194304 4196468 140723602989520 140627640570088 140628259283130 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
Current children cumulated CPU time: 2310.96 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 375728 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+635.602 s]
/proc/loadavg: 6.73 7.66 7.81 6/234 27235
/proc/meminfo: memFree=235476/32770624 swapFree=67002248/67108860
[pid=27044] ppid=27041 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27044/stat : 27044 (xcsp3-exec) S 27041 27044 25111 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475252242 115843072 363 33554432000 4194304 5098028 140728642032000 140728642030104 140139049529980 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 16666624 140728642036567 140728642036825 140728642036825 140728642039750 0
/proc/27044/statm: 28282 363 304 221 0 87 0
[pid=27046] ppid=27044 vsize=15419460 memory=423364 CPUtime=2520.08 cores=1,3,5,7
/proc/27046/stat : 27046 (java) S 27044 27044 25111 0 -1 1077944320 218292 0 0 0 251812 196 0 0 20 0 19 0 475252242 15789527040 105841 33554432000 4194304 4196468 140723602989520 140723602972064 140628653231863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
/proc/27046/statm: 3854865 105841 3525 1 0 3815965 0
[pid=27046/tid=27047] ppid=27044 vsize=15419460 memory=3848 CPUtime=0.9 cores=1,3,5,7
/proc/27046/task/27047/stat : 27047 (java) S 27044 27044 25111 0 -1 1077944384 10287 0 0 0 85 5 0 0 20 0 19 0 475252243 15789527040 105841 33554432000 4194304 4196468 140723602989520 140628657472640 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27048] ppid=27044 vsize=15419460 memory=2660 CPUtime=1.59 cores=1,3,5,7
/proc/27046/task/27048/stat : 27048 (java) S 27044 27044 25111 0 -1 1077944384 10073 0 0 0 123 36 0 0 20 0 19 0 475252243 15789527040 105841 33554432000 4194304 4196468 140723602989520 140628581271952 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27049] ppid=27044 vsize=15419460 memory=2592 CPUtime=1.56 cores=1,3,5,7
/proc/27046/task/27049/stat : 27049 (java) S 27044 27044 25111 0 -1 1077944384 8823 0 0 0 126 30 0 0 20 0 19 0 475252243 15789527040 105841 33554432000 4194304 4196468 140723602989520 140628580219152 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27050] ppid=27044 vsize=15419460 memory=1412 CPUtime=1.59 cores=1,3,5,7
/proc/27046/task/27050/stat : 27050 (java) S 27044 27044 25111 0 -1 1077944384 7690 0 0 0 121 38 0 0 20 0 19 0 475252243 15789527040 105841 33554432000 4194304 4196468 140723602989520 140628579166864 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27051] ppid=27044 vsize=15419460 memory=1776 CPUtime=1.56 cores=1,3,5,7
/proc/27046/task/27051/stat : 27051 (java) S 27044 27044 25111 0 -1 1077944384 9532 0 0 0 114 42 0 0 20 0 19 0 475252243 15789527040 105841 33554432000 4194304 4196468 140723602989520 140628578114064 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27052] ppid=27044 vsize=15419460 memory=1656 CPUtime=0.81 cores=1,3,5,7
/proc/27046/task/27052/stat : 27052 (java) S 27044 27044 25111 0 -1 1077944384 10293 0 0 0 48 33 0 0 20 0 19 0 475252245 15789527040 105841 33554432000 4194304 4196468 140723602989520 140628121361008 140628653243010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27053] ppid=27044 vsize=15419460 memory=804 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27053/stat : 27053 (java) S 27044 27044 25111 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 475252245 15789527040 105841 33554432000 4194304 4196468 140723602989520 140628120307040 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27054] ppid=27044 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27054/stat : 27054 (java) S 27044 27044 25111 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 475252245 15789527040 105841 33554432000 4194304 4196468 140723602989520 140628119254656 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27055] ppid=27044 vsize=15419460 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27055/stat : 27055 (java) S 27044 27044 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475252248 15789527040 105841 33554432000 4194304 4196468 140723602989520 140628118202960 140628653250459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27056] ppid=27044 vsize=15419460 memory=2676 CPUtime=3.71 cores=1,3,5,7
/proc/27046/task/27056/stat : 27056 (java) S 27044 27044 25111 0 -1 1077944384 23270 0 0 0 369 2 0 0 20 0 19 0 475252248 15789527040 105841 33554432000 4194304 4196468 140723602989520 140628117149808 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27057] ppid=27044 vsize=15419460 memory=1764 CPUtime=3.61 cores=1,3,5,7
/proc/27046/task/27057/stat : 27057 (java) S 27044 27044 25111 0 -1 1077944384 22475 0 0 0 359 2 0 0 20 0 19 0 475252248 15789527040 105841 33554432000 4194304 4196468 140723602989520 140628116097008 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27058] ppid=27044 vsize=15419460 memory=111632 CPUtime=0.93 cores=1,3,5,7
/proc/27046/task/27058/stat : 27058 (java) S 27044 27044 25111 0 -1 1077944384 17921 0 0 0 92 1 0 0 20 0 19 0 475252248 15789527040 105841 33554432000 4194304 4196468 140723602989520 140628115044720 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27059] ppid=27044 vsize=15419460 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/27046/task/27059/stat : 27059 (java) S 27044 27044 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475252248 15789527040 105841 33554432000 4194304 4196468 140723602989520 140628113992160 140628653242069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27060] ppid=27044 vsize=15419460 memory=1764 CPUtime=0.28 cores=1,3,5,7
/proc/27046/task/27060/stat : 27060 (java) S 27044 27044 25111 0 -1 1077944384 1712 0 0 0 19 9 0 0 20 0 19 0 475252248 15789527040 105841 33554432000 4194304 4196468 140723602989520 140628112939952 140628653243010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27231] ppid=27044 vsize=15419460 memory=111632 CPUtime=14.13 cores=1,3,5,7
/proc/27046/task/27231/stat : 27231 (java) R 27044 27044 25111 0 -1 4202560 753 0 0 0 1413 0 0 0 20 0 19 0 475314379 15789527040 105841 33554432000 4194304 4196468 140723602989520 140627640568648 140628260179816 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27232] ppid=27044 vsize=15419460 memory=796 CPUtime=14.09 cores=1,3,5,7
/proc/27046/task/27232/stat : 27232 (java) R 27044 27044 25111 0 -1 4202560 4236 0 0 0 1409 0 0 0 20 0 19 0 475314379 15789527040 105841 33554432000 4194304 4196468 140723602989520 140628102906096 140628262081228 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27233] ppid=27044 vsize=15419460 memory=4096 CPUtime=14.1 cores=1,3,5,7
/proc/27046/task/27233/stat : 27233 (java) R 27044 27044 25111 0 -1 4202560 11615 0 0 0 1409 1 0 0 20 0 19 0 475314379 15789527040 105841 33554432000 4194304 4196468 140723602989520 140628103958312 140628259618266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
[pid=27046/tid=27234] ppid=27044 vsize=15419460 memory=1808 CPUtime=14.11 cores=1,3,5,7
/proc/27046/task/27234/stat : 27234 (java) R 27044 27044 25111 0 -1 4202560 1359 0 0 0 1411 0 0 0 20 0 19 0 475314379 15789527040 105841 33554432000 4194304 4196468 140723602989520 140627639519504 140628255184539 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30814208 140723602998235 140723602998410 140723602998410 140723603001295 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 424816 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+635.636 s]
# the end of solver process 27044 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001157 s, system=0.001157 s
[startup+635.687 s]
# the end of solver process 27046 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.41 s, system=1.97555 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
Child status: 143
Real time (s): 635.687
CPU time (s): 2520.39
CPU user time (s): 2518.41
CPU system time (s): 1.97555
CPU usage (%): 396.482
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 424816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.41
system time used= 1.97555
maximum resident set size= 423996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220015
page faults= 0
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31746
involuntary context switches= 47327
# summary of solver processes directly reported to runsolver:
# pid: 27044,27046
# total CPU time (s): 2520.39
# total CPU user time (s): 2518.41
# total CPU system time (s): 1.97555
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.39889 second user time and 7.29076 second system time
The end