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 (15311 MiB free)
memory of node 1: 16384 MiB (15129 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273514-1502711290/watcher-4273514-1502711290 -o /tmp/evaluation-result-4273514-1502711290/solver-4273514-1502711290 -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 470301667 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273514-1502711290.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=18760, runsolver pid=18757
[startup+0.100121 s]*
/proc/loadavg: 1.42 1.37 1.39 3/197 18762
/proc/meminfo: memFree=31170680/32770624 swapFree=67105588/67108860
[pid=18760] ppid=18757 vsize=13356344 memory=11240 CPUtime=0 cores=0,2,4,6
/proc/18760/stat : 18760 (java) S 18757 18760 12560 0 -1 1077944320 2649 0 0 0 0 0 0 0 20 0 6 0 73324409 13676896256 2810 18446744073709551615 4194304 4196468 140734833622832 140734833605376 140495239180023 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
/proc/18760/statm: 3339086 2810 1317 1 0 3329056 0
[pid=18760/tid=18762] ppid=18757 vsize=13358552 memory=-6439968830534014599 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18762/stat : 18762 (java) R 18757 18760 12560 0 -1 4202560 1405 0 0 0 0 0 0 0 20 0 6 0 73324418 13679157248 2875 18446744073709551615 4194304 4196468 140734833622832 140495243416144 140495200161654 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18763] ppid=18757 vsize=13358552 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18763/stat : 18763 (java) S 18757 18760 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 73324419 13679157248 2875 18446744073709551615 4194304 4196468 140734833622832 140494839475344 140495239190229 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18764] ppid=18757 vsize=13358552 memory=140285535606400 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18764/stat : 18764 (java) S 18757 18760 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 73324419 13679157248 2875 18446744073709551615 4194304 4196468 140734833622832 140494838422544 140495239190229 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18765] ppid=18757 vsize=13358552 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18765/stat : 18765 (java) S 18757 18760 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 73324419 13679157248 2875 18446744073709551615 4194304 4196468 140734833622832 140494837369744 140495239190229 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18766] ppid=18757 vsize=13358552 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18766/stat : 18766 (java) S 18757 18760 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 73324419 13679157248 2941 18446744073709551615 4194304 4196468 140734833622832 140494836316944 140495239190229 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13356344 KiB
Current children cumulated memory: 11240 KiB
[startup+0.209816 s]*
/proc/loadavg: 1.42 1.37 1.39 2/209 18774
/proc/meminfo: memFree=31161404/32770624 swapFree=67105588/67108860
[pid=18760] ppid=18757 vsize=13976388 memory=23616 CPUtime=0.05 cores=0,2,4,6
/proc/18760/stat : 18760 (java) S 18757 18760 12560 0 -1 1077944320 5377 0 0 0 5 0 0 0 20 0 15 0 73324409 14311821312 5904 18446744073709551615 4194304 4196468 140734833622832 140734833605376 140495239180023 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
/proc/18760/statm: 3494097 5904 3174 1 0 3482876 0
[pid=18760/tid=18762] ppid=18757 vsize=13976388 memory=8318255677412212789 CPUtime=0.05 cores=0,2,4,6
/proc/18760/task/18762/stat : 18762 (java) R 18757 18760 12560 0 -1 4202560 3543 0 0 0 5 0 0 0 20 0 15 0 73324418 14311821312 5970 18446744073709551615 4194304 4196468 140734833622832 140495243422304 140495200161347 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18763] ppid=18757 vsize=13976388 memory=328 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18763/stat : 18763 (java) S 18757 18760 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73324419 14311821312 5970 18446744073709551615 4194304 4196468 140734833622832 140494839475344 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18764] ppid=18757 vsize=13976388 memory=3473031557500393120 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18764/stat : 18764 (java) S 18757 18760 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73324419 14311821312 5970 18446744073709551615 4194304 4196468 140734833622832 140494838422544 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18765] ppid=18757 vsize=13976388 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18765/stat : 18765 (java) S 18757 18760 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73324419 14311821312 5970 18446744073709551615 4194304 4196468 140734833622832 140494837369744 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18766] ppid=18757 vsize=13976388 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18766/stat : 18766 (java) S 18757 18760 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73324419 14311821312 5970 18446744073709551615 4194304 4196468 140734833622832 140494836316944 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18767] ppid=18757 vsize=13976388 memory=140285535606400 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18767/stat : 18767 (java) S 18757 18760 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73324421 14311821312 5970 18446744073709551615 4194304 4196468 140734833622832 140494718323056 140495239191170 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18768] ppid=18757 vsize=13976388 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18768/stat : 18768 (java) S 18757 18760 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73324421 14311821312 6036 18446744073709551615 4194304 4196468 140734833622832 140494717269024 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18769] ppid=18757 vsize=13976388 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18769/stat : 18769 (java) S 18757 18760 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73324421 14311821312 6036 18446744073709551615 4194304 4196468 140734833622832 140494716216176 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18770] ppid=18757 vsize=13976388 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18770/stat : 18770 (java) S 18757 18760 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73324424 14311821312 6036 18446744073709551615 4194304 4196468 140734833622832 140494715164496 140495239198619 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18771] ppid=18757 vsize=13976388 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18771/stat : 18771 (java) S 18757 18760 12560 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 73324424 14311821312 6036 18446744073709551615 4194304 4196468 140734833622832 140494714112880 140495239191170 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18772] ppid=18757 vsize=13976388 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18772/stat : 18772 (java) S 18757 18760 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73324424 14311821312 6036 18446744073709551615 4194304 4196468 140734833622832 140494713060080 140495239191170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18773] ppid=18757 vsize=13976388 memory=140285535606400 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18773/stat : 18773 (java) S 18757 18760 12560 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 15 0 73324424 14311821312 6036 18446744073709551615 4194304 4196468 140734833622832 140494712007280 140495239191170 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18774] ppid=18757 vsize=13976388 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18774/stat : 18774 (java) S 18757 18760 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73324424 14311821312 6036 18446744073709551615 4194304 4196468 140734833622832 140494710954720 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18775] ppid=18757 vsize=13976388 memory=140285535606400 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18775/stat : 18775 (java) S 18757 18760 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73324430 14311821312 6036 18446744073709551615 4194304 4196468 140734833622832 140494709902000 140495239191170 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13976388 KiB
Current children cumulated memory: 23616 KiB
[startup+0.315405 s]*
/proc/loadavg: 1.42 1.37 1.39 3/210 18775
/proc/meminfo: memFree=31147988/32770624 swapFree=67105588/67108860
[pid=18760] ppid=18757 vsize=13975920 memory=38880 CPUtime=0.23 cores=0,2,4,6
/proc/18760/stat : 18760 (java) S 18757 18760 12560 0 -1 1077944320 9906 0 0 0 20 3 0 0 20 0 15 0 73324409 14311342080 9720 18446744073709551615 4194304 4196468 140734833622832 140734833605376 140495239180023 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
/proc/18760/statm: 3493980 9720 3539 1 0 3482759 0
[pid=18760/tid=18762] ppid=18757 vsize=13975920 memory=-8774313645642428999 CPUtime=0.15 cores=0,2,4,6
/proc/18760/task/18762/stat : 18762 (java) R 18757 18760 12560 0 -1 4202560 7603 0 0 0 13 2 0 0 20 0 15 0 73324418 14311342080 9720 18446744073709551615 4194304 4196468 140734833622832 140495243400400 140495239201370 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18763] ppid=18757 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18763/stat : 18763 (java) S 18757 18760 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73324419 14311342080 9720 18446744073709551615 4194304 4196468 140734833622832 140494839475344 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18764] ppid=18757 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18764/stat : 18764 (java) S 18757 18760 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73324419 14311342080 9720 18446744073709551615 4194304 4196468 140734833622832 140494838422544 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18765] ppid=18757 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18765/stat : 18765 (java) S 18757 18760 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73324419 14311342080 9720 18446744073709551615 4194304 4196468 140734833622832 140494837369744 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18766] ppid=18757 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18766/stat : 18766 (java) S 18757 18760 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73324419 14311342080 9720 18446744073709551615 4194304 4196468 140734833622832 140494836316944 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18767] ppid=18757 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18767/stat : 18767 (java) S 18757 18760 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73324421 14311342080 9720 18446744073709551615 4194304 4196468 140734833622832 140494718323056 140495239191170 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18768] ppid=18757 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18768/stat : 18768 (java) S 18757 18760 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73324421 14311342080 9720 18446744073709551615 4194304 4196468 140734833622832 140494717269024 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18769] ppid=18757 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18769/stat : 18769 (java) S 18757 18760 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73324421 14311342080 9720 18446744073709551615 4194304 4196468 140734833622832 140494716216176 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18770] ppid=18757 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18770/stat : 18770 (java) S 18757 18760 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73324424 14311342080 9720 18446744073709551615 4194304 4196468 140734833622832 140494715164496 140495239198619 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18771] ppid=18757 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18760/task/18771/stat : 18771 (java) S 18757 18760 12560 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 15 0 73324424 14311342080 9720 18446744073709551615 4194304 4196468 140734833622832 140494714112880 140495239191170 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18772] ppid=18757 vsize=13975920 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/18760/task/18772/stat : 18772 (java) S 18757 18760 12560 0 -1 1077944384 157 0 0 0 1 0 0 0 20 0 15 0 73324424 14311342080 9720 18446744073709551615 4194304 4196468 140734833622832 140494713060080 140495239191170 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18773] ppid=18757 vsize=13975920 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/18760/task/18773/stat : 18773 (java) R 18757 18760 12560 0 -1 4202560 406 0 0 0 4 0 0 0 20 0 15 0 73324424 14311342080 9720 18446744073709551615 4194304 4196468 140734833622832 140494712007280 140495239191958 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18774] ppid=18757 vsize=13975920 memory=140285535606400 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18774/stat : 18774 (java) S 18757 18760 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73324424 14311342080 9720 18446744073709551615 4194304 4196468 140734833622832 140494710954720 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18775] ppid=18757 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18775/stat : 18775 (java) S 18757 18760 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73324430 14311342080 9720 18446744073709551615 4194304 4196468 140734833622832 140494709902000 140495239191170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 38880 KiB
[startup+0.700701 s]
/proc/loadavg: 1.42 1.37 1.39 5/210 18775
/proc/meminfo: memFree=31133884/32770624 swapFree=67105588/67108860
[pid=18760] ppid=18757 vsize=13977988 memory=63808 CPUtime=0.9 cores=0,2,4,6
/proc/18760/stat : 18760 (java) S 18757 18760 12560 0 -1 1077944320 13639 0 0 0 86 4 0 0 20 0 15 0 73324409 14313459712 15952 18446744073709551615 4194304 4196468 140734833622832 140734833605376 140495239180023 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
/proc/18760/statm: 3494497 15952 3726 1 0 3483271 0
[pid=18760/tid=18762] ppid=18757 vsize=13977988 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/18760/task/18762/stat : 18762 (java) R 18757 18760 12560 0 -1 4202560 10364 0 0 0 49 3 0 0 20 0 15 0 73324418 14313459712 15952 18446744073709551615 4194304 4196468 140734833622832 140495243415872 140495239201949 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18763] ppid=18757 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18763/stat : 18763 (java) S 18757 18760 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73324419 14313459712 15952 18446744073709551615 4194304 4196468 140734833622832 140494839475344 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18764] ppid=18757 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18764/stat : 18764 (java) S 18757 18760 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73324419 14313459712 15952 18446744073709551615 4194304 4196468 140734833622832 140494838422544 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18765] ppid=18757 vsize=13977988 memory=1061 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18765/stat : 18765 (java) S 18757 18760 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73324419 14313459712 15952 18446744073709551615 4194304 4196468 140734833622832 140494837369744 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18766] ppid=18757 vsize=13977988 memory=4529 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18766/stat : 18766 (java) S 18757 18760 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73324419 14313459712 15952 18446744073709551615 4194304 4196468 140734833622832 140494836316944 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18767] ppid=18757 vsize=13977988 memory=140285376224064 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18767/stat : 18767 (java) S 18757 18760 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73324421 14313459712 15952 18446744073709551615 4194304 4196468 140734833622832 140494718323056 140495239191170 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18768] ppid=18757 vsize=13977988 memory=3472468581536641856 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18768/stat : 18768 (java) S 18757 18760 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73324421 14313459712 15952 18446744073709551615 4194304 4196468 140734833622832 140494717269024 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18769] ppid=18757 vsize=13977988 memory=66 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18769/stat : 18769 (java) S 18757 18760 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73324421 14313459712 15952 18446744073709551615 4194304 4196468 140734833622832 140494716216176 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18770] ppid=18757 vsize=13977988 memory=246 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18770/stat : 18770 (java) S 18757 18760 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73324424 14313459712 15952 18446744073709551615 4194304 4196468 140734833622832 140494715164496 140495239198619 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18771] ppid=18757 vsize=13977988 memory=476 CPUtime=0.1 cores=0,2,4,6
/proc/18760/task/18771/stat : 18771 (java) S 18757 18760 12560 0 -1 1077944384 638 0 0 0 10 0 0 0 20 0 15 0 73324424 14313459712 15952 18446744073709551615 4194304 4196468 140734833622832 140494714112880 140495239191170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18772] ppid=18757 vsize=13977988 memory=334 CPUtime=0.07 cores=0,2,4,6
/proc/18760/task/18772/stat : 18772 (java) S 18757 18760 12560 0 -1 1077944384 467 0 0 0 7 0 0 0 20 0 15 0 73324424 14313459712 15952 18446744073709551615 4194304 4196468 140734833622832 140494713060080 140495239191170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18773] ppid=18757 vsize=13977988 memory=123 CPUtime=0.18 cores=0,2,4,6
/proc/18760/task/18773/stat : 18773 (java) R 18757 18760 12560 0 -1 4202560 788 0 0 0 18 0 0 0 20 0 15 0 73324424 14313459712 15952 18446744073709551615 4194304 4196468 140734833622832 140494712007408 140495232276859 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18774] ppid=18757 vsize=13977988 memory=2481 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18774/stat : 18774 (java) S 18757 18760 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73324424 14313459712 15952 18446744073709551615 4194304 4196468 140734833622832 140494710954720 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18775] ppid=18757 vsize=13977988 memory=278 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18775/stat : 18775 (java) S 18757 18760 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73324430 14313459712 15952 18446744073709551615 4194304 4196468 140734833622832 140494709902000 140495239191170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
Current children cumulated CPU time: 0.9 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 63808 KiB
[startup+0.929093 s]
# the end of solver process 18760 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.2102 s, system=0.07872 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801129 s]
/proc/loadavg: 1.42 1.37 1.39 5/210 18775
/proc/meminfo: memFree=31133884/32770624 swapFree=67105588/67108860
[pid=18760] ppid=18757 vsize=13980036 memory=72516 CPUtime=1.07 cores=0,2,4,6
/proc/18760/stat : 18760 (java) S 18757 18760 12560 0 -1 1077944320 14284 0 0 0 102 5 0 0 20 0 15 0 73324409 14315556864 18129 18446744073709551615 4194304 4196468 140734833622832 140734833605376 140495239180023 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
/proc/18760/statm: 3495009 18129 3735 1 0 3483783 0
[pid=18760/tid=18762] ppid=18757 vsize=13980036 memory=4638778398332698728 CPUtime=0.63 cores=0,2,4,6
/proc/18760/task/18762/stat : 18762 (java) R 18757 18760 12560 0 -1 4202560 10875 0 0 0 59 4 0 0 20 0 15 0 73324418 14315556864 18129 18446744073709551615 4194304 4196468 140734833622832 140495243407424 140495239201949 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18763] ppid=18757 vsize=13980036 memory=7516877558933114965 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18763/stat : 18763 (java) S 18757 18760 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73324419 14315556864 18129 18446744073709551615 4194304 4196468 140734833622832 140494839475344 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18764] ppid=18757 vsize=13980036 memory=7086242839394279744 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18764/stat : 18764 (java) S 18757 18760 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73324419 14315556864 18129 18446744073709551615 4194304 4196468 140734833622832 140494838422544 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18765] ppid=18757 vsize=13980036 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18765/stat : 18765 (java) S 18757 18760 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73324419 14315556864 18129 18446744073709551615 4194304 4196468 140734833622832 140494837369744 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18766] ppid=18757 vsize=13980036 memory=6153415001170666065 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18766/stat : 18766 (java) S 18757 18760 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73324419 14315556864 18129 18446744073709551615 4194304 4196468 140734833622832 140494836316944 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18767] ppid=18757 vsize=13980036 memory=7740092717687268672 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18767/stat : 18767 (java) S 18757 18760 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73324421 14315556864 18129 18446744073709551615 4194304 4196468 140734833622832 140494718323056 140495239191170 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18768] ppid=18757 vsize=13980036 memory=8751464017575425845 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18768/stat : 18768 (java) S 18757 18760 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73324421 14315556864 18129 18446744073709551615 4194304 4196468 140734833622832 140494717269024 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18769] ppid=18757 vsize=13980036 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18769/stat : 18769 (java) S 18757 18760 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73324421 14315556864 18129 18446744073709551615 4194304 4196468 140734833622832 140494716216176 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18770] ppid=18757 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18770/stat : 18770 (java) S 18757 18760 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73324424 14315556864 18129 18446744073709551615 4194304 4196468 140734833622832 140494715164496 140495239198619 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18771] ppid=18757 vsize=13980036 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/18760/task/18771/stat : 18771 (java) S 18757 18760 12560 0 -1 1077944384 700 0 0 0 13 0 0 0 20 0 15 0 73324424 14315556864 18129 18446744073709551615 4194304 4196468 140734833622832 140494714112880 140495239191170 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18772] ppid=18757 vsize=13980036 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/18760/task/18772/stat : 18772 (java) S 18757 18760 12560 0 -1 1077944384 472 0 0 0 8 0 0 0 20 0 15 0 73324424 14315556864 18129 18446744073709551615 4194304 4196468 140734833622832 140494713060080 140495239191170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18773] ppid=18757 vsize=13980036 memory=280570751937616 CPUtime=0.21 cores=0,2,4,6
/proc/18760/task/18773/stat : 18773 (java) S 18757 18760 12560 0 -1 1077944384 854 0 0 0 21 0 0 0 20 0 15 0 73324424 14315556864 18129 18446744073709551615 4194304 4196468 140734833622832 140494712007280 140495239191170 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18774] ppid=18757 vsize=13980036 memory=29956 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18774/stat : 18774 (java) S 18757 18760 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73324424 14315556864 18129 18446744073709551615 4194304 4196468 140734833622832 140494710954720 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18775] ppid=18757 vsize=13980036 memory=280570751962848 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18775/stat : 18775 (java) S 18757 18760 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73324430 14315556864 18129 18446744073709551615 4194304 4196468 140734833622832 140494709902000 140495239191170 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 72516 KiB
[startup+0.901999 s]
/proc/loadavg: 1.42 1.37 1.39 5/210 18775
/proc/meminfo: memFree=31133884/32770624 swapFree=67105588/67108860
[pid=18760] ppid=18757 vsize=13980036 memory=83380 CPUtime=1.23 cores=0,2,4,6
/proc/18760/stat : 18760 (java) S 18757 18760 12560 0 -1 1077944320 16500 0 0 0 116 7 0 0 20 0 15 0 73324409 14315556864 20845 18446744073709551615 4194304 4196468 140734833622832 140734833605376 140495239180023 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
/proc/18760/statm: 3495009 20845 3736 1 0 3483783 0
[pid=18760/tid=18762] ppid=18757 vsize=13980036 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/18760/task/18762/stat : 18762 (java) R 18757 18760 12560 0 -1 4202560 13002 0 0 0 67 5 0 0 20 0 15 0 73324418 14315556864 20845 18446744073709551615 4194304 4196468 140734833622832 140495243414992 140495239201853 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18763] ppid=18757 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18763/stat : 18763 (java) S 18757 18760 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73324419 14315556864 20845 18446744073709551615 4194304 4196468 140734833622832 140494839475344 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18764] ppid=18757 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18764/stat : 18764 (java) S 18757 18760 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73324419 14315556864 20845 18446744073709551615 4194304 4196468 140734833622832 140494838422544 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18765] ppid=18757 vsize=13980036 memory=1061 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18765/stat : 18765 (java) S 18757 18760 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73324419 14315556864 20845 18446744073709551615 4194304 4196468 140734833622832 140494837369744 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18766] ppid=18757 vsize=13980036 memory=4529 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18766/stat : 18766 (java) S 18757 18760 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 73324419 14315556864 20845 18446744073709551615 4194304 4196468 140734833622832 140494836316944 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18767] ppid=18757 vsize=13980036 memory=140285376224064 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18767/stat : 18767 (java) S 18757 18760 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 73324421 14315556864 20845 18446744073709551615 4194304 4196468 140734833622832 140494718323056 140495239191170 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18768] ppid=18757 vsize=13980036 memory=3472468581536641856 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18768/stat : 18768 (java) S 18757 18760 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 73324421 14315556864 20845 18446744073709551615 4194304 4196468 140734833622832 140494717269024 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18769] ppid=18757 vsize=13980036 memory=66 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18769/stat : 18769 (java) S 18757 18760 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 73324421 14315556864 20845 18446744073709551615 4194304 4196468 140734833622832 140494716216176 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18770] ppid=18757 vsize=13980036 memory=246 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18770/stat : 18770 (java) S 18757 18760 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73324424 14315556864 20845 18446744073709551615 4194304 4196468 140734833622832 140494715164496 140495239198619 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18771] ppid=18757 vsize=13980036 memory=476 CPUtime=0.14 cores=0,2,4,6
/proc/18760/task/18771/stat : 18771 (java) R 18757 18760 12560 0 -1 1077944384 711 0 0 0 14 0 0 0 20 0 15 0 73324424 14315556864 20845 18446744073709551615 4194304 4196468 140734833622832 140494714113008 140495239190229 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18772] ppid=18757 vsize=13980036 memory=334 CPUtime=0.09 cores=0,2,4,6
/proc/18760/task/18772/stat : 18772 (java) R 18757 18760 12560 0 -1 4202560 481 0 0 0 9 0 0 0 20 0 15 0 73324424 14315556864 20845 18446744073709551615 4194304 4196468 140734833622832 140494713053104 140495239191958 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18773] ppid=18757 vsize=13980036 memory=123 CPUtime=0.24 cores=0,2,4,6
/proc/18760/task/18773/stat : 18773 (java) R 18757 18760 12560 0 -1 4202560 924 0 0 0 24 0 0 0 20 0 15 0 73324424 14315556864 20845 18446744073709551615 4194304 4196468 140734833622832 140494712005072 140495239201370 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18774] ppid=18757 vsize=13980036 memory=2481 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18774/stat : 18774 (java) S 18757 18760 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 73324424 14315556864 20845 18446744073709551615 4194304 4196468 140734833622832 140494710954720 140495239190229 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
[pid=18760/tid=18775] ppid=18757 vsize=13980036 memory=278 CPUtime=0 cores=0,2,4,6
/proc/18760/task/18775/stat : 18775 (java) S 18757 18760 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 73324430 14315556864 20845 18446744073709551615 4194304 4196468 140734833622832 140494709902000 140495239191170 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23056384 140734833631599 140734833631785 140734833631785 140734833635279 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 83380 KiB
Child status: 0
Real time (s): 0.929134
CPU time (s): 1.28892
CPU user time (s): 1.2102
CPU system time (s): 0.07872
CPU usage (%): 138.723
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 83380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.2102
system time used= 0.07872
maximum resident set size= 86104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16601
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= 1800
involuntary context switches= 5
# summary of solver processes directly reported to runsolver:
# pid: 18760
# total CPU time (s): 1.28892
# total CPU user time (s): 1.2102
# total CPU system time (s): 0.07872
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024024 second user time and 0.050184 second system time
The end