runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4256580-1501627550/watcher-4256580-1501627550 -o /tmp/evaluation-result-4256580-1501627550/solver-4256580-1501627550 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501623086-29847 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1230831397 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256580-1501627550.xml
pid=535
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.01 1.84 1.72 2/198 540
/proc/meminfo: memFree=30549396/32770624 swapFree=0/224064
[pid=540] ppid=535 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/540/stat : 540 (runsolver) D 535 540 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 62408468 24240128 106 18446744073709551615 4194304 4338465 140727712189056 140727712186696 140480132080343 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 10219520 140727712194665 140727712195141 140727712195141 140727712198602 0
/proc/540/statm: 5918 106 53 36 0 2156 0
[startup+0.10183 s]
/proc/loadavg: 2.01 1.84 1.72 2/198 540
/proc/meminfo: memFree=30549396/32770624 swapFree=0/224064
[pid=540] ppid=535 vsize=13508128 CPUtime=0.01 cores=0,2,4,6
/proc/540/stat : 540 (java) S 535 540 18930 0 -1 1077944320 3681 0 0 0 1 0 0 0 20 0 9 0 62408468 13832323072 4304 18446744073709551615 4194304 4196468 140729590346192 140729590328736 140609860538103 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
/proc/540/statm: 3377032 4304 2032 1 0 3366537 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13508128
[startup+0.203914 s]
/proc/loadavg: 2.01 1.84 1.72 2/198 540
/proc/meminfo: memFree=30549396/32770624 swapFree=0/224064
[pid=540] ppid=535 vsize=13975920 CPUtime=0.1 cores=0,2,4,6
/proc/540/stat : 540 (java) S 535 540 18930 0 -1 1077944320 6692 0 0 0 9 1 0 0 20 0 15 0 62408468 14311342080 7916 18446744073709551615 4194304 4196468 140729590346192 140729590328736 140609860538103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
/proc/540/statm: 3493980 7916 3375 1 0 3482767 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13975920
[startup+0.302198 s]
/proc/loadavg: 2.01 1.84 1.72 2/198 540
/proc/meminfo: memFree=30549396/32770624 swapFree=0/224064
[pid=540] ppid=535 vsize=13975920 CPUtime=0.26 cores=0,2,4,6
/proc/540/stat : 540 (java) S 535 540 18930 0 -1 1077944320 10344 0 0 0 23 3 0 0 20 0 15 0 62408468 14311342080 10104 18446744073709551615 4194304 4196468 140729590346192 140729590328736 140609860538103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
/proc/540/statm: 3493980 10104 3538 1 0 3482767 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13975920
[startup+0.700276 s]
/proc/loadavg: 2.01 1.84 1.72 2/198 540
/proc/meminfo: memFree=30549396/32770624 swapFree=0/224064
[pid=540] ppid=535 vsize=13977988 CPUtime=1.01 cores=0,2,4,6
/proc/540/stat : 540 (java) S 535 540 18930 0 -1 1077944320 13511 0 0 0 96 5 0 0 20 0 15 0 62408468 14313459712 16751 18446744073709551615 4194304 4196468 140729590346192 140729590328736 140609860538103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
/proc/540/statm: 3494497 16751 3719 1 0 3483279 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 13977988
[startup+1.50061 s]
/proc/loadavg: 2.01 1.85 1.72 5/213 557
/proc/meminfo: memFree=30317904/32770624 swapFree=0/224088
[pid=540] ppid=535 vsize=13980036 CPUtime=3.29 cores=0,2,4,6
/proc/540/stat : 540 (java) S 535 540 18930 0 -1 1077944320 30416 0 0 0 319 10 0 0 20 0 15 0 62408468 14315556864 56222 18446744073709551615 4194304 4196468 140729590346192 140729590328736 140609860538103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
/proc/540/statm: 3495009 56222 3773 1 0 3483791 0
[pid=540/tid=542] ppid=535 vsize=13980036 CPUtime=1.34 cores=0,2,4,6
/proc/540/task/542/stat : 542 (java) R 535 540 18930 0 -1 4202560 13566 0 0 0 128 6 0 0 20 0 15 0 62408475 14315556864 56222 18446744073709551615 4194304 4196468 140729590346192 140609864767984 140609466180218 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=545] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/545/stat : 545 (java) S 535 540 18930 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 62408476 14315556864 56222 18446744073709551615 4194304 4196468 140729590346192 140609794972304 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=546] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/546/stat : 546 (java) S 535 540 18930 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 62408476 14315556864 56222 18446744073709551615 4194304 4196468 140729590346192 140609793919504 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=547] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/547/stat : 547 (java) S 535 540 18930 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 62408476 14315556864 56222 18446744073709551615 4194304 4196468 140729590346192 140609792866704 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=548] ppid=535 vsize=13980036 CPUtime=0.01 cores=0,2,4,6
/proc/540/task/548/stat : 548 (java) S 535 540 18930 0 -1 1077944384 132 0 0 0 1 0 0 0 20 0 15 0 62408476 14315556864 56222 18446744073709551615 4194304 4196468 140729590346192 140609791813904 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=549] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/549/stat : 549 (java) S 535 540 18930 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 62408477 14315556864 56222 18446744073709551615 4194304 4196468 140729590346192 140609338325872 140609860549250 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=550] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/550/stat : 550 (java) S 535 540 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 62408478 14315556864 56222 18446744073709551615 4194304 4196468 140729590346192 140609337271840 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=551] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/551/stat : 551 (java) S 535 540 18930 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 62408478 14315556864 56222 18446744073709551615 4194304 4196468 140729590346192 140609336218992 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=552] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/552/stat : 552 (java) S 535 540 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62408480 14315556864 56222 18446744073709551615 4194304 4196468 140729590346192 140609335167312 140609860556699 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=553] ppid=535 vsize=13980036 CPUtime=0.73 cores=0,2,4,6
/proc/540/task/553/stat : 553 (java) R 535 540 18930 0 -1 4202560 5683 0 0 0 73 0 0 0 20 0 15 0 62408480 14315556864 56222 18446744073709551615 4194304 4196468 140729590346192 140609334095688 140609844499489 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=554] ppid=535 vsize=13980036 CPUtime=0.74 cores=0,2,4,6
/proc/540/task/554/stat : 554 (java) R 535 540 18930 0 -1 4202560 4892 0 0 0 74 0 0 0 20 0 15 0 62408480 14315556864 56222 18446744073709551615 4194304 4196468 140729590346192 140609333047896 140609838555091 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=555] ppid=535 vsize=13980036 CPUtime=0.4 cores=0,2,4,6
/proc/540/task/555/stat : 555 (java) S 535 540 18930 0 -1 1077944384 3713 0 0 0 39 1 0 0 20 0 15 0 62408480 14315556864 56222 18446744073709551615 4194304 4196468 140729590346192 140609332009072 140609860549250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=556] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/556/stat : 556 (java) S 535 540 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62408480 14315556864 56222 18446744073709551615 4194304 4196468 140729590346192 140609330956512 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=557] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/557/stat : 557 (java) S 535 540 18930 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 62408485 14315556864 56222 18446744073709551615 4194304 4196468 140729590346192 140609329904816 140609860549250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 13980036
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 540 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6008 s]
/proc/loadavg: 2.01 1.85 1.72 5/213 557
/proc/meminfo: memFree=30317904/32770624 swapFree=0/224088
[pid=540] ppid=535 vsize=13980036 CPUtime=3.59 cores=0,2,4,6
/proc/540/stat : 540 (java) S 535 540 18930 0 -1 1077944320 31344 0 0 0 349 10 0 0 20 0 15 0 62408468 14315556864 57120 18446744073709551615 4194304 4196468 140729590346192 140729590328736 140609860538103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
/proc/540/statm: 3495009 57120 3773 1 0 3483791 0
[pid=540/tid=542] ppid=535 vsize=13980036 CPUtime=1.44 cores=0,2,4,6
/proc/540/task/542/stat : 542 (java) R 535 540 18930 0 -1 4202560 13572 0 0 0 138 6 0 0 20 0 15 0 62408475 14315556864 57120 18446744073709551615 4194304 4196468 140729590346192 140609864767984 140609461525066 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=545] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/545/stat : 545 (java) S 535 540 18930 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 62408476 14315556864 57120 18446744073709551615 4194304 4196468 140729590346192 140609794972304 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=546] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/546/stat : 546 (java) S 535 540 18930 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 62408476 14315556864 57120 18446744073709551615 4194304 4196468 140729590346192 140609793919504 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=547] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/547/stat : 547 (java) S 535 540 18930 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 62408476 14315556864 57120 18446744073709551615 4194304 4196468 140729590346192 140609792866704 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=548] ppid=535 vsize=13980036 CPUtime=0.01 cores=0,2,4,6
/proc/540/task/548/stat : 548 (java) S 535 540 18930 0 -1 1077944384 132 0 0 0 1 0 0 0 20 0 15 0 62408476 14315556864 57120 18446744073709551615 4194304 4196468 140729590346192 140609791813904 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=549] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/549/stat : 549 (java) S 535 540 18930 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 62408477 14315556864 57120 18446744073709551615 4194304 4196468 140729590346192 140609338325872 140609860549250 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=550] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/550/stat : 550 (java) S 535 540 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 62408478 14315556864 57120 18446744073709551615 4194304 4196468 140729590346192 140609337271840 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=551] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/551/stat : 551 (java) S 535 540 18930 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 62408478 14315556864 57120 18446744073709551615 4194304 4196468 140729590346192 140609336218992 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=552] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/552/stat : 552 (java) S 535 540 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62408480 14315556864 57120 18446744073709551615 4194304 4196468 140729590346192 140609335167312 140609860556699 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=553] ppid=535 vsize=13980036 CPUtime=0.83 cores=0,2,4,6
/proc/540/task/553/stat : 553 (java) R 535 540 18930 0 -1 4202560 6114 0 0 0 83 0 0 0 20 0 15 0 62408480 14315556864 57120 18446744073709551615 4194304 4196468 140729590346192 140609334095688 140609844931239 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=554] ppid=535 vsize=13980036 CPUtime=0.84 cores=0,2,4,6
/proc/540/task/554/stat : 554 (java) R 535 540 18930 0 -1 4202560 5383 0 0 0 84 0 0 0 20 0 15 0 62408480 14315556864 57120 18446744073709551615 4194304 4196468 140729590346192 140609333047896 140609845663498 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=555] ppid=535 vsize=13980036 CPUtime=0.4 cores=0,2,4,6
/proc/540/task/555/stat : 555 (java) S 535 540 18930 0 -1 1077944384 3713 0 0 0 39 1 0 0 20 0 15 0 62408480 14315556864 57120 18446744073709551615 4194304 4196468 140729590346192 140609332009072 140609860549250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=556] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/556/stat : 556 (java) S 535 540 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62408480 14315556864 57120 18446744073709551615 4194304 4196468 140729590346192 140609330956512 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=557] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/557/stat : 557 (java) S 535 540 18930 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 62408485 14315556864 57120 18446744073709551615 4194304 4196468 140729590346192 140609329904816 140609860549250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 13980036
[startup+2.00064 s]
/proc/loadavg: 2.01 1.85 1.72 5/213 557
/proc/meminfo: memFree=30317904/32770624 swapFree=0/224088
[pid=540] ppid=535 vsize=13980036 CPUtime=4.8 cores=0,2,4,6
/proc/540/stat : 540 (java) S 535 540 18930 0 -1 1077944320 32939 0 0 0 469 11 0 0 20 0 15 0 62408468 14315556864 58594 18446744073709551615 4194304 4196468 140729590346192 140729590328736 140609860538103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
/proc/540/statm: 3495009 58594 3773 1 0 3483791 0
[pid=540/tid=542] ppid=535 vsize=13980036 CPUtime=1.84 cores=0,2,4,6
/proc/540/task/542/stat : 542 (java) R 535 540 18930 0 -1 4202560 13591 0 0 0 178 6 0 0 20 0 15 0 62408475 14315556864 58594 18446744073709551615 4194304 4196468 140729590346192 140609864774032 140609461555871 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=545] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/545/stat : 545 (java) S 535 540 18930 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 62408476 14315556864 58594 18446744073709551615 4194304 4196468 140729590346192 140609794972304 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=546] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/546/stat : 546 (java) S 535 540 18930 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 62408476 14315556864 58594 18446744073709551615 4194304 4196468 140729590346192 140609793919504 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=547] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/547/stat : 547 (java) S 535 540 18930 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 62408476 14315556864 58594 18446744073709551615 4194304 4196468 140729590346192 140609792866704 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=548] ppid=535 vsize=13980036 CPUtime=0.01 cores=0,2,4,6
/proc/540/task/548/stat : 548 (java) S 535 540 18930 0 -1 1077944384 132 0 0 0 1 0 0 0 20 0 15 0 62408476 14315556864 58594 18446744073709551615 4194304 4196468 140729590346192 140609791813904 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=549] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/549/stat : 549 (java) S 535 540 18930 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 62408477 14315556864 58594 18446744073709551615 4194304 4196468 140729590346192 140609338325872 140609860549250 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=550] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/550/stat : 550 (java) S 535 540 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 62408478 14315556864 58594 18446744073709551615 4194304 4196468 140729590346192 140609337271840 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=551] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/551/stat : 551 (java) S 535 540 18930 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 62408478 14315556864 58594 18446744073709551615 4194304 4196468 140729590346192 140609336218992 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=552] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/552/stat : 552 (java) S 535 540 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62408480 14315556864 58594 18446744073709551615 4194304 4196468 140729590346192 140609335167312 140609860556699 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=553] ppid=535 vsize=13980036 CPUtime=1.23 cores=0,2,4,6
/proc/540/task/553/stat : 553 (java) R 535 540 18930 0 -1 4202560 7059 0 0 0 123 0 0 0 20 0 15 0 62408480 14315556864 58594 18446744073709551615 4194304 4196468 140729590346192 140609334106128 140609845906302 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=554] ppid=535 vsize=13980036 CPUtime=1.24 cores=0,2,4,6
/proc/540/task/554/stat : 554 (java) R 535 540 18930 0 -1 4202560 6013 0 0 0 124 0 0 0 20 0 15 0 62408480 14315556864 58594 18446744073709551615 4194304 4196468 140729590346192 140609333046552 140609842059503 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=555] ppid=535 vsize=13980036 CPUtime=0.41 cores=0,2,4,6
/proc/540/task/555/stat : 555 (java) S 535 540 18930 0 -1 1077944384 3714 0 0 0 40 1 0 0 20 0 15 0 62408480 14315556864 58594 18446744073709551615 4194304 4196468 140729590346192 140609332009072 140609860549250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=556] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/556/stat : 556 (java) S 535 540 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62408480 14315556864 58594 18446744073709551615 4194304 4196468 140729590346192 140609330956512 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=557] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/557/stat : 557 (java) S 535 540 18930 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 62408485 14315556864 58594 18446744073709551615 4194304 4196468 140729590346192 140609329904816 140609860549250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 13980036
[startup+2.40063 s]
/proc/loadavg: 2.01 1.85 1.72 5/213 557
/proc/meminfo: memFree=30131680/32770624 swapFree=0/224088
[pid=540] ppid=535 vsize=13980036 CPUtime=6 cores=0,2,4,6
/proc/540/stat : 540 (java) S 535 540 18930 0 -1 1077944320 33046 0 0 0 589 11 0 0 20 0 15 0 62408468 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140729590328736 140609860538103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
/proc/540/statm: 3495009 58684 3774 1 0 3483791 0
[pid=540/tid=542] ppid=535 vsize=13980036 CPUtime=2.24 cores=0,2,4,6
/proc/540/task/542/stat : 542 (java) R 535 540 18930 0 -1 4202560 13596 0 0 0 218 6 0 0 20 0 15 0 62408475 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609864776704 140609461555509 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=545] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/545/stat : 545 (java) S 535 540 18930 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 62408476 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609794972304 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=546] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/546/stat : 546 (java) S 535 540 18930 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 62408476 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609793919504 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=547] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/547/stat : 547 (java) S 535 540 18930 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 62408476 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609792866704 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=548] ppid=535 vsize=13980036 CPUtime=0.01 cores=0,2,4,6
/proc/540/task/548/stat : 548 (java) S 535 540 18930 0 -1 1077944384 132 0 0 0 1 0 0 0 20 0 15 0 62408476 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609791813904 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=549] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/549/stat : 549 (java) S 535 540 18930 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 62408477 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609338325872 140609860549250 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=550] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/550/stat : 550 (java) S 535 540 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 62408478 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609337271840 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=551] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/551/stat : 551 (java) S 535 540 18930 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 62408478 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609336218992 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=552] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/552/stat : 552 (java) S 535 540 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62408480 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609335167312 140609860556699 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=553] ppid=535 vsize=13980036 CPUtime=1.63 cores=0,2,4,6
/proc/540/task/553/stat : 553 (java) R 535 540 18930 0 -1 4202560 7088 0 0 0 163 0 0 0 20 0 15 0 62408480 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609334094480 140609839871719 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=554] ppid=535 vsize=13980036 CPUtime=1.64 cores=0,2,4,6
/proc/540/task/554/stat : 554 (java) R 535 540 18930 0 -1 4202560 6086 0 0 0 164 0 0 0 20 0 15 0 62408480 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609333047896 140609845662128 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=555] ppid=535 vsize=13980036 CPUtime=0.41 cores=0,2,4,6
/proc/540/task/555/stat : 555 (java) S 535 540 18930 0 -1 1077944384 3714 0 0 0 40 1 0 0 20 0 15 0 62408480 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609332009072 140609860549250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=556] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/556/stat : 556 (java) S 535 540 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62408480 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609330956512 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=557] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/557/stat : 557 (java) S 535 540 18930 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 62408485 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609329904816 140609860549250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 13980036
[startup+2.50063 s]
/proc/loadavg: 2.01 1.85 1.72 5/213 557
/proc/meminfo: memFree=30131680/32770624 swapFree=0/224088
[pid=540] ppid=535 vsize=13980036 CPUtime=6.31 cores=0,2,4,6
/proc/540/stat : 540 (java) S 535 540 18930 0 -1 1077944320 33059 0 0 0 620 11 0 0 20 0 15 0 62408468 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140729590328736 140609860538103 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 6 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
/proc/540/statm: 3495009 58684 3774 1 0 3483791 0
[pid=540/tid=542] ppid=535 vsize=13980036 CPUtime=2.34 cores=0,2,4,6
/proc/540/task/542/stat : 542 (java) R 535 540 18930 0 -1 4202560 13600 0 0 0 228 6 0 0 20 0 15 0 62408475 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609864776704 140609466701012 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=545] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/545/stat : 545 (java) S 535 540 18930 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 62408476 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609794972304 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=546] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/546/stat : 546 (java) S 535 540 18930 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 62408476 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609793919504 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=547] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/547/stat : 547 (java) S 535 540 18930 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 62408476 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609792866704 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=548] ppid=535 vsize=13980036 CPUtime=0.01 cores=0,2,4,6
/proc/540/task/548/stat : 548 (java) S 535 540 18930 0 -1 1077944384 132 0 0 0 1 0 0 0 20 0 15 0 62408476 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609791813904 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=549] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/549/stat : 549 (java) S 535 540 18930 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 62408477 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609338325872 140609860549250 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=550] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/550/stat : 550 (java) S 535 540 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 62408478 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609337271840 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=551] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/551/stat : 551 (java) S 535 540 18930 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 62408478 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609336218992 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=552] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/552/stat : 552 (java) S 535 540 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62408480 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609335167312 140609860556699 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=553] ppid=535 vsize=13980036 CPUtime=1.73 cores=0,2,4,6
/proc/540/task/553/stat : 553 (java) R 535 540 18930 0 -1 4202560 7091 0 0 0 173 0 0 0 20 0 15 0 62408480 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609334094480 140609840226528 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=554] ppid=535 vsize=13980036 CPUtime=1.74 cores=0,2,4,6
/proc/540/task/554/stat : 554 (java) R 535 540 18930 0 -1 4202560 6090 0 0 0 174 0 0 0 20 0 15 0 62408480 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609333047896 140609839776516 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=555] ppid=535 vsize=13980036 CPUtime=0.41 cores=0,2,4,6
/proc/540/task/555/stat : 555 (java) S 535 540 18930 0 -1 1077944384 3716 0 0 0 40 1 0 0 20 0 15 0 62408480 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609332009072 140609860549250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=556] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/556/stat : 556 (java) S 535 540 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62408480 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609330956512 140609860548309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
[pid=540/tid=557] ppid=535 vsize=13980036 CPUtime=0 cores=0,2,4,6
/proc/540/task/557/stat : 557 (java) S 535 540 18930 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 62408485 14315556864 58684 18446744073709551615 4194304 4196468 140729590346192 140609329904816 140609860549250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33562624 140729590354324 140729590354506 140729590354506 140729590357967 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 13980036
Child status: 0
Real time (s): 2.56169
CPU time (s): 6.4213
CPU user time (s): 6.30043
CPU system time (s): 0.120871
CPU usage (%): 250.666
Max. virtual memory (cumulated for all children) (KiB): 13980036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.30043
system time used= 0.120871
maximum resident set size= 235264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33340
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2330
involuntary context switches= 16
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.023812 second user time and 0.027059 second system time
The end