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 (14549 MiB free)
memory of node 1: 16384 MiB (15276 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399118-1568698272/watcher-4399118-1568698272 -o /tmp/evaluation-result-4399118-1568698272/solver-4399118-1568698272 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568694133-19868 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 275490323 HOME/instance-4399118-1568698272.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=25003, runsolver pid=25000
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 8.14 8.43 8.27 7/236 25019
/proc/meminfo: memFree=30525896/32770624 swapFree=66922428/67108860
[pid=25003] ppid=25000 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25003/stat : 25003 (xcsp3-exec) S 25000 25003 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445765082 115843072 363 33554432000 4194304 5098028 140736416266896 140736416265000 139788305810044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31371264 140736416273275 140736416273517 140736416273517 140736416276426 0
/proc/25003/statm: 28282 363 304 221 0 87 0
[pid=25005] ppid=25003 vsize=15144776 memory=28852 CPUtime=0.13 cores=1,3,5,7
/proc/25005/stat : 25005 (java) S 25003 25003 19836 0 -1 1077944320 5687 0 0 0 13 0 0 0 20 0 15 0 445765082 15508250624 7213 33554432000 4194304 4196468 140732051882832 140732051865376 140255227485943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
/proc/25005/statm: 3786194 7213 3152 1 0 3748377 0
[pid=25005/tid=25006] ppid=25003 vsize=15144776 memory=7100839878744900722 CPUtime=0.09 cores=1,3,5,7
/proc/25005/task/25006/stat : 25006 (java) R 25003 25003 19836 0 -1 4202560 3551 0 0 0 9 0 0 0 20 0 15 0 445765082 15508250624 7213 33554432000 4194304 4196468 140732051882832 140255231716128 140255208892164 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25007] ppid=25003 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25007/stat : 25007 (java) S 25003 25003 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445765083 15508250624 7213 33554432000 4194304 4196468 140732051882832 140255180106256 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25008] ppid=25003 vsize=15144776 memory=140336636352128 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25008/stat : 25008 (java) S 25003 25003 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445765083 15508250624 7213 33554432000 4194304 4196468 140732051882832 140255179053712 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25009] ppid=25003 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25009/stat : 25009 (java) S 25003 25003 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445765083 15508250624 7213 33554432000 4194304 4196468 140732051882832 140255178000656 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25010] ppid=25003 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25010/stat : 25010 (java) S 25003 25003 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445765083 15508250624 7213 33554432000 4194304 4196468 140732051882832 140254817212816 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25011] ppid=25003 vsize=15144776 memory=140336636352128 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25011/stat : 25011 (java) S 25003 25003 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445765084 15508250624 7213 33554432000 4194304 4196468 140732051882832 140254101572336 140255227497090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25012] ppid=25003 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25012/stat : 25012 (java) S 25003 25003 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445765085 15508250624 7213 33554432000 4194304 4196468 140732051882832 140254100518560 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25013] ppid=25003 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25013/stat : 25013 (java) S 25003 25003 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445765085 15508250624 7213 33554432000 4194304 4196468 140732051882832 140254099465456 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25014] ppid=25003 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25014/stat : 25014 (java) S 25003 25003 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445765087 15508250624 7213 33554432000 4194304 4196468 140732051882832 140254098414032 140255227504539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25015] ppid=25003 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25015/stat : 25015 (java) R 25003 25003 19836 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 15 0 445765087 15508250624 7213 33554432000 4194304 4196468 140732051882832 140254097361136 140255227497090 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25016] ppid=25003 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25016/stat : 25016 (java) R 25003 25003 19836 0 -1 4202560 121 0 0 0 0 0 0 0 20 0 15 0 445765087 15508250624 7213 33554432000 4194304 4196468 140732051882832 140254096308592 140255207140224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25017] ppid=25003 vsize=15144776 memory=140336636352128 CPUtime=0.02 cores=1,3,5,7
/proc/25005/task/25017/stat : 25017 (java) R 25003 25003 19836 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 445765087 15508250624 7213 33554432000 4194304 4196468 140732051882832 140254095255536 140255210835490 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25018] ppid=25003 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25018/stat : 25018 (java) S 25003 25003 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445765088 15508250624 7213 33554432000 4194304 4196468 140732051882832 140254094203232 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25019] ppid=25003 vsize=15144776 memory=140336636352128 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25019/stat : 25019 (java) R 25003 25003 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445765088 15508250624 7213 33554432000 4194304 4196468 140732051882832 140254093151280 140255227497090 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30304 KiB
[startup+0.211206 s]*
/proc/loadavg: 8.14 8.43 8.27 7/236 25019
/proc/meminfo: memFree=30509976/32770624 swapFree=66922428/67108860
[pid=25003] ppid=25000 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25003/stat : 25003 (xcsp3-exec) S 25000 25003 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445765082 115843072 363 33554432000 4194304 5098028 140736416266896 140736416265000 139788305810044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31371264 140736416273275 140736416273517 140736416273517 140736416276426 0
/proc/25003/statm: 28282 363 304 221 0 87 0
[pid=25005] ppid=25003 vsize=15144776 memory=41164 CPUtime=0.34 cores=1,3,5,7
/proc/25005/stat : 25005 (java) S 25003 25003 19836 0 -1 1077944320 9498 0 0 0 32 2 0 0 20 0 15 0 445765082 15508250624 10291 33554432000 4194304 4196468 140732051882832 140732051865376 140255227485943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
/proc/25005/statm: 3786194 10291 3308 1 0 3748377 0
[pid=25005/tid=25006] ppid=25003 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/25005/task/25006/stat : 25006 (java) R 25003 25003 19836 0 -1 4202560 6616 0 0 0 18 2 0 0 20 0 15 0 445765082 15508250624 10291 33554432000 4194304 4196468 140732051882832 140255231719712 140255211566430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25007] ppid=25003 vsize=15144776 memory=2810770 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25007/stat : 25007 (java) S 25003 25003 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445765083 15508250624 10291 33554432000 4194304 4196468 140732051882832 140255180106256 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25008] ppid=25003 vsize=15144776 memory=140336639656089 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25008/stat : 25008 (java) S 25003 25003 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445765083 15508250624 10291 33554432000 4194304 4196468 140732051882832 140255179053712 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25009] ppid=25003 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25009/stat : 25009 (java) S 25003 25003 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445765083 15508250624 10291 33554432000 4194304 4196468 140732051882832 140255178000656 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25010] ppid=25003 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25010/stat : 25010 (java) S 25003 25003 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445765083 15508250624 10291 33554432000 4194304 4196468 140732051882832 140254817212816 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25011] ppid=25003 vsize=15144776 memory=140336636352128 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25011/stat : 25011 (java) S 25003 25003 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445765084 15508250624 10291 33554432000 4194304 4196468 140732051882832 140254101572336 140255227497090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25012] ppid=25003 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25012/stat : 25012 (java) S 25003 25003 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445765085 15508250624 10291 33554432000 4194304 4196468 140732051882832 140254100518560 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25013] ppid=25003 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25013/stat : 25013 (java) S 25003 25003 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445765085 15508250624 10291 33554432000 4194304 4196468 140732051882832 140254099465456 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25014] ppid=25003 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25014/stat : 25014 (java) S 25003 25003 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445765087 15508250624 10291 33554432000 4194304 4196468 140732051882832 140254098414032 140255227504539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25015] ppid=25003 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25005/task/25015/stat : 25015 (java) S 25003 25003 19836 0 -1 1077944384 549 0 0 0 2 0 0 0 20 0 15 0 445765087 15508250624 10291 33554432000 4194304 4196468 140732051882832 140254097361136 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25016] ppid=25003 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25005/task/25016/stat : 25016 (java) S 25003 25003 19836 0 -1 1077944384 243 0 0 0 2 0 0 0 20 0 15 0 445765087 15508250624 10291 33554432000 4194304 4196468 140732051882832 140254096308592 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25017] ppid=25003 vsize=15144776 memory=140336636352128 CPUtime=0.08 cores=1,3,5,7
/proc/25005/task/25017/stat : 25017 (java) S 25003 25003 19836 0 -1 1077944384 789 0 0 0 8 0 0 0 20 0 15 0 445765087 15508250624 10291 33554432000 4194304 4196468 140732051882832 140254095255536 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25018] ppid=25003 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25018/stat : 25018 (java) S 25003 25003 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445765088 15508250624 10291 33554432000 4194304 4196468 140732051882832 140254094203232 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25019] ppid=25003 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25019/stat : 25019 (java) S 25003 25003 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445765088 15508250624 10291 33554432000 4194304 4196468 140732051882832 140254093151280 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42616 KiB
[startup+0.314483 s]*
/proc/loadavg: 8.14 8.43 8.27 7/236 25019
/proc/meminfo: memFree=30503564/32770624 swapFree=66922428/67108860
[pid=25003] ppid=25000 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25003/stat : 25003 (xcsp3-exec) S 25000 25003 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445765082 115843072 363 33554432000 4194304 5098028 140736416266896 140736416265000 139788305810044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31371264 140736416273275 140736416273517 140736416273517 140736416276426 0
/proc/25003/statm: 28282 363 304 221 0 87 0
[pid=25005] ppid=25003 vsize=15149032 memory=50704 CPUtime=0.54 cores=1,3,5,7
/proc/25005/stat : 25005 (java) S 25003 25003 19836 0 -1 1077944320 10977 0 0 0 51 3 0 0 20 0 15 0 445765082 15512608768 12676 33554432000 4194304 4196468 140732051882832 140732051865376 140255227485943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
/proc/25005/statm: 3787258 12676 3373 1 0 3748377 0
[pid=25005/tid=25006] ppid=25003 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/25005/task/25006/stat : 25006 (java) R 25003 25003 19836 0 -1 4202560 7863 0 0 0 28 2 0 0 20 0 15 0 445765082 15512608768 12676 33554432000 4194304 4196468 140732051882832 140255231720752 140255211566430 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25007] ppid=25003 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25007/stat : 25007 (java) S 25003 25003 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445765083 15512608768 12676 33554432000 4194304 4196468 140732051882832 140255180106256 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25008] ppid=25003 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25008/stat : 25008 (java) S 25003 25003 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445765083 15512608768 12676 33554432000 4194304 4196468 140732051882832 140255179053712 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25009] ppid=25003 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25009/stat : 25009 (java) S 25003 25003 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445765083 15512608768 12676 33554432000 4194304 4196468 140732051882832 140255178000656 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25010] ppid=25003 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25010/stat : 25010 (java) S 25003 25003 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445765083 15512608768 12676 33554432000 4194304 4196468 140732051882832 140254817212816 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25011] ppid=25003 vsize=15149032 memory=-7017622353169989791 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25011/stat : 25011 (java) S 25003 25003 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445765084 15512608768 12676 33554432000 4194304 4196468 140732051882832 140254101572336 140255227497090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25012] ppid=25003 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25012/stat : 25012 (java) S 25003 25003 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445765085 15512608768 12676 33554432000 4194304 4196468 140732051882832 140254100518560 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25013] ppid=25003 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25013/stat : 25013 (java) S 25003 25003 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445765085 15512608768 12676 33554432000 4194304 4196468 140732051882832 140254099465456 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25014] ppid=25003 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25014/stat : 25014 (java) S 25003 25003 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445765087 15512608768 12676 33554432000 4194304 4196468 140732051882832 140254098414032 140255227504539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25015] ppid=25003 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/25005/task/25015/stat : 25015 (java) S 25003 25003 19836 0 -1 1077944384 594 0 0 0 4 0 0 0 20 0 15 0 445765087 15512608768 12676 33554432000 4194304 4196468 140732051882832 140254097361136 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25016] ppid=25003 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/25005/task/25016/stat : 25016 (java) S 25003 25003 19836 0 -1 1077944384 343 0 0 0 4 0 0 0 20 0 15 0 445765087 15512608768 12676 33554432000 4194304 4196468 140732051882832 140254096308592 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25017] ppid=25003 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25005/task/25017/stat : 25017 (java) S 25003 25003 19836 0 -1 1077944384 878 0 0 0 12 0 0 0 20 0 15 0 445765087 15512608768 12676 33554432000 4194304 4196468 140732051882832 140254095255536 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25018] ppid=25003 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25018/stat : 25018 (java) S 25003 25003 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445765088 15512608768 12676 33554432000 4194304 4196468 140732051882832 140254094203232 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25019] ppid=25003 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25019/stat : 25019 (java) S 25003 25003 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445765088 15512608768 12676 33554432000 4194304 4196468 140732051882832 140254093151280 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52156 KiB
[startup+0.710488 s]
/proc/loadavg: 8.14 8.43 8.27 9/236 25019
/proc/meminfo: memFree=30491096/32770624 swapFree=66922428/67108860
[pid=25003] ppid=25000 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25003/stat : 25003 (xcsp3-exec) S 25000 25003 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445765082 115843072 363 33554432000 4194304 5098028 140736416266896 140736416265000 139788305810044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31371264 140736416273275 140736416273517 140736416273517 140736416276426 0
/proc/25003/statm: 28282 363 304 221 0 87 0
[pid=25005] ppid=25003 vsize=15417412 memory=81040 CPUtime=1.64 cores=1,3,5,7
/proc/25005/stat : 25005 (java) S 25003 25003 19836 0 -1 1077944320 15205 0 0 0 159 5 0 0 20 0 19 0 445765082 15787429888 20260 33554432000 4194304 4196468 140732051882832 140732051865376 140255227485943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
/proc/25005/statm: 3854353 20260 3458 1 0 3815453 0
[pid=25005/tid=25006] ppid=25003 vsize=15417412 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/25005/task/25006/stat : 25006 (java) S 25003 25003 19836 0 -1 1077944384 9040 0 0 0 53 3 0 0 20 0 19 0 445765082 15787429888 20260 33554432000 4194304 4196468 140732051882832 140255231726720 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25007] ppid=25003 vsize=15417412 memory=32752 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25007/stat : 25007 (java) S 25003 25003 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445765083 15787429888 20260 33554432000 4194304 4196468 140732051882832 140255180106256 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25008] ppid=25003 vsize=15417412 memory=988 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25008/stat : 25008 (java) S 25003 25003 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445765083 15787429888 20260 33554432000 4194304 4196468 140732051882832 140255179053712 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25009] ppid=25003 vsize=15417412 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25009/stat : 25009 (java) S 25003 25003 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445765083 15787429888 20260 33554432000 4194304 4196468 140732051882832 140255178000656 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25010] ppid=25003 vsize=15417412 memory=1324 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25010/stat : 25010 (java) S 25003 25003 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445765083 15787429888 20260 33554432000 4194304 4196468 140732051882832 140254817212816 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25011] ppid=25003 vsize=15417412 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25011/stat : 25011 (java) S 25003 25003 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445765084 15787429888 20260 33554432000 4194304 4196468 140732051882832 140254101572336 140255227497090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25012] ppid=25003 vsize=15417412 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25012/stat : 25012 (java) S 25003 25003 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445765085 15787429888 20260 33554432000 4194304 4196468 140732051882832 140254100518560 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25013] ppid=25003 vsize=15417412 memory=588 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25013/stat : 25013 (java) S 25003 25003 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445765085 15787429888 20260 33554432000 4194304 4196468 140732051882832 140254099465456 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25014] ppid=25003 vsize=15417412 memory=780 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25014/stat : 25014 (java) S 25003 25003 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445765087 15787429888 20260 33554432000 4194304 4196468 140732051882832 140254098414032 140255227504539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25015] ppid=25003 vsize=15417412 memory=1056 CPUtime=0.19 cores=1,3,5,7
/proc/25005/task/25015/stat : 25015 (java) R 25003 25003 19836 0 -1 4202560 1259 0 0 0 19 0 0 0 20 0 19 0 445765087 15787429888 20260 33554432000 4194304 4196468 140732051882832 140254097348704 140255206960143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25016] ppid=25003 vsize=15417412 memory=11620 CPUtime=0.21 cores=1,3,5,7
/proc/25005/task/25016/stat : 25016 (java) D 25003 25003 19836 0 -1 4202560 1586 0 0 0 21 0 0 0 20 0 19 0 445765087 15787429888 20260 33554432000 4194304 4196468 140732051882832 140254096289608 140255219775325 0 4 0 16800975 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25017] ppid=25003 vsize=15417412 memory=3992 CPUtime=0.36 cores=1,3,5,7
/proc/25005/task/25017/stat : 25017 (java) R 25003 25003 19836 0 -1 4202560 1813 0 0 0 36 0 0 0 20 0 19 0 445765087 15787429888 20260 33554432000 4194304 4196468 140732051882832 140254095252504 140255220203095 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25018] ppid=25003 vsize=15417412 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25018/stat : 25018 (java) S 25003 25003 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445765088 15787429888 20260 33554432000 4194304 4196468 140732051882832 140254094203232 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25019] ppid=25003 vsize=15417412 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25019/stat : 25019 (java) S 25003 25003 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445765088 15787429888 20260 33554432000 4194304 4196468 140732051882832 140254093151280 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 82492 KiB
[startup+1.51148 s]
/proc/loadavg: 7.97 8.39 8.26 10/240 25023
/proc/meminfo: memFree=30447172/32770624 swapFree=66922428/67108860
[pid=25003] ppid=25000 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25003/stat : 25003 (xcsp3-exec) S 25000 25003 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445765082 115843072 363 33554432000 4194304 5098028 140736416266896 140736416265000 139788305810044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31371264 140736416273275 140736416273517 140736416273517 140736416276426 0
/proc/25003/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/25005/task/25015/stat : 25015 (java) S 25003 25003 19836 0 -1 1077944384 5776 0 0 0 118 1 0 0 20 0 19 0 445765087 15787429888 285441 33554432000 4194304 4196468 140732051882832 140254097361136 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25016] ppid=25003 vsize=15417412 memory=32752 CPUtime=1.66 cores=1,3,5,7
/proc/25005/task/25016/stat : 25016 (java) S 25003 25003 19836 0 -1 1077944384 6817 0 0 0 165 1 0 0 20 0 19 0 445765087 15787429888 285441 33554432000 4194304 4196468 140732051882832 140254096308592 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25017] ppid=25003 vsize=15417412 memory=988 CPUtime=0.55 cores=1,3,5,7
/proc/25005/task/25017/stat : 25017 (java) S 25003 25003 19836 0 -1 1077944384 3354 0 0 0 54 1 0 0 20 0 19 0 445765087 15787429888 285441 33554432000 4194304 4196468 140732051882832 140254095255536 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25018] ppid=25003 vsize=15417412 memory=1148948 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25018/stat : 25018 (java) S 25003 25003 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445765088 15787429888 285441 33554432000 4194304 4196468 140732051882832 140254094203232 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25019] ppid=25003 vsize=15417412 memory=6791534058613427641 CPUtime=0.17 cores=1,3,5,7
/proc/25005/task/25019/stat : 25019 (java) S 25003 25003 19836 0 -1 1077944384 637 0 0 0 0 17 0 0 20 0 19 0 445765088 15787429888 285441 33554432000 4194304 4196468 140732051882832 140254093151280 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25020] ppid=25003 vsize=15417412 memory=1056 CPUtime=502.97 cores=1,3,5,7
/proc/25005/task/25020/stat : 25020 (java) R 25003 25003 19836 0 -1 4202560 2447 0 0 0 50295 2 0 0 20 0 19 0 445765140 15787429888 285441 33554432000 4194304 4196468 140732051882832 140254083932312 140254863979305 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25021] ppid=25003 vsize=15417412 memory=11620 CPUtime=503.17 cores=1,3,5,7
/proc/25005/task/25021/stat : 25021 (java) R 25003 25003 19836 0 -1 4202560 7508 0 0 0 50311 6 0 0 20 0 19 0 445765140 15787429888 285441 33554432000 4194304 4196468 140732051882832 140254082879568 140254863006521 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25022] ppid=25003 vsize=15417412 memory=3992 CPUtime=503.42 cores=1,3,5,7
/proc/25005/task/25022/stat : 25022 (java) R 25003 25003 19836 0 -1 4202560 2246 0 0 0 50339 3 0 0 20 0 19 0 445765140 15787429888 285441 33554432000 4194304 4196468 140732051882832 140254081827704 140254863004130 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25023] ppid=25003 vsize=15417412 memory=2828 CPUtime=501.96 cores=1,3,5,7
/proc/25005/task/25023/stat : 25023 (java) R 25003 25003 19836 0 -1 4202560 24878 0 0 0 50184 12 0 0 20 0 19 0 445765140 15787429888 285441 33554432000 4194304 4196468 140732051882832 140254080776816 140254864687584 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
Current children cumulated CPU time: 2030.52 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1143216 KiB
[startup+513.001 s]
/proc/loadavg: 8.81 8.60 8.41 10/237 25155
/proc/meminfo: memFree=29457012/32770624 swapFree=66922428/67108860
[pid=25003] ppid=25000 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25003/stat : 25003 (xcsp3-exec) S 25000 25003 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445765082 115843072 363 33554432000 4194304 5098028 140736416266896 140736416265000 139788305810044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31371264 140736416273275 140736416273517 140736416273517 140736416276426 0
/proc/25003/statm: 28282 363 304 221 0 87 0
[pid=25005] ppid=25003 vsize=15417412 memory=1140740 CPUtime=2033.67 cores=1,3,5,7
/proc/25005/stat : 25005 (java) S 25003 25003 19836 0 -1 1077944320 97875 0 0 0 203186 181 0 0 20 0 19 0 445765082 15787429888 285185 33554432000 4194304 4196468 140732051882832 140732051865376 140255227485943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
/proc/25005/statm: 3854353 285185 3541 1 0 3815453 0
[pid=25005/tid=25006] ppid=25003 vsize=15417412 memory=1324 CPUtime=0.56 cores=1,3,5,7
/proc/25005/task/25006/stat : 25006 (java) S 25003 25003 19836 0 -1 1077944384 9040 0 0 0 53 3 0 0 20 0 19 0 445765082 15787429888 285185 33554432000 4194304 4196468 140732051882832 140255231726720 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25007] ppid=25003 vsize=15417412 memory=6791534058613427641 CPUtime=3.29 cores=1,3,5,7
/proc/25005/task/25007/stat : 25007 (java) S 25003 25003 19836 0 -1 1077944384 3569 0 0 0 309 20 0 0 20 0 19 0 445765083 15787429888 285185 33554432000 4194304 4196468 140732051882832 140255180106256 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25008] ppid=25003 vsize=15417412 memory=1143304 CPUtime=3.27 cores=1,3,5,7
/proc/25005/task/25008/stat : 25008 (java) S 25003 25003 19836 0 -1 1077944384 3459 0 0 0 307 20 0 0 20 0 19 0 445765083 15787429888 285185 33554432000 4194304 4196468 140732051882832 140255179053712 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25009] ppid=25003 vsize=15417412 memory=1492 CPUtime=3.29 cores=1,3,5,7
/proc/25005/task/25009/stat : 25009 (java) S 25003 25003 19836 0 -1 1077944384 2830 0 0 0 310 19 0 0 20 0 19 0 445765083 15787429888 285185 33554432000 4194304 4196468 140732051882832 140255178000656 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25010] ppid=25003 vsize=15417412 memory=876 CPUtime=3.3 cores=1,3,5,7
/proc/25005/task/25010/stat : 25010 (java) S 25003 25003 19836 0 -1 1077944384 3343 0 0 0 311 19 0 0 20 0 19 0 445765083 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254817212816 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25011] ppid=25003 vsize=15417412 memory=1452 CPUtime=1.61 cores=1,3,5,7
/proc/25005/task/25011/stat : 25011 (java) S 25003 25003 19836 0 -1 1077944384 20670 0 0 0 82 79 0 0 20 0 19 0 445765084 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254101572336 140255227497090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25012] ppid=25003 vsize=15417412 memory=1141764 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25012/stat : 25012 (java) S 25003 25003 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445765085 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254100518624 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25013] ppid=25003 vsize=15417412 memory=11 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25013/stat : 25013 (java) S 25003 25003 19836 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 445765085 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254099465472 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25014] ppid=25003 vsize=15417412 memory=35182 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25014/stat : 25014 (java) S 25003 25003 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445765087 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254098414032 140255227504539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25015] ppid=25003 vsize=15417412 memory=35176 CPUtime=1.19 cores=1,3,5,7
/proc/25005/task/25015/stat : 25015 (java) S 25003 25003 19836 0 -1 1077944384 5776 0 0 0 118 1 0 0 20 0 19 0 445765087 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254097361136 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25016] ppid=25003 vsize=15417412 memory=11089 CPUtime=1.66 cores=1,3,5,7
/proc/25005/task/25016/stat : 25016 (java) S 25003 25003 19836 0 -1 1077944384 6817 0 0 0 165 1 0 0 20 0 19 0 445765087 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254096308592 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25017] ppid=25003 vsize=15417412 memory=4420 CPUtime=0.55 cores=1,3,5,7
/proc/25005/task/25017/stat : 25017 (java) S 25003 25003 19836 0 -1 1077944384 3354 0 0 0 54 1 0 0 20 0 19 0 445765087 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254095255536 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25018] ppid=25003 vsize=15417412 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25018/stat : 25018 (java) S 25003 25003 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445765088 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254094203232 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25019] ppid=25003 vsize=15417412 memory=8836 CPUtime=0.17 cores=1,3,5,7
/proc/25005/task/25019/stat : 25019 (java) S 25003 25003 19836 0 -1 1077944384 637 0 0 0 0 17 0 0 20 0 19 0 445765088 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254093151280 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25020] ppid=25003 vsize=15417412 memory=11044 CPUtime=503.76 cores=1,3,5,7
/proc/25005/task/25020/stat : 25020 (java) R 25003 25003 19836 0 -1 4202560 2448 0 0 0 50374 2 0 0 20 0 19 0 445765140 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254083932312 140254862815881 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25021] ppid=25003 vsize=15417412 memory=1452 CPUtime=503.96 cores=1,3,5,7
/proc/25005/task/25021/stat : 25021 (java) R 25003 25003 19836 0 -1 4202560 7508 0 0 0 50390 6 0 0 20 0 19 0 445765140 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254082879456 140254863723279 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25022] ppid=25003 vsize=15417412 memory=393556 CPUtime=504.2 cores=1,3,5,7
/proc/25005/task/25022/stat : 25022 (java) R 25003 25003 19836 0 -1 4202560 2247 0 0 0 50417 3 0 0 20 0 19 0 445765140 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254081827696 140255207211002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25023] ppid=25003 vsize=15417412 memory=1452 CPUtime=502.74 cores=1,3,5,7
/proc/25005/task/25023/stat : 25023 (java) R 25003 25003 19836 0 -1 4202560 24879 0 0 0 50262 12 0 0 20 0 19 0 445765140 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254080776816 140254864687704 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
Current children cumulated CPU time: 2033.67 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1142192 KiB
[startup+513.401 s]
/proc/loadavg: 8.81 8.60 8.41 9/237 25155
/proc/meminfo: memFree=29458316/32770624 swapFree=66922428/67108860
[pid=25003] ppid=25000 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25003/stat : 25003 (xcsp3-exec) S 25000 25003 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445765082 115843072 363 33554432000 4194304 5098028 140736416266896 140736416265000 139788305810044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31371264 140736416273275 140736416273517 140736416273517 140736416276426 0
/proc/25003/statm: 28282 363 304 221 0 87 0
[pid=25005] ppid=25003 vsize=15417412 memory=1140740 CPUtime=2035.25 cores=1,3,5,7
/proc/25005/stat : 25005 (java) S 25003 25003 19836 0 -1 1077944320 97876 0 0 0 203344 181 0 0 20 0 19 0 445765082 15787429888 285185 33554432000 4194304 4196468 140732051882832 140732051865376 140255227485943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
/proc/25005/statm: 3854353 285185 3541 1 0 3815453 0
[pid=25005/tid=25006] ppid=25003 vsize=15417412 memory=1452 CPUtime=0.56 cores=1,3,5,7
/proc/25005/task/25006/stat : 25006 (java) S 25003 25003 19836 0 -1 1077944384 9040 0 0 0 53 3 0 0 20 0 19 0 445765082 15787429888 285185 33554432000 4194304 4196468 140732051882832 140255231726720 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25007] ppid=25003 vsize=15417412 memory=1141764 CPUtime=3.29 cores=1,3,5,7
/proc/25005/task/25007/stat : 25007 (java) S 25003 25003 19836 0 -1 1077944384 3569 0 0 0 309 20 0 0 20 0 19 0 445765083 15787429888 285185 33554432000 4194304 4196468 140732051882832 140255180106256 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25008] ppid=25003 vsize=15417412 memory=119 CPUtime=3.27 cores=1,3,5,7
/proc/25005/task/25008/stat : 25008 (java) S 25003 25003 19836 0 -1 1077944384 3459 0 0 0 307 20 0 0 20 0 19 0 445765083 15787429888 285185 33554432000 4194304 4196468 140732051882832 140255179053712 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25009] ppid=25003 vsize=15417412 memory=6791534058613427641 CPUtime=3.29 cores=1,3,5,7
/proc/25005/task/25009/stat : 25009 (java) S 25003 25003 19836 0 -1 1077944384 2830 0 0 0 310 19 0 0 20 0 19 0 445765083 15787429888 285185 33554432000 4194304 4196468 140732051882832 140255178000656 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25010] ppid=25003 vsize=15417412 memory=-7812736537705029536 CPUtime=3.3 cores=1,3,5,7
/proc/25005/task/25010/stat : 25010 (java) S 25003 25003 19836 0 -1 1077944384 3343 0 0 0 311 19 0 0 20 0 19 0 445765083 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254817212816 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25011] ppid=25003 vsize=15417412 memory=-4051592751533505334 CPUtime=1.61 cores=1,3,5,7
/proc/25005/task/25011/stat : 25011 (java) S 25003 25003 19836 0 -1 1077944384 20670 0 0 0 82 79 0 0 20 0 19 0 445765084 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254101572336 140255227497090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25012] ppid=25003 vsize=15417412 memory=-2461829820114675750 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25012/stat : 25012 (java) S 25003 25003 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445765085 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254100518624 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25013] ppid=25003 vsize=15417412 memory=7161658440797744236 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25013/stat : 25013 (java) S 25003 25003 19836 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 445765085 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254099465472 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25014] ppid=25003 vsize=15417412 memory=7161658440797744236 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25014/stat : 25014 (java) S 25003 25003 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445765087 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254098414032 140255227504539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25015] ppid=25003 vsize=15417412 memory=7810763844726514514 CPUtime=1.19 cores=1,3,5,7
/proc/25005/task/25015/stat : 25015 (java) S 25003 25003 19836 0 -1 1077944384 5776 0 0 0 118 1 0 0 20 0 19 0 445765087 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254097361136 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25016] ppid=25003 vsize=15417412 memory=1056 CPUtime=1.66 cores=1,3,5,7
/proc/25005/task/25016/stat : 25016 (java) S 25003 25003 19836 0 -1 1077944384 6817 0 0 0 165 1 0 0 20 0 19 0 445765087 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254096308592 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25017] ppid=25003 vsize=15417412 memory=11620 CPUtime=0.55 cores=1,3,5,7
/proc/25005/task/25017/stat : 25017 (java) S 25003 25003 19836 0 -1 1077944384 3354 0 0 0 54 1 0 0 20 0 19 0 445765087 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254095255536 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25018] ppid=25003 vsize=15417412 memory=3992 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25018/stat : 25018 (java) S 25003 25003 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445765088 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254094203232 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25019] ppid=25003 vsize=15417412 memory=2828 CPUtime=0.17 cores=1,3,5,7
/proc/25005/task/25019/stat : 25019 (java) S 25003 25003 19836 0 -1 1077944384 637 0 0 0 0 17 0 0 20 0 19 0 445765088 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254093151280 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25020] ppid=25003 vsize=15417412 memory=1000 CPUtime=504.15 cores=1,3,5,7
/proc/25005/task/25020/stat : 25020 (java) R 25003 25003 19836 0 -1 4202560 2448 0 0 0 50413 2 0 0 20 0 19 0 445765140 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254083932184 140254863008353 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25021] ppid=25003 vsize=15417412 memory=1560 CPUtime=504.36 cores=1,3,5,7
/proc/25005/task/25021/stat : 25021 (java) R 25003 25003 19836 0 -1 4202560 7508 0 0 0 50430 6 0 0 20 0 19 0 445765140 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254082879456 140254864517547 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25022] ppid=25003 vsize=15417412 memory=1172 CPUtime=504.6 cores=1,3,5,7
/proc/25005/task/25022/stat : 25022 (java) R 25003 25003 19836 0 -1 4202560 2248 0 0 0 50457 3 0 0 20 0 19 0 445765140 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254081827832 140254863002179 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25023] ppid=25003 vsize=15417412 memory=14008 CPUtime=503.13 cores=1,3,5,7
/proc/25005/task/25023/stat : 25023 (java) R 25003 25003 19836 0 -1 4202560 24879 0 0 0 50301 12 0 0 20 0 19 0 445765140 15787429888 285185 33554432000 4194304 4196468 140732051882832 140254080776816 140254862815017 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
Current children cumulated CPU time: 2035.25 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1142192 KiB
[startup+513.801 s]
/proc/loadavg: 8.81 8.60 8.41 9/237 25155
/proc/meminfo: memFree=29458316/32770624 swapFree=66922428/67108860
[pid=25003] ppid=25000 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25003/stat : 25003 (xcsp3-exec) S 25000 25003 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445765082 115843072 363 33554432000 4194304 5098028 140736416266896 140736416265000 139788305810044 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31371264 140736416273275 140736416273517 140736416273517 140736416276426 0
/proc/25003/statm: 28282 363 304 221 0 87 0
[pid=25005] ppid=25003 vsize=15417412 memory=1139580 CPUtime=2036.81 cores=1,3,5,7
/proc/25005/stat : 25005 (java) S 25003 25003 19836 0 -1 1077944320 98410 0 0 0 203499 182 0 0 20 0 15 0 445765082 15787429888 284895 33554432000 4194304 4196468 140732051882832 140732051865376 140255227485943 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
/proc/25005/statm: 3854353 284895 3543 1 0 3815453 0
[pid=25005/tid=25006] ppid=25003 vsize=15417412 memory=1143304 CPUtime=0.56 cores=1,3,5,7
/proc/25005/task/25006/stat : 25006 (java) R 25003 25003 19836 0 -1 4202560 9251 0 0 0 53 3 0 0 20 0 15 0 445765082 15787429888 284895 33554432000 4194304 4196468 140732051882832 140255231726808 140255208895622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25007] ppid=25003 vsize=15417412 memory=32752 CPUtime=3.29 cores=1,3,5,7
/proc/25005/task/25007/stat : 25007 (java) S 25003 25003 19836 0 -1 1077944384 3569 0 0 0 309 20 0 0 20 0 15 0 445765083 15787429888 284895 33554432000 4194304 4196468 140732051882832 140255180106256 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25008] ppid=25003 vsize=15417412 memory=988 CPUtime=3.28 cores=1,3,5,7
/proc/25005/task/25008/stat : 25008 (java) S 25003 25003 19836 0 -1 1077944384 3464 0 0 0 308 20 0 0 20 0 15 0 445765083 15787429888 284895 33554432000 4194304 4196468 140732051882832 140255179053712 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25009] ppid=25003 vsize=15417412 memory=6791534058613427641 CPUtime=3.29 cores=1,3,5,7
/proc/25005/task/25009/stat : 25009 (java) S 25003 25003 19836 0 -1 1077944384 2835 0 0 0 310 19 0 0 20 0 15 0 445765083 15787429888 284895 33554432000 4194304 4196468 140732051882832 140255178000656 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25010] ppid=25003 vsize=15417412 memory=14008 CPUtime=3.3 cores=1,3,5,7
/proc/25005/task/25010/stat : 25010 (java) S 25003 25003 19836 0 -1 1077944384 3343 0 0 0 311 19 0 0 20 0 15 0 445765083 15787429888 284895 33554432000 4194304 4196468 140732051882832 140254817212816 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25011] ppid=25003 vsize=15417412 memory=14076 CPUtime=1.61 cores=1,3,5,7
/proc/25005/task/25011/stat : 25011 (java) S 25003 25003 19836 0 -1 1077944384 20671 0 0 0 82 79 0 0 20 0 15 0 445765084 15787429888 284895 33554432000 4194304 4196468 140732051882832 140254101572336 140255227497090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25012] ppid=25003 vsize=15417412 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25012/stat : 25012 (java) S 25003 25003 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445765085 15787429888 284895 33554432000 4194304 4196468 140732051882832 140254100518624 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25013] ppid=25003 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25013/stat : 25013 (java) S 25003 25003 19836 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 445765085 15787429888 284895 33554432000 4194304 4196468 140732051882832 140254099465472 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25014] ppid=25003 vsize=15417412 memory=1168300 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25014/stat : 25014 (java) S 25003 25003 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445765087 15787429888 284895 33554432000 4194304 4196468 140732051882832 140254098414032 140255227504539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25015] ppid=25003 vsize=15417412 memory=6791534058613427641 CPUtime=1.19 cores=1,3,5,7
/proc/25005/task/25015/stat : 25015 (java) S 25003 25003 19836 0 -1 1077944384 5776 0 0 0 118 1 0 0 20 0 15 0 445765087 15787429888 284895 33554432000 4194304 4196468 140732051882832 140254097361136 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25016] ppid=25003 vsize=15417412 memory=0 CPUtime=1.66 cores=1,3,5,7
/proc/25005/task/25016/stat : 25016 (java) S 25003 25003 19836 0 -1 1077944384 6817 0 0 0 165 1 0 0 20 0 15 0 445765087 15787429888 284895 33554432000 4194304 4196468 140732051882832 140254096308592 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25017] ppid=25003 vsize=15417412 memory=17 CPUtime=0.55 cores=1,3,5,7
/proc/25005/task/25017/stat : 25017 (java) R 25003 25003 19836 0 -1 4202560 3468 0 0 0 54 1 0 0 20 0 15 0 445765087 15787429888 284895 33554432000 4194304 4196468 140732051882832 140254095255536 140255208892329 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25018] ppid=25003 vsize=15417412 memory=49821 CPUtime=0 cores=1,3,5,7
/proc/25005/task/25018/stat : 25018 (java) S 25003 25003 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445765088 15787429888 284895 33554432000 4194304 4196468 140732051882832 140254094203232 140255227496149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
[pid=25005/tid=25019] ppid=25003 vsize=15417412 memory=49840 CPUtime=0.17 cores=1,3,5,7
/proc/25005/task/25019/stat : 25019 (java) S 25003 25003 19836 0 -1 1077944384 637 0 0 0 0 17 0 0 20 0 15 0 445765088 15787429888 284895 33554432000 4194304 4196468 140732051882832 140254093151280 140255227497090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 29712384 140732051891183 140732051891354 140732051891354 140732051894223 0
Current children cumulated CPU time: 2036.81 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1141032 KiB
Child status: 0
Real time (s): 513.812
CPU time (s): 2036.83
CPU user time (s): 2035
CPU system time (s): 1.8309
CPU usage (%): 396.415
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 1245960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2035
system time used= 1.8309
maximum resident set size= 1263960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99996
page faults= 0
swaps= 0
block input operations= 0
block output operations= 688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31206
involuntary context switches= 37812
# summary of solver processes directly reported to runsolver:
# pid: 25003
# total CPU time (s): 2036.83
# total CPU user time (s): 2035
# total CPU system time (s): 1.8309
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.34757 second user time and 5.88705 second system time
The end