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 (14486 MiB free)
memory of node 1: 16384 MiB (15613 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269969-1502623649/watcher-4269969-1502623649 -o /tmp/evaluation-result-4269969-1502623649/solver-4269969-1502623649 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28321 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1398592381 HOME/instance-4269969-1502623649.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=2005, runsolver pid=2001
Current StackSize limit: 8192 KiB
[startup+0.100092 s]*
/proc/loadavg: 1.99 1.95 1.95 3/206 2015
/proc/meminfo: memFree=30810788/32770624 swapFree=67108860/67108860
[pid=2005] ppid=2001 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2005/stat : 2005 (xcsp3-exec) S 2001 2005 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64558239 9740288 345 18446744073709551615 4194304 5098028 140724542384000 140724542382104 139895932711548 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 23240704 140724542390654 140724542390858 140724542390858 140724542394347 0
/proc/2005/statm: 2378 345 289 221 0 87 0
[pid=2007] ppid=2005 vsize=13574484 memory=18300 CPUtime=0.02 cores=1,3,5,7
/proc/2007/stat : 2007 (java) S 2005 2005 17093 0 -1 1077944320 3927 0 0 0 2 0 0 0 20 0 9 0 64558246 13900271616 4575 18446744073709551615 4194304 4196468 140730414862480 140730414845024 140696553561847 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
/proc/2007/statm: 3393621 4575 2086 1 0 3383118 0
[pid=2007/tid=2008] ppid=2005 vsize=13574484 memory=1404226546285847689 CPUtime=0.02 cores=1,3,5,7
/proc/2007/task/2008/stat : 2008 (java) R 2005 2005 17093 0 -1 4202560 2680 0 0 0 2 0 0 0 20 0 9 0 64558246 13900271616 4650 18446744073709551615 4194304 4196468 140730414862480 140696557799792 140696537689798 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2009] ppid=2005 vsize=13574484 memory=3691042058319900680 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2009/stat : 2009 (java) S 2005 2005 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64558247 13900271616 4650 18446744073709551615 4194304 4196468 140730414862480 140696487995664 140696553572053 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2010] ppid=2005 vsize=13574484 memory=140618275460736 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2010/stat : 2010 (java) S 2005 2005 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64558247 13900271616 4650 18446744073709551615 4194304 4196468 140730414862480 140696486943120 140696553572053 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2011] ppid=2005 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2011/stat : 2011 (java) S 2005 2005 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64558247 13900271616 4650 18446744073709551615 4194304 4196468 140730414862480 140696485890576 140696553572053 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2012] ppid=2005 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2012/stat : 2012 (java) S 2005 2005 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64558247 13900271616 4650 18446744073709551615 4194304 4196468 140730414862480 140696151046800 140696553572053 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2013] ppid=2005 vsize=13574484 memory=140618275460736 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2013/stat : 2013 (java) S 2005 2005 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64558248 13900271616 4650 18446744073709551615 4194304 4196468 140730414862480 140695470426608 140696553572994 0 0 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2014] ppid=2005 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2014/stat : 2014 (java) S 2005 2005 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 64558248 13900271616 4650 18446744073709551615 4194304 4196468 140730414862480 140695469372832 140696553572053 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2015] ppid=2005 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2015/stat : 2015 (java) S 2005 2005 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 64558249 13900271616 4650 18446744073709551615 4194304 4196468 140730414862480 140695468320304 140696553572053 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19680 KiB
[startup+0.211491 s]*
/proc/loadavg: 1.99 1.95 1.95 5/212 2021
/proc/meminfo: memFree=30803976/32770624 swapFree=67108860/67108860
[pid=2005] ppid=2001 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2005/stat : 2005 (xcsp3-exec) S 2001 2005 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64558239 9740288 345 18446744073709551615 4194304 5098028 140724542384000 140724542382104 139895932711548 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 23240704 140724542390654 140724542390858 140724542390858 140724542394347 0
/proc/2005/statm: 2378 345 289 221 0 87 0
[pid=2007] ppid=2005 vsize=13974352 memory=28040 CPUtime=0.13 cores=1,3,5,7
/proc/2007/stat : 2007 (java) S 2005 2005 17093 0 -1 1077944320 5473 0 0 0 12 1 0 0 20 0 15 0 64558246 14309736448 7010 18446744073709551615 4194304 4196468 140730414862480 140730414845024 140696553561847 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
/proc/2007/statm: 3493588 7010 2851 1 0 3482964 0
[pid=2007/tid=2008] ppid=2005 vsize=13974352 memory=7022364594140610616 CPUtime=0.1 cores=1,3,5,7
/proc/2007/task/2008/stat : 2008 (java) R 2005 2005 17093 0 -1 4202560 3407 0 0 0 9 1 0 0 20 0 15 0 64558246 14309736448 7010 18446744073709551615 4194304 4196468 140730414862480 140696557791440 140696553573782 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2009] ppid=2005 vsize=13974352 memory=343 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2009/stat : 2009 (java) S 2005 2005 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64558247 14309736448 7010 18446744073709551615 4194304 4196468 140730414862480 140696487995664 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2010] ppid=2005 vsize=13974352 memory=288370994427172480 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2010/stat : 2010 (java) S 2005 2005 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64558247 14309736448 7010 18446744073709551615 4194304 4196468 140730414862480 140696486943120 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2011] ppid=2005 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2011/stat : 2011 (java) S 2005 2005 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64558247 14309736448 7010 18446744073709551615 4194304 4196468 140730414862480 140696485890576 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2012] ppid=2005 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2012/stat : 2012 (java) S 2005 2005 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64558247 14309736448 7010 18446744073709551615 4194304 4196468 140730414862480 140696151046800 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2013] ppid=2005 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2013/stat : 2013 (java) S 2005 2005 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64558248 14309736448 7010 18446744073709551615 4194304 4196468 140730414862480 140695470426608 140696553572994 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2014] ppid=2005 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2014/stat : 2014 (java) S 2005 2005 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64558248 14309736448 7010 18446744073709551615 4194304 4196468 140730414862480 140695469372832 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2015] ppid=2005 vsize=13974352 memory=140618275460736 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2015/stat : 2015 (java) S 2005 2005 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64558249 14309736448 7010 18446744073709551615 4194304 4196468 140730414862480 140695468320240 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2016] ppid=2005 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2016/stat : 2016 (java) S 2005 2005 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64558251 14309736448 7010 18446744073709551615 4194304 4196468 140730414862480 140695467268816 140696553580443 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2017] ppid=2005 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2017/stat : 2017 (java) S 2005 2005 17093 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 64558251 14309736448 7010 18446744073709551615 4194304 4196468 140730414862480 140695466215408 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2018] ppid=2005 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2018/stat : 2018 (java) S 2005 2005 17093 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 64558251 14309736448 7010 18446744073709551615 4194304 4196468 140730414862480 140695465162864 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2019] ppid=2005 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2007/task/2019/stat : 2019 (java) R 2005 2005 17093 0 -1 4202560 338 0 0 0 2 0 0 0 20 0 15 0 64558251 14309736448 7010 18446744073709551615 4194304 4196468 140730414862480 140695464110320 140696537642334 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2020] ppid=2005 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2020/stat : 2020 (java) S 2005 2005 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64558251 14309736448 7010 18446744073709551615 4194304 4196468 140730414862480 140695463058016 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2021] ppid=2005 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2021/stat : 2021 (java) S 2005 2005 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64558255 14309736448 7010 18446744073709551615 4194304 4196468 140730414862480 140695462005552 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29420 KiB
[startup+0.310407 s]*
/proc/loadavg: 1.99 1.95 1.95 5/212 2021
/proc/meminfo: memFree=30791504/32770624 swapFree=67108860/67108860
[pid=2005] ppid=2001 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2005/stat : 2005 (xcsp3-exec) S 2001 2005 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64558239 9740288 345 18446744073709551615 4194304 5098028 140724542384000 140724542382104 139895932711548 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 23240704 140724542390654 140724542390858 140724542390858 140724542394347 0
/proc/2005/statm: 2378 345 289 221 0 87 0
[pid=2007] ppid=2005 vsize=13978608 memory=39808 CPUtime=0.33 cores=1,3,5,7
/proc/2007/stat : 2007 (java) S 2005 2005 17093 0 -1 1077944320 9211 0 0 0 30 3 0 0 20 0 15 0 64558246 14314094592 9952 18446744073709551615 4194304 4196468 140730414862480 140730414845024 140696553561847 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
/proc/2007/statm: 3494652 9952 2992 1 0 3482964 0
[pid=2007/tid=2008] ppid=2005 vsize=13978608 memory=6933928925625698159 CPUtime=0.19 cores=1,3,5,7
/proc/2007/task/2008/stat : 2008 (java) R 2005 2005 17093 0 -1 4202560 6407 0 0 0 17 2 0 0 20 0 15 0 64558246 14314094592 9952 18446744073709551615 4194304 4196468 140730414862480 140696557798688 140696537642334 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2009] ppid=2005 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2009/stat : 2009 (java) S 2005 2005 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64558247 14314094592 9952 18446744073709551615 4194304 4196468 140730414862480 140696487995664 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2010] ppid=2005 vsize=13978608 memory=140618275509536 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2010/stat : 2010 (java) S 2005 2005 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64558247 14314094592 9952 18446744073709551615 4194304 4196468 140730414862480 140696486943120 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2011] ppid=2005 vsize=13978608 memory=140618275460736 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2011/stat : 2011 (java) S 2005 2005 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64558247 14314094592 9952 18446744073709551615 4194304 4196468 140730414862480 140696485890576 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2012] ppid=2005 vsize=13978608 memory=67 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2012/stat : 2012 (java) S 2005 2005 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64558247 14314094592 9952 18446744073709551615 4194304 4196468 140730414862480 140696151046800 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2013] ppid=2005 vsize=13978608 memory=55780 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2013/stat : 2013 (java) S 2005 2005 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64558248 14314094592 9952 18446744073709551615 4194304 4196468 140730414862480 140695470426608 140696553572994 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2014] ppid=2005 vsize=13978608 memory=35 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2014/stat : 2014 (java) S 2005 2005 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64558248 14314094592 9952 18446744073709551615 4194304 4196468 140730414862480 140695469372832 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2015] ppid=2005 vsize=13978608 memory=281236444357968 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2015/stat : 2015 (java) S 2005 2005 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64558249 14314094592 9952 18446744073709551615 4194304 4196468 140730414862480 140695468320240 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2016] ppid=2005 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2016/stat : 2016 (java) S 2005 2005 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64558251 14314094592 9952 18446744073709551615 4194304 4196468 140730414862480 140695467268816 140696553580443 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2017] ppid=2005 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2007/task/2017/stat : 2017 (java) S 2005 2005 17093 0 -1 1077944384 509 0 0 0 2 0 0 0 20 0 15 0 64558251 14314094592 9952 18446744073709551615 4194304 4196468 140730414862480 140695466215408 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2018] ppid=2005 vsize=13978608 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2007/task/2018/stat : 2018 (java) S 2005 2005 17093 0 -1 1077944384 264 0 0 0 2 0 0 0 20 0 15 0 64558251 14314094592 9952 18446744073709551615 4194304 4196468 140730414862480 140695465162864 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2019] ppid=2005 vsize=13978608 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2007/task/2019/stat : 2019 (java) R 2005 2005 17093 0 -1 4202560 741 0 0 0 7 0 0 0 20 0 15 0 64558251 14314094592 9952 18446744073709551615 4194304 4196468 140730414862480 140695464110320 140696537642334 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2020] ppid=2005 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2020/stat : 2020 (java) S 2005 2005 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64558251 14314094592 9952 18446744073709551615 4194304 4196468 140730414862480 140695463058016 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2021] ppid=2005 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2021/stat : 2021 (java) S 2005 2005 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64558255 14314094592 9952 18446744073709551615 4194304 4196468 140730414862480 140695462005552 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41188 KiB
[startup+0.706526 s]
/proc/loadavg: 1.99 1.95 1.95 3/212 2021
/proc/meminfo: memFree=30775248/32770624 swapFree=67108860/67108860
[pid=2005] ppid=2001 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2005/stat : 2005 (xcsp3-exec) S 2001 2005 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64558239 9740288 345 18446744073709551615 4194304 5098028 140724542384000 140724542382104 139895932711548 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 23240704 140724542390654 140724542390858 140724542390858 140724542394347 0
/proc/2005/statm: 2378 345 289 221 0 87 0
[pid=2007] ppid=2005 vsize=13978684 memory=102140 CPUtime=1.3 cores=1,3,5,7
/proc/2007/stat : 2007 (java) S 2005 2005 17093 0 -1 1077944320 12583 0 0 0 125 5 0 0 20 0 15 0 64558246 14314172416 25535 18446744073709551615 4194304 4196468 140730414862480 140730414845024 140696553561847 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
/proc/2007/statm: 3494671 25535 3148 1 0 3482964 0
[pid=2007/tid=2008] ppid=2005 vsize=13978684 memory=5788 CPUtime=0.58 cores=1,3,5,7
/proc/2007/task/2008/stat : 2008 (java) R 2005 2005 17093 0 -1 4202560 7920 0 0 0 54 4 0 0 20 0 15 0 64558246 14314172416 25535 18446744073709551615 4194304 4196468 140730414862480 140696557800144 140696169081274 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2009] ppid=2005 vsize=13978684 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2009/stat : 2009 (java) S 2005 2005 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64558247 14314172416 25535 18446744073709551615 4194304 4196468 140730414862480 140696487995664 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2010] ppid=2005 vsize=13978684 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2010/stat : 2010 (java) S 2005 2005 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64558247 14314172416 25535 18446744073709551615 4194304 4196468 140730414862480 140696486943120 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2011] ppid=2005 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2011/stat : 2011 (java) S 2005 2005 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64558247 14314172416 25535 18446744073709551615 4194304 4196468 140730414862480 140696485890576 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2012] ppid=2005 vsize=13978684 memory=140621524238916 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2012/stat : 2012 (java) S 2005 2005 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64558247 14314172416 25535 18446744073709551615 4194304 4196468 140730414862480 140696151046800 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2013] ppid=2005 vsize=13978684 memory=140621524238920 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2013/stat : 2013 (java) S 2005 2005 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64558248 14314172416 25535 18446744073709551615 4194304 4196468 140730414862480 140695470426608 140696553572994 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2014] ppid=2005 vsize=13978684 memory=140621524238923 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2014/stat : 2014 (java) S 2005 2005 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64558248 14314172416 25535 18446744073709551615 4194304 4196468 140730414862480 140695469372832 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2015] ppid=2005 vsize=13978684 memory=140621524238944 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2015/stat : 2015 (java) S 2005 2005 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64558249 14314172416 25535 18446744073709551615 4194304 4196468 140730414862480 140695468320240 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2016] ppid=2005 vsize=13978684 memory=140621524238955 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2016/stat : 2016 (java) S 2005 2005 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64558251 14314172416 25535 18446744073709551615 4194304 4196468 140730414862480 140695467268816 140696553580443 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2017] ppid=2005 vsize=13978684 memory=-6511184166092876942 CPUtime=0.24 cores=1,3,5,7
/proc/2007/task/2017/stat : 2017 (java) R 2005 2005 17093 0 -1 4202560 1092 0 0 0 24 0 0 0 20 0 15 0 64558251 14314172416 25535 18446744073709551615 4194304 4196468 140730414862480 140695466204160 140696537457584 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2018] ppid=2005 vsize=13978684 memory=-3472574513799858010 CPUtime=0.23 cores=1,3,5,7
/proc/2007/task/2018/stat : 2018 (java) R 2005 2005 17093 0 -1 4202560 872 0 0 0 23 0 0 0 20 0 15 0 64558251 14314172416 25535 18446744073709551615 4194304 4196468 140730414862480 140695465149680 140696531977434 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2019] ppid=2005 vsize=13978684 memory=-3395018494902226719 CPUtime=0.22 cores=1,3,5,7
/proc/2007/task/2019/stat : 2019 (java) S 2005 2005 17093 0 -1 1077944384 1391 0 0 0 22 0 0 0 20 0 15 0 64558251 14314172416 25535 18446744073709551615 4194304 4196468 140730414862480 140695464110320 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2020] ppid=2005 vsize=13978684 memory=9124152854131106007 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2020/stat : 2020 (java) S 2005 2005 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64558251 14314172416 25535 18446744073709551615 4194304 4196468 140730414862480 140695463058016 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2021] ppid=2005 vsize=13978684 memory=-6452064069391756930 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2021/stat : 2021 (java) S 2005 2005 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64558255 14314172416 25535 18446744073709551615 4194304 4196468 140730414862480 140695462005552 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 103520 KiB
[startup+1.50156 s]
/proc/loadavg: 1.99 1.95 1.95 5/212 2021
/proc/meminfo: memFree=30683504/32770624 swapFree=67108860/67108860
[pid=2005] ppid=2001 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2005/stat : 2005 (xcsp3-exec) S 2001 2005 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64558239 9740288 345 18446744073709551615 4194304 5098028 140724542384000 140724542382104 139895932711548 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 23240704 140724542390654 140724542390858 140724542390858 140724542394347 0
/proc/2005/statm: 2378 345 289 221 0 87 0
[pid=2007] ppid=2005 vsize=13980732 memory=200004 CPUtime=3.16 cores=1,3,5,7
/proc/2007/stat : 2007 (java) S 2005 2005 17093 0 -1 1077944320 18902 0 0 0 309 7 0 0 20 0 15 0 64558246 14316269568 50001 18446744073709551615 4194304 4196468 140730414862480 140730414845024 140696553561847 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
/proc/2007/statm: 3495183 50001 3204 1 0 3483476 0
[pid=2007/tid=2008] ppid=2005 vsize=13980732 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/2007/task/2008/stat : 2008 (java) R 2005 2005 17093 0 -1 4202560 8391 0 0 0 131 4 0 0 20 0 15 0 64558246 14316269568 50001 18446744073709551615 4194304 4196468 140730414862480 140696557798952 140696167371461 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2009] ppid=2005 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/2007/task/2009/stat : 2009 (java) S 2005 2005 17093 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 15 0 64558247 14316269568 50001 18446744073709551615 4194304 4196468 140730414862480 140696487995664 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2010] ppid=2005 vsize=13980732 memory=194996 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2010/stat : 2010 (java) S 2005 2005 17093 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 64558247 14316269568 50001 18446744073709551615 4194304 4196468 140730414862480 140696486943120 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2011] ppid=2005 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2011/stat : 2011 (java) S 2005 2005 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64558247 14316269568 50001 18446744073709551615 4194304 4196468 140730414862480 140696485890576 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2012] ppid=2005 vsize=13980732 memory=4028 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
/proc/2007/task/2015/stat : 2015 (java) S 2005 2005 17093 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 64558249 14316269568 124260 18446744073709551615 4194304 4196468 140730414862480 140695468320256 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2016] ppid=2005 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2016/stat : 2016 (java) S 2005 2005 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64558251 14316269568 124260 18446744073709551615 4194304 4196468 140730414862480 140695467268816 140696553580443 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2017] ppid=2005 vsize=13980732 memory=281236337665024 CPUtime=2.38 cores=1,3,5,7
/proc/2007/task/2017/stat : 2017 (java) S 2005 2005 17093 0 -1 1077944384 10478 0 0 0 237 1 0 0 20 0 15 0 64558251 14316269568 124260 18446744073709551615 4194304 4196468 140730414862480 140695466215408 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2018] ppid=2005 vsize=13980732 memory=1380 CPUtime=2.13 cores=1,3,5,7
/proc/2007/task/2018/stat : 2018 (java) S 2005 2005 17093 0 -1 1077944384 11459 0 0 0 212 1 0 0 20 0 15 0 64558251 14316269568 124260 18446744073709551615 4194304 4196468 140730414862480 140695465162864 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2019] ppid=2005 vsize=13980732 memory=1380 CPUtime=0.51 cores=1,3,5,7
/proc/2007/task/2019/stat : 2019 (java) S 2005 2005 17093 0 -1 1077944384 5112 0 0 0 50 1 0 0 20 0 15 0 64558251 14316269568 124260 18446744073709551615 4194304 4196468 140730414862480 140695464110320 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2020] ppid=2005 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2020/stat : 2020 (java) S 2005 2005 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64558251 14316269568 124260 18446744073709551615 4194304 4196468 140730414862480 140695463058016 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2021] ppid=2005 vsize=13980732 memory=462708 CPUtime=0.05 cores=1,3,5,7
/proc/2007/task/2021/stat : 2021 (java) S 2005 2005 17093 0 -1 1077944384 326 0 0 0 2 3 0 0 20 0 15 0 64558255 14316269568 124260 18446744073709551615 4194304 4196468 140730414862480 140695462005552 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
Current children cumulated CPU time: 107.48 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 498420 KiB
[startup+162.301 s]
/proc/loadavg: 2.00 1.98 1.96 3/211 2106
/proc/meminfo: memFree=22934012/32770624 swapFree=67108860/67108860
[pid=2005] ppid=2001 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2005/stat : 2005 (xcsp3-exec) S 2001 2005 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64558239 9740288 345 18446744073709551615 4194304 5098028 140724542384000 140724542382104 139895932711548 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 23240704 140724542390654 140724542390858 140724542390858 140724542394347 0
/proc/2005/statm: 2378 345 289 221 0 87 0
[pid=2007] ppid=2005 vsize=13980732 memory=700884 CPUtime=167.74 cores=1,3,5,7
/proc/2007/stat : 2007 (java) S 2005 2005 17093 0 -1 1077944320 50051 0 0 0 16742 32 0 0 20 0 15 0 64558246 14316269568 175221 18446744073709551615 4194304 4196468 140730414862480 140730414845024 140696553561847 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
/proc/2007/statm: 3495183 175221 3237 1 0 3483476 0
[pid=2007/tid=2008] ppid=2005 vsize=13980732 memory=700884 CPUtime=162.06 cores=1,3,5,7
/proc/2007/task/2008/stat : 2008 (java) R 2005 2005 17093 0 -1 4202560 14186 0 0 0 16196 10 0 0 20 0 15 0 64558246 14316269568 175221 18446744073709551615 4194304 4196468 140730414862480 140696557798048 140696170816692 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2009] ppid=2005 vsize=13980732 memory=700884 CPUtime=0.07 cores=1,3,5,7
/proc/2007/task/2009/stat : 2009 (java) S 2005 2005 17093 0 -1 1077944384 797 0 0 0 5 2 0 0 20 0 15 0 64558247 14316269568 175221 18446744073709551615 4194304 4196468 140730414862480 140696487995664 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2010] ppid=2005 vsize=13980732 memory=700884 CPUtime=0.08 cores=1,3,5,7
/proc/2007/task/2010/stat : 2010 (java) S 2005 2005 17093 0 -1 1077944384 1000 0 0 0 5 3 0 0 20 0 15 0 64558247 14316269568 175221 18446744073709551615 4194304 4196468 140730414862480 140696486943120 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2011] ppid=2005 vsize=13980732 memory=700884 CPUtime=0.07 cores=1,3,5,7
/proc/2007/task/2011/stat : 2011 (java) S 2005 2005 17093 0 -1 1077944384 457 0 0 0 4 3 0 0 20 0 15 0 64558247 14316269568 175221 18446744073709551615 4194304 4196468 140730414862480 140696485890576 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2012] ppid=2005 vsize=13980732 memory=700884 CPUtime=0.06 cores=1,3,5,7
/proc/2007/task/2012/stat : 2012 (java) S 2005 2005 17093 0 -1 1077944384 742 0 0 0 4 2 0 0 20 0 15 0 64558247 14316269568 175221 18446744073709551615 4194304 4196468 140730414862480 140696151046800 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2013] ppid=2005 vsize=13980732 memory=700884 CPUtime=0.01 cores=1,3,5,7
/proc/2007/task/2013/stat : 2013 (java) S 2005 2005 17093 0 -1 1077944384 1322 0 0 0 1 0 0 0 20 0 15 0 64558248 14316269568 175221 18446744073709551615 4194304 4196468 140730414862480 140695470426608 140696553572994 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2014] ppid=2005 vsize=13980732 memory=700884 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2014/stat : 2014 (java) S 2005 2005 17093 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 64558248 14316269568 175221 18446744073709551615 4194304 4196468 140730414862480 140695469372896 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2015] ppid=2005 vsize=13980732 memory=700884 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2015/stat : 2015 (java) S 2005 2005 17093 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 64558249 14316269568 175221 18446744073709551615 4194304 4196468 140730414862480 140695468320256 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2016] ppid=2005 vsize=13980732 memory=700884 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2016/stat : 2016 (java) S 2005 2005 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64558251 14316269568 175221 18446744073709551615 4194304 4196468 140730414862480 140695467268816 140696553580443 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2017] ppid=2005 vsize=13980732 memory=1380 CPUtime=2.47 cores=1,3,5,7
/proc/2007/task/2017/stat : 2017 (java) S 2005 2005 17093 0 -1 1077944384 12356 0 0 0 246 1 0 0 20 0 15 0 64558251 14316269568 175221 18446744073709551615 4194304 4196468 140730414862480 140695466215408 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2018] ppid=2005 vsize=13980732 memory=662940 CPUtime=2.22 cores=1,3,5,7
/proc/2007/task/2018/stat : 2018 (java) S 2005 2005 17093 0 -1 1077944384 12276 0 0 0 221 1 0 0 20 0 15 0 64558251 14316269568 175221 18446744073709551615 4194304 4196468 140730414862480 140695465162864 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2019] ppid=2005 vsize=13980732 memory=1380 CPUtime=0.52 cores=1,3,5,7
/proc/2007/task/2019/stat : 2019 (java) S 2005 2005 17093 0 -1 1077944384 5179 0 0 0 51 1 0 0 20 0 15 0 64558251 14316269568 175221 18446744073709551615 4194304 4196468 140730414862480 140695464110320 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2020] ppid=2005 vsize=13980732 memory=700884 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2020/stat : 2020 (java) S 2005 2005 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64558251 14316269568 175221 18446744073709551615 4194304 4196468 140730414862480 140695463058016 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2021] ppid=2005 vsize=13980732 memory=700884 CPUtime=0.09 cores=1,3,5,7
/proc/2007/task/2021/stat : 2021 (java) S 2005 2005 17093 0 -1 1077944384 333 0 0 0 4 5 0 0 20 0 15 0 64558255 14316269568 175221 18446744073709551615 4194304 4196468 140730414862480 140695462005552 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
Current children cumulated CPU time: 167.74 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 702264 KiB
[startup+222.301 s]
/proc/loadavg: 1.95 1.97 1.95 3/211 2108
/proc/meminfo: memFree=22903060/32770624 swapFree=67108860/67108860
[pid=2005] ppid=2001 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2005/stat : 2005 (xcsp3-exec) S 2001 2005 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64558239 9740288 345 18446744073709551615 4194304 5098028 140724542384000 140724542382104 139895932711548 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 23240704 140724542390654 140724542390858 140724542390858 140724542394347 0
/proc/2005/statm: 2378 345 289 221 0 87 0
[pid=2007] ppid=2005 vsize=13980732 memory=723688 CPUtime=227.87 cores=1,3,5,7
/proc/2007/stat : 2007 (java) S 2005 2005 17093 0 -1 1077944320 54025 0 0 0 22752 35 0 0 20 0 15 0 64558246 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140730414845024 140696553561847 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
/proc/2007/statm: 3495183 180922 3238 1 0 3483476 0
[pid=2007/tid=2008] ppid=2005 vsize=13980732 memory=723688 CPUtime=222.04 cores=1,3,5,7
/proc/2007/task/2008/stat : 2008 (java) R 2005 2005 17093 0 -1 4202560 14801 0 0 0 22194 10 0 0 20 0 15 0 64558246 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140696557798808 140696170815701 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2009] ppid=2005 vsize=13980732 memory=1380 CPUtime=0.09 cores=1,3,5,7
/proc/2007/task/2009/stat : 2009 (java) S 2005 2005 17093 0 -1 1077944384 847 0 0 0 6 3 0 0 20 0 15 0 64558247 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140696487995664 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2010] ppid=2005 vsize=13980732 memory=723688 CPUtime=0.09 cores=1,3,5,7
/proc/2007/task/2010/stat : 2010 (java) S 2005 2005 17093 0 -1 1077944384 1059 0 0 0 6 3 0 0 20 0 15 0 64558247 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140696486943120 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2011] ppid=2005 vsize=13980732 memory=1380 CPUtime=0.07 cores=1,3,5,7
/proc/2007/task/2011/stat : 2011 (java) S 2005 2005 17093 0 -1 1077944384 819 0 0 0 4 3 0 0 20 0 15 0 64558247 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140696485890576 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2012] ppid=2005 vsize=13980732 memory=723688 CPUtime=0.08 cores=1,3,5,7
/proc/2007/task/2012/stat : 2012 (java) S 2005 2005 17093 0 -1 1077944384 1119 0 0 0 5 3 0 0 20 0 15 0 64558247 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140696151046800 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2013] ppid=2005 vsize=13980732 memory=1380 CPUtime=0.01 cores=1,3,5,7
/proc/2007/task/2013/stat : 2013 (java) S 2005 2005 17093 0 -1 1077944384 1526 0 0 0 1 0 0 0 20 0 15 0 64558248 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140695470426608 140696553572994 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2014] ppid=2005 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2014/stat : 2014 (java) S 2005 2005 17093 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 64558248 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140695469372896 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2015] ppid=2005 vsize=13980732 memory=36456 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2015/stat : 2015 (java) S 2005 2005 17093 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 64558249 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140695468320256 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2016] ppid=2005 vsize=13980732 memory=723688 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2016/stat : 2016 (java) S 2005 2005 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64558251 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140695467268816 140696553580443 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2017] ppid=2005 vsize=13980732 memory=4028 CPUtime=2.53 cores=1,3,5,7
/proc/2007/task/2017/stat : 2017 (java) S 2005 2005 17093 0 -1 1077944384 13682 0 0 0 252 1 0 0 20 0 15 0 64558251 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140695466215408 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2018] ppid=2005 vsize=13980732 memory=1380 CPUtime=2.23 cores=1,3,5,7
/proc/2007/task/2018/stat : 2018 (java) S 2005 2005 17093 0 -1 1077944384 12663 0 0 0 222 1 0 0 20 0 15 0 64558251 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140695465162864 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2019] ppid=2005 vsize=13980732 memory=723688 CPUtime=0.52 cores=1,3,5,7
/proc/2007/task/2019/stat : 2019 (java) S 2005 2005 17093 0 -1 1077944384 5726 0 0 0 51 1 0 0 20 0 15 0 64558251 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140695464110320 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2020] ppid=2005 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2020/stat : 2020 (java) S 2005 2005 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64558251 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140695463058016 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2021] ppid=2005 vsize=13980732 memory=1380 CPUtime=0.11 cores=1,3,5,7
/proc/2007/task/2021/stat : 2021 (java) S 2005 2005 17093 0 -1 1077944384 380 0 0 0 5 6 0 0 20 0 15 0 64558255 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140695462005552 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
Current children cumulated CPU time: 227.87 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 725068 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.96 1.97 1.95 3/211 2108
/proc/meminfo: memFree=22903060/32770624 swapFree=67108860/67108860
[pid=2005] ppid=2001 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2005/stat : 2005 (xcsp3-exec) S 2001 2005 17093 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 64558239 9740288 345 18446744073709551615 4194304 5098028 140724542384000 140724542382104 139895932711548 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 6 0 0 7196144 7232144 23240704 140724542390654 140724542390858 140724542390858 140724542394347 0
/proc/2005/statm: 2378 345 289 221 0 87 0
[pid=2007] ppid=2005 vsize=13980732 memory=723688 CPUtime=245.6 cores=1,3,5,7
/proc/2007/stat : 2007 (java) S 2005 2005 17093 0 -1 1077944320 54220 0 0 0 24524 36 0 0 20 0 15 0 64558246 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140730414845024 140696553561847 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
/proc/2007/statm: 3495183 180922 3238 1 0 3483476 0
[pid=2007/tid=2008] ppid=2005 vsize=13980732 memory=4612 CPUtime=239.74 cores=1,3,5,7
/proc/2007/task/2008/stat : 2008 (java) R 2005 2005 17093 0 -1 4202560 14881 0 0 0 23964 10 0 0 20 0 15 0 64558246 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140696557798112 140696170815701 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2009] ppid=2005 vsize=13980732 memory=1708 CPUtime=0.09 cores=1,3,5,7
/proc/2007/task/2009/stat : 2009 (java) S 2005 2005 17093 0 -1 1077944384 847 0 0 0 6 3 0 0 20 0 15 0 64558247 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140696487995664 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2010] ppid=2005 vsize=13980732 memory=4126316290023845779 CPUtime=0.09 cores=1,3,5,7
/proc/2007/task/2010/stat : 2010 (java) S 2005 2005 17093 0 -1 1077944384 1059 0 0 0 6 3 0 0 20 0 15 0 64558247 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140696486943120 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2011] ppid=2005 vsize=13980732 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/2007/task/2011/stat : 2011 (java) S 2005 2005 17093 0 -1 1077944384 819 0 0 0 4 3 0 0 20 0 15 0 64558247 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140696485890576 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2012] ppid=2005 vsize=13980732 memory=12200 CPUtime=0.08 cores=1,3,5,7
/proc/2007/task/2012/stat : 2012 (java) S 2005 2005 17093 0 -1 1077944384 1119 0 0 0 5 3 0 0 20 0 15 0 64558247 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140696151046800 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2013] ppid=2005 vsize=13980732 memory=1992 CPUtime=0.01 cores=1,3,5,7
/proc/2007/task/2013/stat : 2013 (java) S 2005 2005 17093 0 -1 1077944384 1527 0 0 0 1 0 0 0 20 0 15 0 64558248 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140695470426608 140696553572994 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2014] ppid=2005 vsize=13980732 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2014/stat : 2014 (java) S 2005 2005 17093 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 64558248 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140695469372896 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2015] ppid=2005 vsize=13980732 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2015/stat : 2015 (java) S 2005 2005 17093 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 64558249 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140695468320256 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2016] ppid=2005 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2016/stat : 2016 (java) S 2005 2005 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64558251 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140695467268816 140696553580443 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2017] ppid=2005 vsize=13980732 memory=7680170660397595203 CPUtime=2.54 cores=1,3,5,7
/proc/2007/task/2017/stat : 2017 (java) S 2005 2005 17093 0 -1 1077944384 13730 0 0 0 253 1 0 0 20 0 15 0 64558251 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140695466215408 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2018] ppid=2005 vsize=13980732 memory=2924 CPUtime=2.23 cores=1,3,5,7
/proc/2007/task/2018/stat : 2018 (java) S 2005 2005 17093 0 -1 1077944384 12680 0 0 0 222 1 0 0 20 0 15 0 64558251 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140695465162864 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2019] ppid=2005 vsize=13980732 memory=2752 CPUtime=0.52 cores=1,3,5,7
/proc/2007/task/2019/stat : 2019 (java) S 2005 2005 17093 0 -1 1077944384 5775 0 0 0 51 1 0 0 20 0 15 0 64558251 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140695464110320 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2020] ppid=2005 vsize=13980732 memory=6933928925625698159 CPUtime=0 cores=1,3,5,7
/proc/2007/task/2020/stat : 2020 (java) S 2005 2005 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64558251 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140695463058016 140696553572053 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
[pid=2007/tid=2021] ppid=2005 vsize=13980732 memory=4126316290023845779 CPUtime=0.13 cores=1,3,5,7
/proc/2007/task/2021/stat : 2021 (java) S 2005 2005 17093 0 -1 1077944384 380 0 0 0 6 7 0 0 20 0 15 0 64558255 14316269568 180922 18446744073709551615 4194304 4196468 140730414862480 140695462005552 140696553572994 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 18358272 140730414870967 140730414871142 140730414871142 140730414874575 0
Current children cumulated CPU time: 245.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 725068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 2005 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002456 s
[startup+240.025 s]
# the end of solver process 2007 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.261 s, system=0.369644 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): 240.025
CPU time (s): 245.63
CPU user time (s): 245.261
CPU system time (s): 0.369644
CPU usage (%): 102.335
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 725068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.261
system time used= 0.369644
maximum resident set size= 724052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55057
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7803
involuntary context switches= 286
# summary of solver processes directly reported to runsolver:
# pid: 2005,2007
# total CPU time (s): 245.63
# total CPU user time (s): 245.261
# total CPU system time (s): 0.369644
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42693 second user time and 2.3797 second system time
The end