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 (9077 MiB free)
memory of node 1: 16384 MiB (15653 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263329-1502624787/watcher-4263329-1502624787 -o /tmp/evaluation-result-4263329-1502624787/solver-4263329-1502624787 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502602071-18557 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263329-1502624787.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23294, runsolver pid=23291
[startup+0.100109 s]*
/proc/loadavg: 4.06 3.70 3.38 3/208 23303
/proc/meminfo: memFree=25313700/32770624 swapFree=67108776/67108860
[pid=23294] ppid=23291 vsize=10151672 memory=22152 CPUtime=0.04 cores=1,3,5,7
/proc/23294/stat : 23294 (java) S 23291 23294 7084 0 -1 1077944320 4398 0 0 0 4 0 0 0 20 0 9 0 162131455 10395312128 5538 18446744073709551615 4194304 4196468 140731093333600 140731093316144 140582432988919 0 0 1 16800970 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
/proc/23294/statm: 2537918 5538 2162 1 0 2527415 0
[pid=23294/tid=23296] ppid=23291 vsize=10151672 memory=-6439968830534014599 CPUtime=0.04 cores=1,3,5,7
/proc/23294/task/23296/stat : 23296 (java) R 23291 23294 7084 0 -1 4202560 3037 0 0 0 4 0 0 0 20 0 9 0 162131461 10395312128 5538 18446744073709551615 4194304 4196468 140731093333600 140582437224312 140582433010845 0 4 1 16800970 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23297] ppid=23291 vsize=10151672 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23297/stat : 23297 (java) S 23291 23294 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 162131462 10395312128 5538 18446744073709551615 4194304 4196468 140731093333600 140582043859344 140582432999125 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23298] ppid=23291 vsize=10151672 memory=140590807152256 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23298/stat : 23298 (java) S 23291 23294 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 162131462 10395312128 5538 18446744073709551615 4194304 4196468 140731093333600 140582042806544 140582432999125 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23299] ppid=23291 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23299/stat : 23299 (java) S 23291 23294 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 162131462 10395312128 5538 18446744073709551615 4194304 4196468 140731093333600 140582041754256 140582432999125 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23300] ppid=23291 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23300/stat : 23300 (java) S 23291 23294 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 162131462 10395312128 5538 18446744073709551615 4194304 4196468 140731093333600 140582040701456 140582432999125 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23301] ppid=23291 vsize=10151672 memory=140590807152256 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23301/stat : 23301 (java) S 23291 23294 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 162131463 10395312128 5538 18446744073709551615 4194304 4196468 140731093333600 140581742320240 140582433000066 0 0 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23302] ppid=23291 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23302/stat : 23302 (java) S 23291 23294 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 162131464 10395312128 5538 18446744073709551615 4194304 4196468 140731093333600 140581741266208 140582432999125 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23303] ppid=23291 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23303/stat : 23303 (java) S 23291 23294 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 162131464 10395312128 5538 18446744073709551615 4194304 4196468 140731093333600 140581740213872 140582432999125 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 22152 KiB
[startup+0.210001 s]*
/proc/loadavg: 4.06 3.70 3.38 3/214 23309
/proc/meminfo: memFree=25310240/32770624 swapFree=67108776/67108860
[pid=23294] ppid=23291 vsize=10551156 memory=27396 CPUtime=0.08 cores=1,3,5,7
/proc/23294/stat : 23294 (java) S 23291 23294 7084 0 -1 1077944320 5326 0 0 0 8 0 0 0 20 0 15 0 162131455 10804383744 6849 18446744073709551615 4194304 4196468 140731093333600 140731093316144 140582432988919 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
/proc/23294/statm: 2637789 6849 2740 1 0 2627261 0
[pid=23294/tid=23296] ppid=23291 vsize=10551156 memory=8318255677412212789 CPUtime=0.06 cores=1,3,5,7
/proc/23294/task/23296/stat : 23296 (java) R 23291 23294 7084 0 -1 4202560 3309 0 0 0 6 0 0 0 20 0 15 0 162131461 10804383744 6849 18446744073709551615 4194304 4196468 140731093333600 140582437227248 140582433010845 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23297] ppid=23291 vsize=10551156 memory=329 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23297/stat : 23297 (java) S 23291 23294 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 162131462 10804383744 6849 18446744073709551615 4194304 4196468 140731093333600 140582043859344 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23298] ppid=23291 vsize=10551156 memory=3546224131351672480 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23298/stat : 23298 (java) S 23291 23294 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162131462 10804383744 6849 18446744073709551615 4194304 4196468 140731093333600 140582042806544 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23299] ppid=23291 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23299/stat : 23299 (java) S 23291 23294 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162131462 10804383744 6849 18446744073709551615 4194304 4196468 140731093333600 140582041754256 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23300] ppid=23291 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23300/stat : 23300 (java) S 23291 23294 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 162131462 10804383744 6849 18446744073709551615 4194304 4196468 140731093333600 140582040701456 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23301] ppid=23291 vsize=10551156 memory=140590807152256 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23301/stat : 23301 (java) S 23291 23294 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 162131463 10804383744 6849 18446744073709551615 4194304 4196468 140731093333600 140581742320240 140582433000066 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23302] ppid=23291 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23302/stat : 23302 (java) S 23291 23294 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 162131464 10804383744 6849 18446744073709551615 4194304 4196468 140731093333600 140581741266208 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23303] ppid=23291 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23303/stat : 23303 (java) S 23291 23294 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 162131464 10804383744 6849 18446744073709551615 4194304 4196468 140731093333600 140581740213872 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23304] ppid=23291 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23304/stat : 23304 (java) S 23291 23294 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 162131466 10804383744 6849 18446744073709551615 4194304 4196468 140731093333600 140581739162192 140582433007515 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23305] ppid=23291 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23305/stat : 23305 (java) S 23291 23294 7084 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 162131466 10804383744 6849 18446744073709551615 4194304 4196468 140731093333600 140581738109040 140582433000066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23306] ppid=23291 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23306/stat : 23306 (java) S 23291 23294 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 162131466 10804383744 6849 18446744073709551615 4194304 4196468 140731093333600 140581737056240 140582433000066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23307] ppid=23291 vsize=10551156 memory=140590807152256 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23307/stat : 23307 (java) S 23291 23294 7084 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 15 0 162131466 10804383744 6849 18446744073709551615 4194304 4196468 140731093333600 140581736003952 140582433000066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23308] ppid=23291 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23308/stat : 23308 (java) S 23291 23294 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 162131467 10804383744 6849 18446744073709551615 4194304 4196468 140731093333600 140581734951392 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23309] ppid=23291 vsize=10551156 memory=140590807152256 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23309/stat : 23309 (java) S 23291 23294 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162131475 10804383744 6849 18446744073709551615 4194304 4196468 140731093333600 140581733899184 140582433000066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 27396 KiB
[startup+0.310298 s]*
/proc/loadavg: 4.06 3.70 3.38 3/214 23309
/proc/meminfo: memFree=25298316/32770624 swapFree=67108776/67108860
[pid=23294] ppid=23291 vsize=10551156 memory=36620 CPUtime=0.23 cores=1,3,5,7
/proc/23294/stat : 23294 (java) S 23291 23294 7084 0 -1 1077944320 8408 0 0 0 21 2 0 0 20 0 15 0 162131455 10804383744 9155 18446744073709551615 4194304 4196468 140731093333600 140731093316144 140582432988919 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
/proc/23294/statm: 2637789 9155 2857 1 0 2627261 0
[pid=23294/tid=23296] ppid=23291 vsize=10551156 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/23294/task/23296/stat : 23296 (java) R 23291 23294 7084 0 -1 4202560 6081 0 0 0 15 2 0 0 20 0 15 0 162131461 10804383744 9155 18446744073709551615 4194304 4196468 140731093333600 140582437225792 140582417069406 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23297] ppid=23291 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23297/stat : 23297 (java) S 23291 23294 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 162131462 10804383744 9155 18446744073709551615 4194304 4196468 140731093333600 140582043859344 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23298] ppid=23291 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23298/stat : 23298 (java) S 23291 23294 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162131462 10804383744 9155 18446744073709551615 4194304 4196468 140731093333600 140582042806544 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23299] ppid=23291 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23299/stat : 23299 (java) S 23291 23294 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162131462 10804383744 9155 18446744073709551615 4194304 4196468 140731093333600 140582041754256 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23300] ppid=23291 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23300/stat : 23300 (java) S 23291 23294 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 162131462 10804383744 9155 18446744073709551615 4194304 4196468 140731093333600 140582040701456 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23301] ppid=23291 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23301/stat : 23301 (java) S 23291 23294 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 162131463 10804383744 9155 18446744073709551615 4194304 4196468 140731093333600 140581742320240 140582433000066 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23302] ppid=23291 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23302/stat : 23302 (java) S 23291 23294 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 162131464 10804383744 9155 18446744073709551615 4194304 4196468 140731093333600 140581741266208 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23303] ppid=23291 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23303/stat : 23303 (java) S 23291 23294 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 162131464 10804383744 9155 18446744073709551615 4194304 4196468 140731093333600 140581740213872 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23304] ppid=23291 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23304/stat : 23304 (java) S 23291 23294 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 162131466 10804383744 9155 18446744073709551615 4194304 4196468 140731093333600 140581739162192 140582433007515 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23305] ppid=23291 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23294/task/23305/stat : 23305 (java) S 23291 23294 7084 0 -1 1077944384 497 0 0 0 1 0 0 0 20 0 15 0 162131466 10804383744 9155 18446744073709551615 4194304 4196468 140731093333600 140581738109040 140582433000066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23306] ppid=23291 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23306/stat : 23306 (java) S 23291 23294 7084 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 162131466 10804383744 9155 18446744073709551615 4194304 4196468 140731093333600 140581737056240 140582433000066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23307] ppid=23291 vsize=10551156 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/23294/task/23307/stat : 23307 (java) S 23291 23294 7084 0 -1 1077944384 400 0 0 0 3 0 0 0 20 0 15 0 162131466 10804383744 9155 18446744073709551615 4194304 4196468 140731093333600 140581736003952 140582433000066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23308] ppid=23291 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23308/stat : 23308 (java) S 23291 23294 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 162131467 10804383744 9155 18446744073709551615 4194304 4196468 140731093333600 140581734951392 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23309] ppid=23291 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23309/stat : 23309 (java) S 23291 23294 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 162131475 10804383744 9155 18446744073709551615 4194304 4196468 140731093333600 140581733899184 140582433000066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36620 KiB
[startup+0.700889 s]
/proc/loadavg: 4.06 3.70 3.38 4/214 23309
/proc/meminfo: memFree=25286928/32770624 swapFree=67108776/67108860
[pid=23294] ppid=23291 vsize=10617796 memory=68516 CPUtime=1.29 cores=1,3,5,7
/proc/23294/stat : 23294 (java) S 23291 23294 7084 0 -1 1077944320 12948 0 0 0 124 5 0 0 20 0 16 0 162131455 10872623104 17129 18446744073709551615 4194304 4196468 140731093333600 140731093316144 140582432988919 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
/proc/23294/statm: 2654449 17129 3048 1 0 2643902 0
[pid=23294/tid=23296] ppid=23291 vsize=10617796 memory=1836 CPUtime=0.55 cores=1,3,5,7
/proc/23294/task/23296/stat : 23296 (java) R 23291 23294 7084 0 -1 4202560 7527 0 0 0 52 3 0 0 20 0 16 0 162131461 10872623104 17129 18446744073709551615 4194304 4196468 140731093333600 140582437225520 140582077469394 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23297] ppid=23291 vsize=10617796 memory=796 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23297/stat : 23297 (java) S 23291 23294 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 162131462 10872623104 17129 18446744073709551615 4194304 4196468 140731093333600 140582043859344 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23298] ppid=23291 vsize=10617796 memory=2 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23298/stat : 23298 (java) S 23291 23294 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 162131462 10872623104 17129 18446744073709551615 4194304 4196468 140731093333600 140582042806544 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23299] ppid=23291 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23299/stat : 23299 (java) S 23291 23294 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 162131462 10872623104 17129 18446744073709551615 4194304 4196468 140731093333600 140582041754256 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23300] ppid=23291 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23300/stat : 23300 (java) S 23291 23294 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 162131462 10872623104 17129 18446744073709551615 4194304 4196468 140731093333600 140582040701456 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23301] ppid=23291 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23301/stat : 23301 (java) S 23291 23294 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 162131463 10872623104 17129 18446744073709551615 4194304 4196468 140731093333600 140581742320240 140582433000066 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23302] ppid=23291 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23302/stat : 23302 (java) S 23291 23294 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 162131464 10872623104 17129 18446744073709551615 4194304 4196468 140731093333600 140581741266208 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23303] ppid=23291 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23303/stat : 23303 (java) S 23291 23294 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 162131464 10872623104 17129 18446744073709551615 4194304 4196468 140731093333600 140581740213872 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23304] ppid=23291 vsize=10617796 memory=40 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23304/stat : 23304 (java) S 23291 23294 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 162131466 10872623104 17129 18446744073709551615 4194304 4196468 140731093333600 140581739162192 140582433007515 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23305] ppid=23291 vsize=10617796 memory=208 CPUtime=0.22 cores=1,3,5,7
/proc/23294/task/23305/stat : 23305 (java) R 23291 23294 7084 0 -1 4202560 1446 0 0 0 22 0 0 0 20 0 16 0 162131466 10872623104 17129 18446744073709551615 4194304 4196468 140731093333600 140581738098960 140582412241554 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23306] ppid=23291 vsize=10617796 memory=140590654307361 CPUtime=0.22 cores=1,3,5,7
/proc/23294/task/23306/stat : 23306 (java) R 23291 23294 7084 0 -1 4202560 882 0 0 0 22 0 0 0 20 0 16 0 162131466 10872623104 17129 18446744073709551615 4194304 4196468 140731093333600 140581737049432 140582416200603 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23307] ppid=23291 vsize=10617796 memory=288230600329142066 CPUtime=0.26 cores=1,3,5,7
/proc/23294/task/23307/stat : 23307 (java) S 23291 23294 7084 0 -1 1077944384 1701 0 0 0 26 0 0 0 20 0 16 0 162131466 10872623104 17129 18446744073709551615 4194304 4196468 140731093333600 140581736003952 140582433000066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23308] ppid=23291 vsize=10617796 memory=13849655444265308 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23308/stat : 23308 (java) S 23291 23294 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 162131467 10872623104 17129 18446744073709551615 4194304 4196468 140731093333600 140581734951392 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23309] ppid=23291 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23309/stat : 23309 (java) S 23291 23294 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 162131475 10872623104 17129 18446744073709551615 4194304 4196468 140731093333600 140581733899184 140582433000066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 68516 KiB
[startup+1.01025 s]
# the end of solver process 23294 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.61117 s, system=0.065553 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800844 s]
/proc/loadavg: 4.06 3.70 3.38 4/214 23309
/proc/meminfo: memFree=25286928/32770624 swapFree=67108776/67108860
[pid=23294] ppid=23291 vsize=10750924 memory=73132 CPUtime=1.59 cores=1,3,5,7
/proc/23294/stat : 23294 (java) S 23291 23294 7084 0 -1 1077944320 13054 0 0 0 154 5 0 0 20 0 16 0 162131455 11008946176 18283 18446744073709551615 4194304 4196468 140731093333600 140731093316144 140582432988919 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
/proc/23294/statm: 2687731 18283 3058 1 0 2677184 0
[pid=23294/tid=23296] ppid=23291 vsize=10750924 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/23294/task/23296/stat : 23296 (java) S 23291 23294 7084 0 -1 1077944384 7538 0 0 0 61 3 0 0 20 0 16 0 162131461 11008946176 18283 18446744073709551615 4194304 4196468 140731093333600 140582437229600 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23297] ppid=23291 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23297/stat : 23297 (java) S 23291 23294 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 162131462 11008946176 18283 18446744073709551615 4194304 4196468 140731093333600 140582043859344 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23298] ppid=23291 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23298/stat : 23298 (java) S 23291 23294 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 162131462 11008946176 18283 18446744073709551615 4194304 4196468 140731093333600 140582042806544 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23299] ppid=23291 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23299/stat : 23299 (java) S 23291 23294 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 162131462 11008946176 18283 18446744073709551615 4194304 4196468 140731093333600 140582041754256 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23300] ppid=23291 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23300/stat : 23300 (java) S 23291 23294 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 162131462 11008946176 18283 18446744073709551615 4194304 4196468 140731093333600 140582040701456 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23301] ppid=23291 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23301/stat : 23301 (java) S 23291 23294 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 162131463 11008946176 18283 18446744073709551615 4194304 4196468 140731093333600 140581742320240 140582433000066 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23302] ppid=23291 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23302/stat : 23302 (java) S 23291 23294 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 162131464 11008946176 18283 18446744073709551615 4194304 4196468 140731093333600 140581741266208 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23303] ppid=23291 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23303/stat : 23303 (java) S 23291 23294 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 162131464 11008946176 18283 18446744073709551615 4194304 4196468 140731093333600 140581740213872 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23304] ppid=23291 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23304/stat : 23304 (java) S 23291 23294 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 162131466 11008946176 18283 18446744073709551615 4194304 4196468 140731093333600 140581739162192 140582433007515 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23305] ppid=23291 vsize=10750924 memory=51844 CPUtime=0.33 cores=1,3,5,7
/proc/23294/task/23305/stat : 23305 (java) R 23291 23294 7084 0 -1 4202560 1473 0 0 0 32 1 0 0 20 0 16 0 162131466 11008946176 18283 18446744073709551615 4194304 4196468 140731093333600 140581738109168 140582418113666 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23306] ppid=23291 vsize=10750924 memory=-8774313645642428999 CPUtime=0.32 cores=1,3,5,7
/proc/23294/task/23306/stat : 23306 (java) R 23291 23294 7084 0 -1 4202560 892 0 0 0 32 0 0 0 20 0 16 0 162131466 11008946176 18283 18446744073709551615 4194304 4196468 140731093333600 140581737042640 140582411005888 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23307] ppid=23291 vsize=10750924 memory=4872558044660077418 CPUtime=0.28 cores=1,3,5,7
/proc/23294/task/23307/stat : 23307 (java) S 23291 23294 7084 0 -1 1077944384 1713 0 0 0 28 0 0 0 20 0 16 0 162131466 11008946176 18283 18446744073709551615 4194304 4196468 140731093333600 140581736003952 140582433000066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23308] ppid=23291 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23308/stat : 23308 (java) S 23291 23294 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 162131467 11008946176 18283 18446744073709551615 4194304 4196468 140731093333600 140581734951392 140582432999125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
[pid=23294/tid=23309] ppid=23291 vsize=10750924 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23294/task/23309/stat : 23309 (java) S 23291 23294 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 162131475 11008946176 18283 18446744073709551615 4194304 4196468 140731093333600 140581733899184 140582433000066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22646784 140731093340560 140731093340713 140731093340713 140731093344207 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 73132 KiB
[startup+1.00057 s]*
/proc/loadavg: 4.06 3.70 3.38 4/212 23312
/proc/meminfo: memFree=25260952/32770624 swapFree=67108776/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 1.01028
CPU time (s): 1.67672
CPU user time (s): 1.61117
CPU system time (s): 0.065553
CPU usage (%): 165.967
Max. virtual memory (cumulated for all children) (KiB): 10750924
Max. memory (cumulated for all children) (KiB): 73752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.61117
system time used= 0.065553
maximum resident set size= 76284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13236
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= 1460
involuntary context switches= 7
# summary of solver processes directly reported to runsolver:
# pid: 23294
# total CPU time (s): 1.67672
# total CPU user time (s): 1.61117
# total CPU system time (s): 0.065553
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03108 second user time and 0.044794 second system time
The end