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 (13226 MiB free)
memory of node 1: 16384 MiB (11044 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307668-1534258055/watcher-4307668-1534258055 -o /tmp/evaluation-result-4307668-1534258055/solver-4307668-1534258055 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534258055-12152 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed 1485356558 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307668-1534258055.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=12182, runsolver pid=12175
[startup+0.100204 s]*
/proc/loadavg: 0.00 0.01 0.05 2/189 12184
/proc/meminfo: memFree=24852864/32770624 swapFree=67108524/67108860
[pid=12182] ppid=12175 vsize=10648 memory=752 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (java) D 12175 12182 12120 0 -1 1077944320 336 0 0 0 0 0 0 0 20 0 1 0 243368907 10903552 188 33554432000 4194304 4196468 140729601411312 140729601393928 140252337489269 0 0 4096 0 18446744072101785124 0 0 17 5 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
/proc/12182/statm: 2662 188 153 1 0 84 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 10648 KiB
Current children cumulated memory: 752 KiB
[startup+0.209484 s]*
/proc/loadavg: 0.00 0.01 0.05 2/191 12186
/proc/meminfo: memFree=24850476/32770624 swapFree=67108524/67108860
[pid=12182] ppid=12175 vsize=109440 memory=5440 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (java) S 12175 12182 12120 0 -1 1077944320 1630 0 0 0 0 0 0 0 20 0 2 0 243368907 112066560 1360 33554432000 4194304 4196468 140729601411312 140729601393856 140252344811255 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
/proc/12182/statm: 27360 1360 1029 1 0 16810 0
[pid=12182/tid=12185] ppid=12175 vsize=109440 memory=4871374705135476842 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12185/stat : 12185 (java) D 12175 12182 12120 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 2 0 243368921 112066560 1360 33554432000 4194304 4196468 140729601411312 140252349048016 140252337490477 0 4 0 16784584 18446744072101785124 0 0 -1 3 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 109440 KiB
Current children cumulated memory: 5440 KiB
[startup+0.309637 s]*
/proc/loadavg: 0.00 0.01 0.05 1/191 12186
/proc/meminfo: memFree=24850476/32770624 swapFree=67108524/67108860
[pid=12182] ppid=12175 vsize=111596 memory=5608 CPUtime=0 cores=1,3,5,7
/proc/12182/stat : 12182 (java) S 12175 12182 12120 0 -1 1077944320 1654 0 0 0 0 0 0 0 20 0 2 0 243368907 114274304 1402 33554432000 4194304 4196468 140729601411312 140729601393856 140252344811255 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
/proc/12182/statm: 27899 1402 1062 1 0 16810 0
[pid=12182/tid=12185] ppid=12175 vsize=111596 memory=288355116380323867 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12185/stat : 12185 (java) D 12175 12182 12120 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 2 0 243368921 114274304 1402 33554432000 4194304 4196468 140729601411312 140252349052944 140252337490477 0 4 0 16784584 18446744072101785124 0 0 -1 3 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 111596 KiB
Current children cumulated memory: 5608 KiB
[startup+0.700525 s]
/proc/loadavg: 0.00 0.01 0.05 2/205 12200
/proc/meminfo: memFree=24831800/32770624 swapFree=67108524/67108860
[pid=12182] ppid=12175 vsize=14082736 memory=29308 CPUtime=0.1 cores=1,3,5,7
/proc/12182/stat : 12182 (java) S 12175 12182 12120 0 -1 1077944320 6241 0 0 0 9 1 0 0 20 0 15 0 243368907 14420721664 7327 33554432000 4194304 4196468 140729601411312 140729601393856 140252344811255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
/proc/12182/statm: 3520684 7327 3107 1 0 3482761 0
[pid=12182/tid=12185] ppid=12175 vsize=14082736 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/12182/task/12185/stat : 12185 (java) R 12175 12182 12120 0 -1 4202560 4322 0 0 0 7 0 0 0 20 0 15 0 243368921 14420721664 7327 33554432000 4194304 4196468 140729601411312 140252349044720 140252328891742 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12187] ppid=12175 vsize=14082736 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12187/stat : 12187 (java) S 12175 12182 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368941 14420721664 7327 33554432000 4194304 4196468 140729601411312 140252297431440 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12188] ppid=12175 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12188/stat : 12188 (java) S 12175 12182 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368941 14420721664 7327 33554432000 4194304 4196468 140729601411312 140252296378640 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12189] ppid=12175 vsize=14082736 memory=281338075271472 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12189/stat : 12189 (java) S 12175 12182 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368941 14420721664 7327 33554432000 4194304 4196468 140729601411312 140252295326352 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12190] ppid=12175 vsize=14082736 memory=140669037450608 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12190/stat : 12190 (java) S 12175 12182 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368941 14420721664 7327 33554432000 4194304 4196468 140729601411312 140252294273552 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12195] ppid=12175 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12195/stat : 12195 (java) S 12175 12182 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368944 14420721664 7327 33554432000 4194304 4196468 140729601411312 140251525851760 140252344822402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12196] ppid=12175 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12196/stat : 12196 (java) S 12175 12182 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243368945 14420721664 7327 33554432000 4194304 4196468 140729601411312 140251524797728 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12198] ppid=12175 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12198/stat : 12198 (java) S 12175 12182 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243368945 14420721664 7327 33554432000 4194304 4196468 140729601411312 140251523745392 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 29308 KiB
[startup+1.50077 s]
/proc/loadavg: 0.00 0.01 0.05 4/217 12212
/proc/meminfo: memFree=24778812/32770624 swapFree=67108524/67108860
[pid=12182] ppid=12175 vsize=14086852 memory=95952 CPUtime=1.24 cores=1,3,5,7
/proc/12182/stat : 12182 (java) S 12175 12182 12120 0 -1 1077944320 18325 0 0 0 119 5 0 0 20 0 15 0 243368907 14424936448 23988 33554432000 4194304 4196468 140729601411312 140729601393856 140252344811255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
/proc/12182/statm: 3521713 23988 3506 1 0 3483785 0
[pid=12182/tid=12185] ppid=12175 vsize=14086852 memory=66072 CPUtime=0.8 cores=1,3,5,7
/proc/12182/task/12185/stat : 12185 (java) R 12175 12182 12120 0 -1 4202560 15390 0 0 0 76 4 0 0 20 0 15 0 243368921 14424936448 23988 33554432000 4194304 4196468 140729601411312 140252349046464 140252344823190 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12187] ppid=12175 vsize=14086852 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12187/stat : 12187 (java) S 12175 12182 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368941 14424936448 23988 33554432000 4194304 4196468 140729601411312 140252297431440 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12188] ppid=12175 vsize=14086852 memory=2072 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12188/stat : 12188 (java) S 12175 12182 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368941 14424936448 23988 33554432000 4194304 4196468 140729601411312 140252296378640 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12189] ppid=12175 vsize=14086852 memory=1740 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12189/stat : 12189 (java) S 12175 12182 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368941 14424936448 23988 33554432000 4194304 4196468 140729601411312 140252295326352 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12190] ppid=12175 vsize=14086852 memory=11192 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12190/stat : 12190 (java) S 12175 12182 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368941 14424936448 23988 33554432000 4194304 4196468 140729601411312 140252294273552 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12195] ppid=12175 vsize=14086852 memory=752 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12195/stat : 12195 (java) S 12175 12182 12120 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243368944 14424936448 23988 33554432000 4194304 4196468 140729601411312 140251525851760 140252344822402 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12196] ppid=12175 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12196/stat : 12196 (java) S 12175 12182 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243368945 14424936448 23988 33554432000 4194304 4196468 140729601411312 140251524797728 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12198] ppid=12175 vsize=14086852 memory=17828 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12198/stat : 12198 (java) S 12175 12182 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243368945 14424936448 23988 33554432000 4194304 4196468 140729601411312 140251523745392 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12201] ppid=12175 vsize=14086852 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12201/stat : 12201 (java) S 12175 12182 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368962 14424936448 23988 33554432000 4194304 4196468 140729601411312 140251522693712 140252344829851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12202] ppid=12175 vsize=14086852 memory=1724 CPUtime=0.1 cores=1,3,5,7
/proc/12182/task/12202/stat : 12202 (java) S 12175 12182 12120 0 -1 1077944384 420 0 0 0 10 0 0 0 20 0 15 0 243368962 14424936448 23988 33554432000 4194304 4196468 140729601411312 140251521640560 140252344822402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12203] ppid=12175 vsize=14086852 memory=4004 CPUtime=0.1 cores=1,3,5,7
/proc/12182/task/12203/stat : 12203 (java) R 12175 12182 12120 0 -1 1077944384 558 0 0 0 10 0 0 0 20 0 15 0 243368962 14424936448 23988 33554432000 4194304 4196468 140729601411312 140251520587760 140252344822402 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12204] ppid=12175 vsize=14086852 memory=3516 CPUtime=0.21 cores=1,3,5,7
/proc/12182/task/12204/stat : 12204 (java) S 12175 12182 12120 0 -1 1077944384 575 0 0 0 21 0 0 0 20 0 15 0 243368962 14424936448 23988 33554432000 4194304 4196468 140729601411312 140251519535472 140252344822402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12205] ppid=12175 vsize=14086852 memory=872 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12205/stat : 12205 (java) S 12175 12182 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368963 14424936448 23988 33554432000 4194304 4196468 140729601411312 140251518482912 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12212] ppid=12175 vsize=14086852 memory=1288 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12212/stat : 12212 (java) S 12175 12182 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368970 14424936448 23988 33554432000 4194304 4196468 140729601411312 140251517430704 140252344822402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 95952 KiB
[startup+1.88241 s]
# the end of solver process 12182 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.88753 s, system=0.077426 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60095 s]
/proc/loadavg: 0.00 0.01 0.05 4/217 12212
/proc/meminfo: memFree=24778812/32770624 swapFree=67108524/67108860
[pid=12182] ppid=12175 vsize=14086852 memory=102268 CPUtime=1.42 cores=1,3,5,7
/proc/12182/stat : 12182 (java) S 12175 12182 12120 0 -1 1077944320 18882 0 0 0 136 6 0 0 20 0 15 0 243368907 14424936448 25567 33554432000 4194304 4196468 140729601411312 140729601393856 140252344811255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
/proc/12182/statm: 3521713 25567 3507 1 0 3483785 0
[pid=12182/tid=12185] ppid=12175 vsize=14086852 memory=14888 CPUtime=0.89 cores=1,3,5,7
/proc/12182/task/12185/stat : 12185 (java) R 12175 12182 12120 0 -1 4202560 15762 0 0 0 85 4 0 0 20 0 15 0 243368921 14424936448 25567 33554432000 4194304 4196468 140729601411312 140252349046192 140252344832602 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12187] ppid=12175 vsize=14086852 memory=36688 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12187/stat : 12187 (java) S 12175 12182 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368941 14424936448 25567 33554432000 4194304 4196468 140729601411312 140252297431440 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12188] ppid=12175 vsize=14086852 memory=3312 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12188/stat : 12188 (java) S 12175 12182 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368941 14424936448 25567 33554432000 4194304 4196468 140729601411312 140252296378640 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12189] ppid=12175 vsize=14086852 memory=15708 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12189/stat : 12189 (java) S 12175 12182 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368941 14424936448 25567 33554432000 4194304 4196468 140729601411312 140252295326352 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12190] ppid=12175 vsize=14086852 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12190/stat : 12190 (java) S 12175 12182 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368941 14424936448 25567 33554432000 4194304 4196468 140729601411312 140252294273552 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12195] ppid=12175 vsize=14086852 memory=504 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12195/stat : 12195 (java) S 12175 12182 12120 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243368944 14424936448 25567 33554432000 4194304 4196468 140729601411312 140251525851760 140252344822402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12196] ppid=12175 vsize=14086852 memory=924 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12196/stat : 12196 (java) S 12175 12182 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243368945 14424936448 25567 33554432000 4194304 4196468 140729601411312 140251524797728 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12198] ppid=12175 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12198/stat : 12198 (java) S 12175 12182 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243368945 14424936448 25567 33554432000 4194304 4196468 140729601411312 140251523745392 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12201] ppid=12175 vsize=14086852 memory=90 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12201/stat : 12201 (java) S 12175 12182 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368962 14424936448 25567 33554432000 4194304 4196468 140729601411312 140251522693712 140252344829851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12202] ppid=12175 vsize=14086852 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/12182/task/12202/stat : 12202 (java) S 12175 12182 12120 0 -1 1077944384 428 0 0 0 11 0 0 0 20 0 15 0 243368962 14424936448 25567 33554432000 4194304 4196468 140729601411312 140251521640560 140252344822402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12203] ppid=12175 vsize=14086852 memory=250 CPUtime=0.11 cores=1,3,5,7
/proc/12182/task/12203/stat : 12203 (java) S 12175 12182 12120 0 -1 1077944384 567 0 0 0 11 0 0 0 20 0 15 0 243368962 14424936448 25567 33554432000 4194304 4196468 140729601411312 140251520587760 140252344822402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12204] ppid=12175 vsize=14086852 memory=216 CPUtime=0.27 cores=1,3,5,7
/proc/12182/task/12204/stat : 12204 (java) R 12175 12182 12120 0 -1 1077944384 745 0 0 0 27 0 0 0 20 0 15 0 243368962 14424936448 25567 33554432000 4194304 4196468 140729601411312 140251519535472 140252344822402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12205] ppid=12175 vsize=14086852 memory=7 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12205/stat : 12205 (java) S 12175 12182 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368963 14424936448 25567 33554432000 4194304 4196468 140729601411312 140251518482912 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12212] ppid=12175 vsize=14086852 memory=690 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12212/stat : 12212 (java) S 12175 12182 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368970 14424936448 25567 33554432000 4194304 4196468 140729601411312 140251517430704 140252344822402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 102268 KiB
[startup+1.801 s]
/proc/loadavg: 0.00 0.01 0.05 4/217 12212
/proc/meminfo: memFree=24778812/32770624 swapFree=67108524/67108860
[pid=12182] ppid=12175 vsize=14090948 memory=121888 CPUtime=1.75 cores=1,3,5,7
/proc/12182/stat : 12182 (java) S 12175 12182 12120 0 -1 1077944320 23012 0 0 0 169 6 0 0 20 0 15 0 243368907 14429130752 30472 33554432000 4194304 4196468 140729601411312 140729601393856 140252344811255 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
/proc/12182/statm: 3522737 30472 3526 1 0 3484809 0
[pid=12182/tid=12185] ppid=12175 vsize=14090948 memory=19686 CPUtime=1.1 cores=1,3,5,7
/proc/12182/task/12185/stat : 12185 (java) R 12175 12182 12120 0 -1 4202560 18935 0 0 0 105 5 0 0 20 0 15 0 243368921 14429130752 30472 33554432000 4194304 4196468 140729601411312 140252349046368 140252328854885 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12187] ppid=12175 vsize=14090948 memory=1 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12187/stat : 12187 (java) S 12175 12182 12120 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243368941 14429130752 30472 33554432000 4194304 4196468 140729601411312 140252297431440 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12188] ppid=12175 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12188/stat : 12188 (java) S 12175 12182 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368941 14429130752 30472 33554432000 4194304 4196468 140729601411312 140252296378640 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12189] ppid=12175 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12189/stat : 12189 (java) S 12175 12182 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368941 14429130752 30472 33554432000 4194304 4196468 140729601411312 140252295326352 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12190] ppid=12175 vsize=14090948 memory=6297 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12190/stat : 12190 (java) S 12175 12182 12120 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243368941 14429130752 30472 33554432000 4194304 4196468 140729601411312 140252294273552 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12195] ppid=12175 vsize=14090948 memory=1615 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12195/stat : 12195 (java) S 12175 12182 12120 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243368944 14429130752 30472 33554432000 4194304 4196468 140729601411312 140251525851760 140252344822402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12196] ppid=12175 vsize=14090948 memory=773 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12196/stat : 12196 (java) S 12175 12182 12120 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243368945 14429130752 30472 33554432000 4194304 4196468 140729601411312 140251524797728 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12198] ppid=12175 vsize=14090948 memory=1 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12198/stat : 12198 (java) S 12175 12182 12120 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243368945 14429130752 30472 33554432000 4194304 4196468 140729601411312 140251523745392 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12201] ppid=12175 vsize=14090948 memory=408 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12201/stat : 12201 (java) S 12175 12182 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368962 14429130752 30472 33554432000 4194304 4196468 140729601411312 140251522693712 140252344829851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12202] ppid=12175 vsize=14090948 memory=157 CPUtime=0.13 cores=1,3,5,7
/proc/12182/task/12202/stat : 12202 (java) S 12175 12182 12120 0 -1 1077944384 474 0 0 0 13 0 0 0 20 0 15 0 243368962 14429130752 30472 33554432000 4194304 4196468 140729601411312 140251521640560 140252344822402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12203] ppid=12175 vsize=14090948 memory=182 CPUtime=0.14 cores=1,3,5,7
/proc/12182/task/12203/stat : 12203 (java) S 12175 12182 12120 0 -1 1077944384 629 0 0 0 14 0 0 0 20 0 15 0 243368962 14429130752 30472 33554432000 4194304 4196468 140729601411312 140251520587760 140252344822402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12204] ppid=12175 vsize=14090948 memory=41863 CPUtime=0.35 cores=1,3,5,7
/proc/12182/task/12204/stat : 12204 (java) S 12175 12182 12120 0 -1 1077944384 1590 0 0 0 35 0 0 0 20 0 15 0 243368962 14429130752 30472 33554432000 4194304 4196468 140729601411312 140251519535472 140252344822402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12205] ppid=12175 vsize=14090948 memory=1 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12205/stat : 12205 (java) S 12175 12182 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368963 14429130752 30472 33554432000 4194304 4196468 140729601411312 140251518482912 140252344821461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
[pid=12182/tid=12212] ppid=12175 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12182/task/12212/stat : 12212 (java) S 12175 12182 12120 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243368970 14429130752 30472 33554432000 4194304 4196468 140729601411312 140251517430704 140252344822402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8916992 140729601418320 140729601418505 140729601418505 140729601421263 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 121888 KiB
Child status: 0
Real time (s): 1.88246
CPU time (s): 1.96496
CPU user time (s): 1.88753
CPU system time (s): 0.077426
CPU usage (%): 104.383
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 121888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.88753
system time used= 0.077426
maximum resident set size= 125488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23654
page faults= 0
swaps= 0
block input operations= 232
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2367
involuntary context switches= 10
# summary of solver processes directly reported to runsolver:
# pid: 12182
# total CPU time (s): 1.96496
# total CPU user time (s): 1.88753
# total CPU system time (s): 0.077426
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034874 second user time and 0.052296 second system time
The end