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 (15302 MiB free)
memory of node 1: 16384 MiB (11874 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274109-1502724291/watcher-4274109-1502724291 -o /tmp/evaluation-result-4274109-1502724291/solver-4274109-1502724291 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10387 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 2006686414 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274109-1502724291.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22002, runsolver pid=21999
[startup+0.100064 s]*
/proc/loadavg: 3.74 2.67 2.16 3/204 22008
/proc/meminfo: memFree=27823812/32770624 swapFree=67105588/67108860
[pid=22002] ppid=21999 vsize=13358552 memory=14932 CPUtime=0.01 cores=0,2,4,6
/proc/22002/stat : 22002 (java) S 21999 22002 12560 0 -1 1077944320 3596 0 0 0 1 0 0 0 20 0 6 0 74624456 13679157248 3733 18446744073709551615 4194304 4196468 140735287038528 140735287021072 139791736712951 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
/proc/22002/statm: 3339638 3733 1913 1 0 3329135 0
[pid=22002/tid=22004] ppid=21999 vsize=13358552 memory=7077796292425249400 CPUtime=0.01 cores=0,2,4,6
/proc/22002/task/22004/stat : 22004 (java) R 21999 22002 12560 0 -1 4202560 2297 0 0 0 1 0 0 0 20 0 6 0 74624465 13679157248 3799 18446744073709551615 4194304 4196468 140735287038528 139791740949072 139791722024953 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22005] ppid=21999 vsize=13358552 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22005/stat : 22005 (java) S 21999 22002 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 74624466 13679157248 3799 18446744073709551615 4194304 4196468 140735287038528 139791337253776 139791736723157 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22006] ppid=21999 vsize=13358552 memory=139878228711040 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22006/stat : 22006 (java) S 21999 22002 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 74624466 13679157248 3799 18446744073709551615 4194304 4196468 140735287038528 139791336200976 139791736723157 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22007] ppid=21999 vsize=13358552 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22007/stat : 22007 (java) S 21999 22002 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 74624466 13679157248 3799 18446744073709551615 4194304 4196468 140735287038528 139791335148688 139791736723157 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22008] ppid=21999 vsize=13358552 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22008/stat : 22008 (java) S 21999 22002 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 74624466 13679157248 3799 18446744073709551615 4194304 4196468 140735287038528 139791334095888 139791736723157 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 14932 KiB
[startup+0.209869 s]*
/proc/loadavg: 3.74 2.67 2.16 3/213 22017
/proc/meminfo: memFree=27813296/32770624 swapFree=67105588/67108860
[pid=22002] ppid=21999 vsize=13975920 memory=30504 CPUtime=0.1 cores=0,2,4,6
/proc/22002/stat : 22002 (java) S 21999 22002 12560 0 -1 1077944320 6951 0 0 0 9 1 0 0 20 0 15 0 74624456 14311342080 7626 18446744073709551615 4194304 4196468 140735287038528 140735287021072 139791736712951 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
/proc/22002/statm: 3493980 7626 3372 1 0 3482759 0
[pid=22002/tid=22004] ppid=21999 vsize=13975920 memory=8316850467074736180 CPUtime=0.08 cores=0,2,4,6
/proc/22002/task/22004/stat : 22004 (java) R 21999 22002 12560 0 -1 4202560 4976 0 0 0 7 1 0 0 20 0 15 0 74624465 14311342080 7626 18446744073709551615 4194304 4196468 140735287038528 139791740933416 139791720793438 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22005] ppid=21999 vsize=13975920 memory=9220 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22005/stat : 22005 (java) S 21999 22002 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74624466 14311342080 7626 18446744073709551615 4194304 4196468 140735287038528 139791337253776 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22006] ppid=21999 vsize=13975920 memory=139878229426038 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22006/stat : 22006 (java) S 21999 22002 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74624466 14311342080 7626 18446744073709551615 4194304 4196468 140735287038528 139791336200976 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22007] ppid=21999 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22007/stat : 22007 (java) S 21999 22002 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74624466 14311342080 7626 18446744073709551615 4194304 4196468 140735287038528 139791335148688 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22008] ppid=21999 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22008/stat : 22008 (java) S 21999 22002 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74624466 14311342080 7626 18446744073709551615 4194304 4196468 140735287038528 139791334095888 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22009] ppid=21999 vsize=13975920 memory=139878228711040 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22009/stat : 22009 (java) S 21999 22002 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74624467 14311342080 7626 18446744073709551615 4194304 4196468 140735287038528 139790922770544 139791736724098 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22010] ppid=21999 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22010/stat : 22010 (java) S 21999 22002 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74624468 14311342080 7626 18446744073709551615 4194304 4196468 140735287038528 139790921716512 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22011] ppid=21999 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22011/stat : 22011 (java) S 21999 22002 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74624468 14311342080 7626 18446744073709551615 4194304 4196468 140735287038528 139790920664176 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22012] ppid=21999 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22012/stat : 22012 (java) S 21999 22002 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74624471 14311342080 7692 18446744073709551615 4194304 4196468 140735287038528 139790919612496 139791736731547 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22013] ppid=21999 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22013/stat : 22013 (java) S 21999 22002 12560 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 74624471 14311342080 7692 18446744073709551615 4194304 4196468 140735287038528 139790380952176 139791736724098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22014] ppid=21999 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22014/stat : 22014 (java) S 21999 22002 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74624471 14311342080 7692 18446744073709551615 4194304 4196468 140735287038528 139790379899376 139791736724098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22015] ppid=21999 vsize=13975920 memory=139878228711040 CPUtime=0.01 cores=0,2,4,6
/proc/22002/task/22015/stat : 22015 (java) R 21999 22002 12560 0 -1 4202560 336 0 0 0 1 0 0 0 20 0 15 0 74624471 14311342080 7692 18446744073709551615 4194304 4196468 140735287038528 139790378847088 139791729809787 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22016] ppid=21999 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22016/stat : 22016 (java) S 21999 22002 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74624471 14311342080 7692 18446744073709551615 4194304 4196468 140735287038528 139790377794528 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22017] ppid=21999 vsize=13975920 memory=139878228711040 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22017/stat : 22017 (java) S 21999 22002 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74624475 14311342080 7692 18446744073709551615 4194304 4196468 140735287038528 139790376741296 139791736724098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 30504 KiB
[startup+0.310385 s]*
/proc/loadavg: 3.74 2.67 2.16 4/213 22017
/proc/meminfo: memFree=27803880/32770624 swapFree=67105588/67108860
[pid=22002] ppid=21999 vsize=13975920 memory=39988 CPUtime=0.26 cores=0,2,4,6
/proc/22002/stat : 22002 (java) S 21999 22002 12560 0 -1 1077944320 10735 0 0 0 23 3 0 0 20 0 15 0 74624456 14311342080 9997 18446744073709551615 4194304 4196468 140735287038528 140735287021072 139791736712951 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
/proc/22002/statm: 3493980 9997 3490 1 0 3482759 0
[pid=22002/tid=22004] ppid=21999 vsize=13975920 memory=8316850467074736180 CPUtime=0.17 cores=0,2,4,6
/proc/22002/task/22004/stat : 22004 (java) R 21999 22002 12560 0 -1 4202560 8429 0 0 0 15 2 0 0 20 0 15 0 74624465 14311342080 9997 18446744073709551615 4194304 4196468 140735287038528 139791740912736 139791736734877 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22005] ppid=21999 vsize=13975920 memory=9220 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22005/stat : 22005 (java) S 21999 22002 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74624466 14311342080 9997 18446744073709551615 4194304 4196468 140735287038528 139791337253776 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22006] ppid=21999 vsize=13975920 memory=139878229426038 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22006/stat : 22006 (java) S 21999 22002 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74624466 14311342080 9997 18446744073709551615 4194304 4196468 140735287038528 139791336200976 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22007] ppid=21999 vsize=13975920 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22007/stat : 22007 (java) S 21999 22002 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74624466 14311342080 9997 18446744073709551615 4194304 4196468 140735287038528 139791335148688 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22008] ppid=21999 vsize=13975920 memory=3472328296227679279 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22008/stat : 22008 (java) S 21999 22002 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74624466 14311342080 9997 18446744073709551615 4194304 4196468 140735287038528 139791334095888 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22009] ppid=21999 vsize=13975920 memory=3472468174456129200 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22009/stat : 22009 (java) S 21999 22002 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74624467 14311342080 9997 18446744073709551615 4194304 4196468 140735287038528 139790922770544 139791736724098 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22010] ppid=21999 vsize=13975920 memory=735837381675190585 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22010/stat : 22010 (java) S 21999 22002 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74624468 14311342080 9997 18446744073709551615 4194304 4196468 140735287038528 139790921716512 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22011] ppid=21999 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22011/stat : 22011 (java) S 21999 22002 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74624468 14311342080 9997 18446744073709551615 4194304 4196468 140735287038528 139790920664176 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22012] ppid=21999 vsize=13975920 memory=-2605811476043407915 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22012/stat : 22012 (java) S 21999 22002 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74624471 14311342080 9997 18446744073709551615 4194304 4196468 140735287038528 139790919612496 139791736731547 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22013] ppid=21999 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22002/task/22013/stat : 22013 (java) S 21999 22002 12560 0 -1 1077944384 446 0 0 0 1 0 0 0 20 0 15 0 74624471 14311342080 9997 18446744073709551615 4194304 4196468 140735287038528 139790380952176 139791736724098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22014] ppid=21999 vsize=13975920 memory=3472328296227418159 CPUtime=0.01 cores=0,2,4,6
/proc/22002/task/22014/stat : 22014 (java) S 21999 22002 12560 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 15 0 74624471 14311342080 9997 18446744073709551615 4194304 4196468 140735287038528 139790379899376 139791736724098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22015] ppid=21999 vsize=13975920 memory=7959527020653479853 CPUtime=0.05 cores=0,2,4,6
/proc/22002/task/22015/stat : 22015 (java) R 21999 22002 12560 0 -1 4202560 429 0 0 0 5 0 0 0 20 0 15 0 74624471 14311342080 9997 18446744073709551615 4194304 4196468 140735287038528 139790378847088 139791729809787 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22016] ppid=21999 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22016/stat : 22016 (java) S 21999 22002 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74624471 14311342080 9997 18446744073709551615 4194304 4196468 140735287038528 139790377794528 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22017] ppid=21999 vsize=13975920 memory=139878228711040 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22017/stat : 22017 (java) S 21999 22002 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74624475 14311342080 9997 18446744073709551615 4194304 4196468 140735287038528 139790376741296 139791736724098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39988 KiB
[startup+0.70097 s]
/proc/loadavg: 3.74 2.67 2.16 4/213 22017
/proc/meminfo: memFree=27788792/32770624 swapFree=67105588/67108860
[pid=22002] ppid=21999 vsize=13977988 memory=66964 CPUtime=0.99 cores=0,2,4,6
/proc/22002/stat : 22002 (java) S 21999 22002 12560 0 -1 1077944320 13961 0 0 0 95 4 0 0 20 0 15 0 74624456 14313459712 16741 18446744073709551615 4194304 4196468 140735287038528 140735287021072 139791736712951 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
/proc/22002/statm: 3494497 16741 3731 1 0 3483271 0
[pid=22002/tid=22004] ppid=21999 vsize=13977988 memory=19031000092388 CPUtime=0.55 cores=0,2,4,6
/proc/22002/task/22004/stat : 22004 (java) R 21999 22002 12560 0 -1 4202560 10497 0 0 0 52 3 0 0 20 0 15 0 74624465 14313459712 16741 18446744073709551615 4194304 4196468 140735287038528 139791740949584 139791720793468 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22005] ppid=21999 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22005/stat : 22005 (java) S 21999 22002 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74624466 14313459712 16741 18446744073709551615 4194304 4196468 140735287038528 139791337253776 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22006] ppid=21999 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22006/stat : 22006 (java) S 21999 22002 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74624466 14313459712 16741 18446744073709551615 4194304 4196468 140735287038528 139791336200976 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22007] ppid=21999 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22007/stat : 22007 (java) S 21999 22002 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74624466 14313459712 16741 18446744073709551615 4194304 4196468 140735287038528 139791335148688 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22008] ppid=21999 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22008/stat : 22008 (java) S 21999 22002 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74624466 14313459712 16741 18446744073709551615 4194304 4196468 140735287038528 139791334095888 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22009] ppid=21999 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22009/stat : 22009 (java) S 21999 22002 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74624467 14313459712 16741 18446744073709551615 4194304 4196468 140735287038528 139790922770544 139791736724098 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22010] ppid=21999 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22010/stat : 22010 (java) S 21999 22002 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74624468 14313459712 16741 18446744073709551615 4194304 4196468 140735287038528 139790921716512 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22011] ppid=21999 vsize=13977988 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22011/stat : 22011 (java) S 21999 22002 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74624468 14313459712 16741 18446744073709551615 4194304 4196468 140735287038528 139790920664176 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22012] ppid=21999 vsize=13977988 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22012/stat : 22012 (java) S 21999 22002 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74624471 14313459712 16741 18446744073709551615 4194304 4196468 140735287038528 139790919612496 139791736731547 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22013] ppid=21999 vsize=13977988 memory=8620 CPUtime=0.1 cores=0,2,4,6
/proc/22002/task/22013/stat : 22013 (java) R 21999 22002 12560 0 -1 4202560 831 0 0 0 10 0 0 0 20 0 15 0 74624471 14313459712 16741 18446744073709551615 4194304 4196468 140735287038528 139790380938056 139791715126941 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22014] ppid=21999 vsize=13977988 memory=1716 CPUtime=0.1 cores=0,2,4,6
/proc/22002/task/22014/stat : 22014 (java) S 21999 22002 12560 0 -1 1077944384 480 0 0 0 10 0 0 0 20 0 15 0 74624471 14313459712 16741 18446744073709551615 4194304 4196468 140735287038528 139790379899376 139791736724098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22015] ppid=21999 vsize=13977988 memory=3472328279047811153 CPUtime=0.21 cores=0,2,4,6
/proc/22002/task/22015/stat : 22015 (java) R 21999 22002 12560 0 -1 4202560 775 0 0 0 21 0 0 0 20 0 15 0 74624471 14313459712 16741 18446744073709551615 4194304 4196468 140735287038528 139790378847088 139791720895386 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22016] ppid=21999 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22016/stat : 22016 (java) S 21999 22002 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74624471 14313459712 16741 18446744073709551615 4194304 4196468 140735287038528 139790377794528 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22017] ppid=21999 vsize=13977988 memory=737 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22017/stat : 22017 (java) S 21999 22002 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74624475 14313459712 16741 18446744073709551615 4194304 4196468 140735287038528 139790376741296 139791736724098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 66964 KiB
[startup+1.50119 s]
/proc/loadavg: 3.74 2.67 2.16 3/213 22017
/proc/meminfo: memFree=27748652/32770624 swapFree=67105588/67108860
[pid=22002] ppid=21999 vsize=13980036 memory=224512 CPUtime=3.12 cores=0,2,4,6
/proc/22002/stat : 22002 (java) S 21999 22002 12560 0 -1 1077944320 25642 0 0 0 299 13 0 0 20 0 15 0 74624456 14315556864 56128 18446744073709551615 4194304 4196468 140735287038528 140735287021072 139791736712951 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
/proc/22002/statm: 3495009 56128 3787 1 0 3483783 0
[pid=22002/tid=22004] ppid=21999 vsize=13980036 memory=41384 CPUtime=1.32 cores=0,2,4,6
/proc/22002/task/22004/stat : 22004 (java) R 21999 22002 12560 0 -1 4202560 13763 0 0 0 126 6 0 0 20 0 15 0 74624465 14315556864 56128 18446744073709551615 4194304 4196468 140735287038528 139791740948320 139791719697343 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22005] ppid=21999 vsize=13980036 memory=1292 CPUtime=0.02 cores=0,2,4,6
/proc/22002/task/22005/stat : 22005 (java) S 21999 22002 12560 0 -1 1077944384 92 0 0 0 1 1 0 0 20 0 15 0 74624466 14315556864 56128 18446744073709551615 4194304 4196468 140735287038528 139791337253776 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22006] ppid=21999 vsize=13980036 memory=279756185034592 CPUtime=0.02 cores=0,2,4,6
/proc/22002/task/22006/stat : 22006 (java) S 21999 22002 12560 0 -1 1077944384 91 0 0 0 1 1 0 0 20 0 15 0 74624466 14315556864 56128 18446744073709551615 4194304 4196468 140735287038528 139791336200976 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22007] ppid=21999 vsize=13980036 memory=6944937900100196217 CPUtime=0.01 cores=0,2,4,6
/proc/22002/task/22007/stat : 22007 (java) S 21999 22002 12560 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 15 0 74624466 14315556864 56128 18446744073709551615 4194304 4196468 140735287038528 139791335148688 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22008] ppid=21999 vsize=13980036 memory=6944656592387989600 CPUtime=0.01 cores=0,2,4,6
/proc/22002/task/22008/stat : 22008 (java) S 21999 22002 12560 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 15 0 74624466 14315556864 56128 18446744073709551615 4194304 4196468 140735287038528 139791334095888 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22009] ppid=21999 vsize=13980036 memory=-7812736537705029536 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22009/stat : 22009 (java) S 21999 22002 12560 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 15 0 74624467 14315556864 56128 18446744073709551615 4194304 4196468 140735287038528 139790922770544 139791736724098 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22010] ppid=21999 vsize=13980036 memory=5793990212118078307 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22010/stat : 22010 (java) S 21999 22002 12560 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 74624468 14315556864 56128 18446744073709551615 4194304 4196468 140735287038528 139790921716576 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22011] ppid=21999 vsize=13980036 memory=6933690330692294553 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22011/stat : 22011 (java) S 21999 22002 12560 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 74624468 14315556864 56128 18446744073709551615 4194304 4196468 140735287038528 139790920664192 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22012] ppid=21999 vsize=13980036 memory=6370181571254969448 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22012/stat : 22012 (java) S 21999 22002 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74624471 14315556864 56128 18446744073709551615 4194304 4196468 140735287038528 139790919612496 139791736731547 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22013] ppid=21999 vsize=13980036 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/22002/task/22013/stat : 22013 (java) R 21999 22002 12560 0 -1 4202560 2864 0 0 0 62 0 0 0 20 0 15 0 74624471 14315556864 56128 18446744073709551615 4194304 4196468 140735287038528 139790380940976 139791720211820 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22014] ppid=21999 vsize=13980036 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/22002/task/22014/stat : 22014 (java) R 21999 22002 12560 0 -1 4202560 3462 0 0 0 58 0 0 0 20 0 15 0 74624471 14315556864 56128 18446744073709551615 4194304 4196468 140735287038528 139790379879656 139791729002333 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22015] ppid=21999 vsize=13980036 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/22002/task/22015/stat : 22015 (java) S 21999 22002 12560 0 -1 1077944384 3351 0 0 0 46 0 0 0 20 0 15 0 74624471 14315556864 56128 18446744073709551615 4194304 4196468 140735287038528 139790378847088 139791736724098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22016] ppid=21999 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22016/stat : 22016 (java) S 21999 22002 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74624471 14315556864 56128 18446744073709551615 4194304 4196468 140735287038528 139790377794528 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22017] ppid=21999 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22017/stat : 22017 (java) S 21999 22002 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74624475 14315556864 56128 18446744073709551615 4194304 4196468 140735287038528 139790376741296 139791736724098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
Current children cumulated CPU time: 3.12 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 224512 KiB
[startup+1.83231 s]
# the end of solver process 22002 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.7614 s, system=0.144356 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60087 s]
/proc/loadavg: 3.74 2.67 2.16 3/213 22017
/proc/meminfo: memFree=27748652/32770624 swapFree=67105588/67108860
[pid=22002] ppid=21999 vsize=13980036 memory=226500 CPUtime=3.42 cores=0,2,4,6
/proc/22002/stat : 22002 (java) S 21999 22002 12560 0 -1 1077944320 26139 0 0 0 329 13 0 0 20 0 15 0 74624456 14315556864 56625 18446744073709551615 4194304 4196468 140735287038528 140735287021072 139791736712951 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
/proc/22002/statm: 3495009 56625 3787 1 0 3483783 0
[pid=22002/tid=22004] ppid=21999 vsize=13980036 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/22002/task/22004/stat : 22004 (java) R 21999 22002 12560 0 -1 4202560 13763 0 0 0 136 6 0 0 20 0 15 0 74624465 14315556864 56625 18446744073709551615 4194304 4196468 140735287038528 139791740948128 139791342439795 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22005] ppid=21999 vsize=13980036 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22002/task/22005/stat : 22005 (java) S 21999 22002 12560 0 -1 1077944384 92 0 0 0 1 1 0 0 20 0 15 0 74624466 14315556864 56625 18446744073709551615 4194304 4196468 140735287038528 139791337253776 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22006] ppid=21999 vsize=13980036 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22002/task/22006/stat : 22006 (java) S 21999 22002 12560 0 -1 1077944384 91 0 0 0 1 1 0 0 20 0 15 0 74624466 14315556864 56625 18446744073709551615 4194304 4196468 140735287038528 139791336200976 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22007] ppid=21999 vsize=13980036 memory=279756184555232 CPUtime=0.01 cores=0,2,4,6
/proc/22002/task/22007/stat : 22007 (java) S 21999 22002 12560 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 15 0 74624466 14315556864 56625 18446744073709551615 4194304 4196468 140735287038528 139791335148688 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22008] ppid=21999 vsize=13980036 memory=-7082918048272507482 CPUtime=0.01 cores=0,2,4,6
/proc/22002/task/22008/stat : 22008 (java) S 21999 22002 12560 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 15 0 74624466 14315556864 56625 18446744073709551615 4194304 4196468 140735287038528 139791334095888 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22009] ppid=21999 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22009/stat : 22009 (java) S 21999 22002 12560 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 15 0 74624467 14315556864 56625 18446744073709551615 4194304 4196468 140735287038528 139790922770544 139791736724098 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22010] ppid=21999 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22010/stat : 22010 (java) S 21999 22002 12560 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 74624468 14315556864 56625 18446744073709551615 4194304 4196468 140735287038528 139790921716576 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22011] ppid=21999 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22011/stat : 22011 (java) S 21999 22002 12560 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 74624468 14315556864 56625 18446744073709551615 4194304 4196468 140735287038528 139790920664192 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22012] ppid=21999 vsize=13980036 memory=7230638415855315543 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22012/stat : 22012 (java) S 21999 22002 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74624471 14315556864 56625 18446744073709551615 4194304 4196468 140735287038528 139790919612496 139791736731547 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22013] ppid=21999 vsize=13980036 memory=7019257425709197167 CPUtime=0.72 cores=0,2,4,6
/proc/22002/task/22013/stat : 22013 (java) R 21999 22002 12560 0 -1 4202560 3311 0 0 0 72 0 0 0 20 0 15 0 74624471 14315556864 56625 18446744073709551615 4194304 4196468 140735287038528 139790380939376 139791721634733 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22014] ppid=21999 vsize=13980036 memory=7523936500928309356 CPUtime=0.68 cores=0,2,4,6
/proc/22002/task/22014/stat : 22014 (java) R 21999 22002 12560 0 -1 4202560 3506 0 0 0 68 0 0 0 20 0 15 0 74624471 14315556864 56625 18446744073709551615 4194304 4196468 140735287038528 139790379879656 139791718234227 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22015] ppid=21999 vsize=13980036 memory=5937503940876058721 CPUtime=0.46 cores=0,2,4,6
/proc/22002/task/22015/stat : 22015 (java) S 21999 22002 12560 0 -1 1077944384 3357 0 0 0 46 0 0 0 20 0 15 0 74624471 14315556864 56625 18446744073709551615 4194304 4196468 140735287038528 139790378847088 139791736724098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22016] ppid=21999 vsize=13980036 memory=7307487750287546467 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22016/stat : 22016 (java) S 21999 22002 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74624471 14315556864 56625 18446744073709551615 4194304 4196468 140735287038528 139790377794528 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22017] ppid=21999 vsize=13980036 memory=25472 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22017/stat : 22017 (java) S 21999 22002 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74624475 14315556864 56625 18446744073709551615 4194304 4196468 140735287038528 139790376741296 139791736724098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
Current children cumulated CPU time: 3.42 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 226500 KiB
[startup+1.80068 s]
/proc/loadavg: 3.74 2.67 2.16 3/213 22017
/proc/meminfo: memFree=27748652/32770624 swapFree=67105588/67108860
[pid=22002] ppid=21999 vsize=13980036 memory=226688 CPUtime=3.86 cores=0,2,4,6
/proc/22002/stat : 22002 (java) S 21999 22002 12560 0 -1 1077944320 26188 0 0 0 373 13 0 0 20 0 15 0 74624456 14315556864 56672 18446744073709551615 4194304 4196468 140735287038528 140735287021072 139791736712951 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
/proc/22002/statm: 3495009 56672 3788 1 0 3483783 0
[pid=22002/tid=22004] ppid=21999 vsize=13980036 memory=644 CPUtime=1.62 cores=0,2,4,6
/proc/22002/task/22004/stat : 22004 (java) R 21999 22002 12560 0 -1 4202560 13763 0 0 0 156 6 0 0 20 0 15 0 74624465 14315556864 56672 18446744073709551615 4194304 4196468 140735287038528 139791740948080 139791342124976 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22005] ppid=21999 vsize=13980036 memory=1744 CPUtime=0.02 cores=0,2,4,6
/proc/22002/task/22005/stat : 22005 (java) S 21999 22002 12560 0 -1 1077944384 92 0 0 0 1 1 0 0 20 0 15 0 74624466 14315556864 56672 18446744073709551615 4194304 4196468 140735287038528 139791337253776 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22006] ppid=21999 vsize=13980036 memory=956 CPUtime=0.02 cores=0,2,4,6
/proc/22002/task/22006/stat : 22006 (java) S 21999 22002 12560 0 -1 1077944384 91 0 0 0 1 1 0 0 20 0 15 0 74624466 14315556864 56672 18446744073709551615 4194304 4196468 140735287038528 139791336200976 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22007] ppid=21999 vsize=13980036 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22002/task/22007/stat : 22007 (java) S 21999 22002 12560 0 -1 1077944384 322 0 0 0 1 0 0 0 20 0 15 0 74624466 14315556864 56672 18446744073709551615 4194304 4196468 140735287038528 139791335148688 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22008] ppid=21999 vsize=13980036 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/22002/task/22008/stat : 22008 (java) S 21999 22002 12560 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 15 0 74624466 14315556864 56672 18446744073709551615 4194304 4196468 140735287038528 139791334095888 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22009] ppid=21999 vsize=13980036 memory=3184237798168371552 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22009/stat : 22009 (java) S 21999 22002 12560 0 -1 1077944384 219 0 0 0 0 0 0 0 20 0 15 0 74624467 14315556864 56672 18446744073709551615 4194304 4196468 140735287038528 139790922770544 139791736724098 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22010] ppid=21999 vsize=13980036 memory=7957133121782182242 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22010/stat : 22010 (java) S 21999 22002 12560 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 74624468 14315556864 56672 18446744073709551615 4194304 4196468 140735287038528 139790921716576 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22011] ppid=21999 vsize=13980036 memory=5859271421085237344 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22011/stat : 22011 (java) S 21999 22002 12560 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 74624468 14315556864 56672 18446744073709551615 4194304 4196468 140735287038528 139790920664192 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22012] ppid=21999 vsize=13980036 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22012/stat : 22012 (java) S 21999 22002 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74624471 14315556864 56672 18446744073709551615 4194304 4196468 140735287038528 139790919612496 139791736731547 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22013] ppid=21999 vsize=13980036 memory=279756184486128 CPUtime=0.84 cores=0,2,4,6
/proc/22002/task/22013/stat : 22013 (java) R 21999 22002 12560 0 -1 4202560 3338 0 0 0 84 0 0 0 20 0 15 0 74624471 14315556864 56672 18446744073709551615 4194304 4196468 140735287038528 139790380952176 139791715973650 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22014] ppid=21999 vsize=13980036 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/22002/task/22014/stat : 22014 (java) R 21999 22002 12560 0 -1 4202560 3521 0 0 0 78 0 0 0 20 0 15 0 74624471 14315556864 56672 18446744073709551615 4194304 4196468 140735287038528 139790379884768 139791716406047 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22015] ppid=21999 vsize=13980036 memory=-2247047206224418327 CPUtime=0.47 cores=0,2,4,6
/proc/22002/task/22015/stat : 22015 (java) S 21999 22002 12560 0 -1 1077944384 3364 0 0 0 47 0 0 0 20 0 15 0 74624471 14315556864 56672 18446744073709551615 4194304 4196468 140735287038528 139790378847088 139791736724098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22016] ppid=21999 vsize=13980036 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22016/stat : 22016 (java) S 21999 22002 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74624471 14315556864 56672 18446744073709551615 4194304 4196468 140735287038528 139790377794528 139791736723157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
[pid=22002/tid=22017] ppid=21999 vsize=13980036 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/22002/task/22017/stat : 22017 (java) S 21999 22002 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74624475 14315556864 56672 18446744073709551615 4194304 4196468 140735287038528 139790376741296 139791736724098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7229440 140735287042414 140735287042601 140735287042601 140735287046095 0
Current children cumulated CPU time: 3.86 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 226688 KiB
Child status: 0
Real time (s): 1.83239
CPU time (s): 3.90576
CPU user time (s): 3.7614
CPU system time (s): 0.144356
CPU usage (%): 213.151
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 226688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.7614
system time used= 0.144356
maximum resident set size= 227440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26273
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2325
involuntary context switches= 10
# summary of solver processes directly reported to runsolver:
# pid: 22002
# total CPU time (s): 3.90576
# total CPU user time (s): 3.7614
# total CPU system time (s): 0.144356
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035124 second user time and 0.055346 second system time
The end