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 (14158 MiB free)
memory of node 1: 16384 MiB (13942 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274461-1502872466/watcher-4274461-1502872466 -o /tmp/evaluation-result-4274461-1502872466/solver-4274461-1502872466 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502839307-13257 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 845137391 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274461-1502872466.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=17027, runsolver pid=17024
[startup+0.100178 s]*
/proc/loadavg: 1.41 1.45 1.50 3/216 17042
/proc/meminfo: memFree=28756560/32770624 swapFree=67108860/67108860
[pid=17027] ppid=17024 vsize=13980164 memory=33036 CPUtime=0.12 cores=0,2,4,6
/proc/17027/stat : 17027 (java) S 17024 17027 13226 0 -1 1077944320 8180 0 0 0 11 1 0 0 20 0 15 0 120334638 14315687936 8259 33554432000 4194304 4196468 140734727632320 140734727614864 140311926345463 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
/proc/17027/statm: 3495041 8259 3410 1 0 3482761 0
[pid=17027/tid=17029] ppid=17024 vsize=13980164 memory=-6966715213708813952 CPUtime=0.09 cores=0,2,4,6
/proc/17027/task/17029/stat : 17029 (java) R 17024 17027 13226 0 -1 4202560 6112 0 0 0 8 1 0 0 20 0 15 0 120334639 14315687936 8259 33554432000 4194304 4196468 140734727632320 140311930552512 140311910425950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17030] ppid=17024 vsize=13980164 memory=5793854999517039033 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17030/stat : 17030 (java) S 17024 17027 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120334639 14315687936 8259 33554432000 4194304 4196468 140734727632320 140311885105936 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17031] ppid=17024 vsize=13980164 memory=139748507145856 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17031/stat : 17031 (java) S 17024 17027 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120334639 14315687936 8259 33554432000 4194304 4196468 140734727632320 140311521475472 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17032] ppid=17024 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17032/stat : 17032 (java) S 17024 17027 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120334639 14315687936 8259 33554432000 4194304 4196468 140734727632320 140311520422928 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17033] ppid=17024 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17033/stat : 17033 (java) S 17024 17027 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120334639 14315687936 8259 33554432000 4194304 4196468 140734727632320 140311519370384 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17034] ppid=17024 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17034/stat : 17034 (java) S 17024 17027 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120334641 14315687936 8259 33554432000 4194304 4196468 140734727632320 140311400486896 140311926356610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17035] ppid=17024 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17035/stat : 17035 (java) S 17024 17027 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120334641 14315687936 8259 33554432000 4194304 4196468 140734727632320 140311399433120 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17036] ppid=17024 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17036/stat : 17036 (java) S 17024 17027 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120334641 14315687936 8259 33554432000 4194304 4196468 140734727632320 140311398380528 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17037] ppid=17024 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17037/stat : 17037 (java) S 17024 17027 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120334644 14315687936 8259 33554432000 4194304 4196468 140734727632320 140311397329104 140311926364059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17038] ppid=17024 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17038/stat : 17038 (java) S 17024 17027 13226 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 120334644 14315687936 8259 33554432000 4194304 4196468 140734727632320 140311396276720 140311926356610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17039] ppid=17024 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17039/stat : 17039 (java) S 17024 17027 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120334644 14315687936 8259 33554432000 4194304 4196468 140734727632320 140311395224176 140311926356610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17040] ppid=17024 vsize=13980164 memory=139748507145856 CPUtime=0.02 cores=0,2,4,6
/proc/17027/task/17040/stat : 17040 (java) S 17024 17027 13226 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 15 0 120334644 14315687936 8259 33554432000 4194304 4196468 140734727632320 140311394171632 140311926356610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17041] ppid=17024 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17041/stat : 17041 (java) S 17024 17027 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120334644 14315687936 8259 33554432000 4194304 4196468 140734727632320 140311393119328 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17042] ppid=17024 vsize=13980164 memory=139748507145856 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17042/stat : 17042 (java) S 17024 17027 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120334644 14315687936 8259 33554432000 4194304 4196468 140734727632320 140311392065840 140311926356610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 33036 KiB
[startup+0.210618 s]*
/proc/loadavg: 1.41 1.45 1.50 4/216 17042
/proc/meminfo: memFree=28747564/32770624 swapFree=67108860/67108860
[pid=17027] ppid=17024 vsize=13980164 memory=42380 CPUtime=0.31 cores=0,2,4,6
/proc/17027/stat : 17027 (java) S 17024 17027 13226 0 -1 1077944320 9224 0 0 0 29 2 0 0 20 0 15 0 120334638 14315687936 10595 33554432000 4194304 4196468 140734727632320 140734727614864 140311926345463 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
/proc/17027/statm: 3495041 10595 3605 1 0 3482761 0
[pid=17027/tid=17029] ppid=17024 vsize=13980164 memory=6735269665583770266 CPUtime=0.19 cores=0,2,4,6
/proc/17027/task/17029/stat : 17029 (java) R 17024 17027 13226 0 -1 4202560 6783 0 0 0 18 1 0 0 20 0 15 0 120334639 14315687936 10595 33554432000 4194304 4196468 140734727632320 140311930553232 140311926367389 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17030] ppid=17024 vsize=13980164 memory=4211973474711936394 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17030/stat : 17030 (java) S 17024 17027 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120334639 14315687936 10595 33554432000 4194304 4196468 140734727632320 140311885105936 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17031] ppid=17024 vsize=13980164 memory=139748507145856 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17031/stat : 17031 (java) S 17024 17027 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120334639 14315687936 10595 33554432000 4194304 4196468 140734727632320 140311521475472 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17032] ppid=17024 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17032/stat : 17032 (java) S 17024 17027 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120334639 14315687936 10595 33554432000 4194304 4196468 140734727632320 140311520422928 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17033] ppid=17024 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17033/stat : 17033 (java) S 17024 17027 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120334639 14315687936 10595 33554432000 4194304 4196468 140734727632320 140311519370384 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17034] ppid=17024 vsize=13980164 memory=139748507145856 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17034/stat : 17034 (java) S 17024 17027 13226 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 120334641 14315687936 10595 33554432000 4194304 4196468 140734727632320 140311400486896 140311926356610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17035] ppid=17024 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17035/stat : 17035 (java) S 17024 17027 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120334641 14315687936 10595 33554432000 4194304 4196468 140734727632320 140311399433120 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17036] ppid=17024 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17036/stat : 17036 (java) S 17024 17027 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120334641 14315687936 10595 33554432000 4194304 4196468 140734727632320 140311398380528 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17037] ppid=17024 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17037/stat : 17037 (java) S 17024 17027 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120334644 14315687936 10595 33554432000 4194304 4196468 140734727632320 140311397329104 140311926364059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17038] ppid=17024 vsize=13980164 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17027/task/17038/stat : 17038 (java) S 17024 17027 13226 0 -1 1077944384 448 0 0 0 2 0 0 0 20 0 15 0 120334644 14315687936 10595 33554432000 4194304 4196468 140734727632320 140311396276720 140311926356610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17039] ppid=17024 vsize=13980164 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/17027/task/17039/stat : 17039 (java) S 17024 17027 13226 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 15 0 120334644 14315687936 10595 33554432000 4194304 4196468 140734727632320 140311395224176 140311926356610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17040] ppid=17024 vsize=13980164 memory=139748507145856 CPUtime=0.05 cores=0,2,4,6
/proc/17027/task/17040/stat : 17040 (java) R 17024 17027 13226 0 -1 4202560 433 0 0 0 5 0 0 0 20 0 15 0 120334644 14315687936 10595 33554432000 4194304 4196468 140734727632320 140311394171632 140311910585569 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17041] ppid=17024 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17041/stat : 17041 (java) S 17024 17027 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120334644 14315687936 10595 33554432000 4194304 4196468 140734727632320 140311393119328 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17042] ppid=17024 vsize=13980164 memory=139748507145856 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17042/stat : 17042 (java) S 17024 17027 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120334644 14315687936 10595 33554432000 4194304 4196468 140734727632320 140311392065840 140311926356610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 42380 KiB
[startup+0.310331 s]*
/proc/loadavg: 1.41 1.45 1.50 3/216 17042
/proc/meminfo: memFree=28738632/32770624 swapFree=67108860/67108860
[pid=17027] ppid=17024 vsize=13980184 memory=51036 CPUtime=0.49 cores=0,2,4,6
/proc/17027/stat : 17027 (java) S 17024 17027 13226 0 -1 1077944320 10449 0 0 0 47 2 0 0 20 0 15 0 120334638 14315708416 12759 33554432000 4194304 4196468 140734727632320 140734727614864 140311926345463 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
/proc/17027/statm: 3495046 12759 3722 1 0 3482761 0
[pid=17027/tid=17029] ppid=17024 vsize=13980184 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6
/proc/17027/task/17029/stat : 17029 (java) R 17024 17027 13226 0 -1 4202560 7540 0 0 0 27 2 0 0 20 0 15 0 120334639 14315708416 12759 33554432000 4194304 4196468 140734727632320 140311930574800 140311926366810 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17030] ppid=17024 vsize=13980184 memory=4211973474711936394 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17030/stat : 17030 (java) S 17024 17027 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120334639 14315708416 12759 33554432000 4194304 4196468 140734727632320 140311885105936 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17031] ppid=17024 vsize=13980184 memory=139748507148213 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17031/stat : 17031 (java) S 17024 17027 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120334639 14315708416 12759 33554432000 4194304 4196468 140734727632320 140311521475472 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17032] ppid=17024 vsize=13980184 memory=139748370931130 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17032/stat : 17032 (java) S 17024 17027 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120334639 14315708416 12759 33554432000 4194304 4196468 140734727632320 140311520422928 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17033] ppid=17024 vsize=13980184 memory=139748370927055 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17033/stat : 17033 (java) S 17024 17027 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120334639 14315708416 12759 33554432000 4194304 4196468 140734727632320 140311519370384 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17034] ppid=17024 vsize=13980184 memory=139748507159109 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17034/stat : 17034 (java) S 17024 17027 13226 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 120334641 14315708416 12759 33554432000 4194304 4196468 140734727632320 140311400486896 140311926356610 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17035] ppid=17024 vsize=13980184 memory=139748370936239 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17035/stat : 17035 (java) S 17024 17027 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120334641 14315708416 12759 33554432000 4194304 4196468 140734727632320 140311399433120 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17036] ppid=17024 vsize=13980184 memory=279496741863312 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17036/stat : 17036 (java) S 17024 17027 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120334641 14315708416 12759 33554432000 4194304 4196468 140734727632320 140311398380528 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17037] ppid=17024 vsize=13980184 memory=279496741861008 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17037/stat : 17037 (java) S 17024 17027 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120334644 14315708416 12759 33554432000 4194304 4196468 140734727632320 140311397329104 140311926364059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17038] ppid=17024 vsize=13980184 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/17027/task/17038/stat : 17038 (java) S 17024 17027 13226 0 -1 1077944384 653 0 0 0 6 0 0 0 20 0 15 0 120334644 14315708416 12759 33554432000 4194304 4196468 140734727632320 140311396276720 140311926356610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17039] ppid=17024 vsize=13980184 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/17027/task/17039/stat : 17039 (java) S 17024 17027 13226 0 -1 1077944384 399 0 0 0 4 0 0 0 20 0 15 0 120334644 14315708416 12759 33554432000 4194304 4196468 140734727632320 140311395224176 140311926356610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17040] ppid=17024 vsize=13980184 memory=139748507145856 CPUtime=0.09 cores=0,2,4,6
/proc/17027/task/17040/stat : 17040 (java) R 17024 17027 13226 0 -1 4202560 475 0 0 0 9 0 0 0 20 0 15 0 120334644 14315708416 12759 33554432000 4194304 4196468 140734727632320 140311394171632 140311926357398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17041] ppid=17024 vsize=13980184 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17041/stat : 17041 (java) S 17024 17027 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120334644 14315708416 12759 33554432000 4194304 4196468 140734727632320 140311393119328 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17042] ppid=17024 vsize=13980184 memory=139748507145856 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17042/stat : 17042 (java) S 17024 17027 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120334644 14315708416 12759 33554432000 4194304 4196468 140734727632320 140311392065840 140311926356610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 51036 KiB
[startup+0.700726 s]
/proc/loadavg: 1.41 1.45 1.50 4/216 17042
/proc/meminfo: memFree=28726380/32770624 swapFree=67108860/67108860
[pid=17027] ppid=17024 vsize=13982232 memory=83240 CPUtime=1.44 cores=0,2,4,6
/proc/17027/stat : 17027 (java) S 17024 17027 13226 0 -1 1077944320 13877 0 0 0 139 5 0 0 20 0 15 0 120334638 14317805568 20810 33554432000 4194304 4196468 140734727632320 140734727614864 140311926345463 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
/proc/17027/statm: 3495558 20810 3766 1 0 3483273 0
[pid=17027/tid=17029] ppid=17024 vsize=13982232 memory=1952 CPUtime=0.67 cores=0,2,4,6
/proc/17027/task/17029/stat : 17029 (java) R 17024 17027 13226 0 -1 4202560 8703 0 0 0 64 3 0 0 20 0 15 0 120334639 14317805568 20810 33554432000 4194304 4196468 140734727632320 140311930574608 140311926367389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17030] ppid=17024 vsize=13982232 memory=8576 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17030/stat : 17030 (java) S 17024 17027 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120334639 14317805568 20810 33554432000 4194304 4196468 140734727632320 140311885105936 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17031] ppid=17024 vsize=13982232 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17031/stat : 17031 (java) S 17024 17027 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120334639 14317805568 20810 33554432000 4194304 4196468 140734727632320 140311521475472 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17032] ppid=17024 vsize=13982232 memory=7662705889289527641 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17032/stat : 17032 (java) S 17024 17027 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120334639 14317805568 20810 33554432000 4194304 4196468 140734727632320 140311520422928 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17033] ppid=17024 vsize=13982232 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17033/stat : 17033 (java) S 17024 17027 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120334639 14317805568 20810 33554432000 4194304 4196468 140734727632320 140311519370384 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17034] ppid=17024 vsize=13982232 memory=5859271421084194152 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17034/stat : 17034 (java) S 17024 17027 13226 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 120334641 14317805568 20810 33554432000 4194304 4196468 140734727632320 140311400486896 140311926356610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17035] ppid=17024 vsize=13982232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17035/stat : 17035 (java) S 17024 17027 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120334641 14317805568 20810 33554432000 4194304 4196468 140734727632320 140311399433120 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17036] ppid=17024 vsize=13982232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17036/stat : 17036 (java) S 17024 17027 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120334641 14317805568 20810 33554432000 4194304 4196468 140734727632320 140311398380528 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17037] ppid=17024 vsize=13982232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17037/stat : 17037 (java) S 17024 17027 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120334644 14317805568 20810 33554432000 4194304 4196468 140734727632320 140311397329104 140311926364059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17038] ppid=17024 vsize=13982232 memory=40 CPUtime=0.21 cores=0,2,4,6
/proc/17027/task/17038/stat : 17038 (java) S 17024 17027 13226 0 -1 1077944384 1231 0 0 0 21 0 0 0 20 0 15 0 120334644 14317805568 20810 33554432000 4194304 4196468 140734727632320 140311396276720 140311926356610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17039] ppid=17024 vsize=13982232 memory=4 CPUtime=0.21 cores=0,2,4,6
/proc/17027/task/17039/stat : 17039 (java) S 17024 17027 13226 0 -1 1077944384 1121 0 0 0 21 0 0 0 20 0 15 0 120334644 14317805568 20810 33554432000 4194304 4196468 140734727632320 140311395224176 140311926356610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17040] ppid=17024 vsize=13982232 memory=7166 CPUtime=0.3 cores=0,2,4,6
/proc/17027/task/17040/stat : 17040 (java) S 17024 17027 13226 0 -1 1077944384 1440 0 0 0 30 0 0 0 20 0 15 0 120334644 14317805568 20810 33554432000 4194304 4196468 140734727632320 140311394171632 140311926356610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17041] ppid=17024 vsize=13982232 memory=279496742047216 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17041/stat : 17041 (java) S 17024 17027 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120334644 14317805568 20810 33554432000 4194304 4196468 140734727632320 140311393119328 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17042] ppid=17024 vsize=13982232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17042/stat : 17042 (java) S 17024 17027 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120334644 14317805568 20810 33554432000 4194304 4196468 140734727632320 140311392065840 140311926356610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 13982232 KiB
Current children cumulated memory: 83240 KiB
[startup+1.50067 s]
/proc/loadavg: 1.41 1.45 1.50 5/216 17042
/proc/meminfo: memFree=28639760/32770624 swapFree=67108860/67108860
[pid=17027] ppid=17024 vsize=14052892 memory=207336 CPUtime=3.69 cores=0,2,4,6
/proc/17027/stat : 17027 (java) S 17024 17027 13226 0 -1 1077944320 24271 0 0 0 361 8 0 0 20 0 14 0 120334638 14390161408 51834 33554432000 4194304 4196468 140734727632320 140734727614864 140311926345463 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
/proc/17027/statm: 3513223 51834 3807 1 0 3500938 0
[pid=17027/tid=17029] ppid=17024 vsize=14052892 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/17027/task/17029/stat : 17029 (java) S 17024 17027 13226 0 -1 1077944384 11236 0 0 0 141 5 0 0 20 0 14 0 120334639 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311930588304 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17030] ppid=17024 vsize=14052892 memory=4947371993372007040 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17030/stat : 17030 (java) S 17024 17027 13226 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 14 0 120334639 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311885105936 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17031] ppid=17024 vsize=14052892 memory=-6007097468903628585 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17031/stat : 17031 (java) S 17024 17027 13226 0 -1 1077944384 926 0 0 0 0 0 0 0 20 0 14 0 120334639 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311521475472 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17032] ppid=17024 vsize=14052892 memory=-6305710585805300608 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17032/stat : 17032 (java) S 17024 17027 13226 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 14 0 120334639 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311520422928 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17033] ppid=17024 vsize=14052892 memory=-6439971033026422629 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17033/stat : 17033 (java) S 17024 17027 13226 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 14 0 120334639 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311519370384 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17034] ppid=17024 vsize=14052892 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17034/stat : 17034 (java) S 17024 17027 13226 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 14 0 120334641 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311400487104 140311926356610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17035] ppid=17024 vsize=14052892 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17035/stat : 17035 (java) S 17024 17027 13226 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 14 0 120334641 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311399433120 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17036] ppid=17024 vsize=14052892 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17036/stat : 17036 (java) S 17024 17027 13226 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 14 0 120334641 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311398380544 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17037] ppid=17024 vsize=14052892 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17037/stat : 17037 (java) S 17024 17027 13226 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 14 0 120334644 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311397327872 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17038] ppid=17024 vsize=14052892 memory=0 CPUtime=0.8 cores=0,2,4,6
/proc/17027/task/17038/stat : 17038 (java) S 17024 17027 13226 0 -1 1077944384 3311 0 0 0 80 0 0 0 20 0 14 0 120334644 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311396261680 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17039] ppid=17024 vsize=14052892 memory=4580 CPUtime=0.85 cores=0,2,4,6
/proc/17027/task/17039/stat : 17039 (java) S 17024 17027 13226 0 -1 1077944384 3457 0 0 0 85 0 0 0 20 0 14 0 120334644 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311395224176 140311926356610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17040] ppid=17024 vsize=14052892 memory=-6876588461455810464 CPUtime=0.51 cores=0,2,4,6
/proc/17027/task/17040/stat : 17040 (java) S 17024 17027 13226 0 -1 1077944384 3540 0 0 0 51 0 0 0 20 0 14 0 120334644 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311394171632 140311926356610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17041] ppid=17024 vsize=14052892 memory=7666384899138478906 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17041/stat : 17041 (java) S 17024 17027 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 120334644 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311393119328 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
Current children cumulated CPU time: 3.69 s
Current children cumulated vsize: 14052892 KiB
Current children cumulated memory: 207336 KiB
[startup+1.51514 s]
# the end of solver process 17027 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.61432 s, system=0.08676 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50067 s]
/proc/loadavg: 1.41 1.45 1.50 5/216 17042
/proc/meminfo: memFree=28639760/32770624 swapFree=67108860/67108860
[pid=17027] ppid=17024 vsize=14052892 memory=207336 CPUtime=3.69 cores=0,2,4,6
/proc/17027/stat : 17027 (java) S 17024 17027 13226 0 -1 1077944320 24271 0 0 0 361 8 0 0 20 0 14 0 120334638 14390161408 51834 33554432000 4194304 4196468 140734727632320 140734727614864 140311926345463 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
/proc/17027/statm: 3513223 51834 3807 1 0 3500938 0
[pid=17027/tid=17029] ppid=17024 vsize=14052892 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/17027/task/17029/stat : 17029 (java) S 17024 17027 13226 0 -1 1077944384 11236 0 0 0 141 5 0 0 20 0 14 0 120334639 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311930588304 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17030] ppid=17024 vsize=14052892 memory=4947371993372007040 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17030/stat : 17030 (java) S 17024 17027 13226 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 14 0 120334639 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311885105936 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17031] ppid=17024 vsize=14052892 memory=-6007097468903628585 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17031/stat : 17031 (java) S 17024 17027 13226 0 -1 1077944384 926 0 0 0 0 0 0 0 20 0 14 0 120334639 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311521475472 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17032] ppid=17024 vsize=14052892 memory=-6305710585805300608 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17032/stat : 17032 (java) S 17024 17027 13226 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 14 0 120334639 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311520422928 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17033] ppid=17024 vsize=14052892 memory=-6439971033026422629 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17033/stat : 17033 (java) S 17024 17027 13226 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 14 0 120334639 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311519370384 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17034] ppid=17024 vsize=14052892 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17034/stat : 17034 (java) S 17024 17027 13226 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 14 0 120334641 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311400487104 140311926356610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17035] ppid=17024 vsize=14052892 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17035/stat : 17035 (java) S 17024 17027 13226 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 14 0 120334641 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311399433120 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17036] ppid=17024 vsize=14052892 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17036/stat : 17036 (java) S 17024 17027 13226 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 14 0 120334641 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311398380544 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17037] ppid=17024 vsize=14052892 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17037/stat : 17037 (java) S 17024 17027 13226 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 14 0 120334644 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311397327872 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17038] ppid=17024 vsize=14052892 memory=0 CPUtime=0.8 cores=0,2,4,6
/proc/17027/task/17038/stat : 17038 (java) S 17024 17027 13226 0 -1 1077944384 3311 0 0 0 80 0 0 0 20 0 14 0 120334644 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311396261680 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17039] ppid=17024 vsize=14052892 memory=4580 CPUtime=0.85 cores=0,2,4,6
/proc/17027/task/17039/stat : 17039 (java) S 17024 17027 13226 0 -1 1077944384 3457 0 0 0 85 0 0 0 20 0 14 0 120334644 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311395224176 140311926356610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17040] ppid=17024 vsize=14052892 memory=-6876588461455810464 CPUtime=0.51 cores=0,2,4,6
/proc/17027/task/17040/stat : 17040 (java) S 17024 17027 13226 0 -1 1077944384 3540 0 0 0 51 0 0 0 20 0 14 0 120334644 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311394171632 140311926356610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
[pid=17027/tid=17041] ppid=17024 vsize=14052892 memory=7666384899138478906 CPUtime=0 cores=0,2,4,6
/proc/17027/task/17041/stat : 17041 (java) S 17024 17027 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 120334644 14390161408 51834 33554432000 4194304 4196468 140734727632320 140311393119328 140311926355669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10858496 140734727640169 140734727640351 140734727640351 140734727643087 0
Current children cumulated CPU time: 3.69 s
Current children cumulated vsize: 14052892 KiB
Current children cumulated memory: 207336 KiB
Child status: 0
Real time (s): 1.51518
CPU time (s): 3.70108
CPU user time (s): 3.61432
CPU system time (s): 0.08676
CPU usage (%): 244.267
Max. virtual memory (cumulated for all children) (KiB): 14052892
Max. memory (cumulated for all children) (KiB): 207336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.61432
system time used= 0.08676
maximum resident set size= 207752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24282
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= 2297
involuntary context switches= 16
# summary of solver processes directly reported to runsolver:
# pid: 17027
# total CPU time (s): 3.70108
# total CPU user time (s): 3.61432
# total CPU system time (s): 0.08676
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029095 second user time and 0.061837 second system time
The end