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-4257576-1501646688/watcher-4257576-1501646688 -o /tmp/evaluation-result-4257576-1501646688/solver-4257576-1501646688 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501642909-6626 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257576-1501646688.xml
pid=9812
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: 1.84 1.84 1.83 3/200 9815
/proc/meminfo: memFree=31619716/32770624 swapFree=0/322096
[pid=9815] ppid=9812 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (runsolver) D 9812 9815 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 12174564 24240128 106 18446744073709551615 4194304 4338465 140723971279072 140723971276712 139738423157463 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 19951616 140723971281056 140723971281478 140723971281478 140723971284938 0
/proc/9815/statm: 5918 106 53 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 1.84 1.84 1.83 3/200 9815
/proc/meminfo: memFree=31619716/32770624 swapFree=0/322096
[pid=9815] ppid=9812 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/9815/stat : 9815 (runsolver) D 9812 9815 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 12174564 24240128 106 18446744073709551615 4194304 4338465 140723971279072 140723971276712 139738423157463 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 19951616 140723971281056 140723971281478 140723971281478 140723971284938 0
/proc/9815/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200293 s]
/proc/loadavg: 1.84 1.84 1.83 3/200 9815
/proc/meminfo: memFree=31619716/32770624 swapFree=0/322096
[pid=9815] ppid=9812 vsize=10484492 CPUtime=0.05 cores=0,2,4,6
/proc/9815/stat : 9815 (java) S 9812 9815 5234 0 -1 1077944320 4787 0 0 0 4 1 0 0 20 0 14 0 12174564 10736119808 5834 18446744073709551615 4194304 4196468 140726724886016 140726724868560 140328884895479 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 12 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
/proc/9815/statm: 2621123 5834 2567 1 0 2610628 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10484492
[startup+0.301773 s]
/proc/loadavg: 1.84 1.84 1.83 3/200 9815
/proc/meminfo: memFree=31619716/32770624 swapFree=0/322096
[pid=9815] ppid=9812 vsize=10551180 CPUtime=0.16 cores=0,2,4,6
/proc/9815/stat : 9815 (java) S 9812 9815 5234 0 -1 1077944320 6115 0 0 0 15 1 0 0 20 0 15 0 12174564 10804408320 7577 18446744073709551615 4194304 4196468 140726724886016 140726724868560 140328884895479 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 12 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
/proc/9815/statm: 2637795 7577 2839 1 0 2627269 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 10551180
[startup+0.70023 s]
/proc/loadavg: 1.84 1.84 1.83 3/200 9815
/proc/meminfo: memFree=31619716/32770624 swapFree=0/322096
[pid=9815] ppid=9812 vsize=10621952 CPUtime=0.97 cores=0,2,4,6
/proc/9815/stat : 9815 (java) S 9812 9815 5234 0 -1 1077944320 12721 0 0 0 92 5 0 0 20 0 16 0 12174564 10876878848 17859 18446744073709551615 4194304 4196468 140726724886016 140726724868560 140328884895479 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 12 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
/proc/9815/statm: 2655488 17859 3061 1 0 2644422 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 10621952
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9815 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.904927 s]
/proc/loadavg: 1.84 1.84 1.83 3/200 9815
/proc/meminfo: memFree=31619716/32770624 swapFree=0/322096
[pid=9815] ppid=9812 vsize=10624000 CPUtime=1.56 cores=0,2,4,6
/proc/9815/stat : 9815 (java) S 9812 9815 5234 0 -1 1077944320 16223 0 0 0 149 7 0 0 20 0 16 0 12174564 10878976000 23908 18446744073709551615 4194304 4196468 140726724886016 140726724868560 140328884895479 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 12 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
/proc/9815/statm: 2656000 23908 3090 1 0 2644934 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 10624000
[startup+1.30697 s]
/proc/loadavg: 1.84 1.84 1.83 5/216 9831
/proc/meminfo: memFree=31528220/32770624 swapFree=0/322124
[pid=9815] ppid=9812 vsize=10624000 CPUtime=2.59 cores=0,2,4,6
/proc/9815/stat : 9815 (java) S 9812 9815 5234 0 -1 1077944320 17761 0 0 0 252 7 0 0 20 0 16 0 12174564 10878976000 26236 18446744073709551615 4194304 4196468 140726724886016 140726724868560 140328884895479 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 12 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
/proc/9815/statm: 2656000 26236 3092 1 0 2644934 0
[pid=9815/tid=9817] ppid=9812 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/9815/task/9817/stat : 9817 (java) S 9812 9815 5234 0 -1 1077944384 6190 0 0 0 19 2 0 0 20 0 16 0 12174577 10878976000 26236 18446744073709551615 4194304 4196468 140726724886016 140328889138352 140328884905685 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9818] ppid=9812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9815/task/9818/stat : 9818 (java) S 9812 9815 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12174578 10878976000 26236 18446744073709551615 4194304 4196468 140726724886016 140328815315216 140328884905685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9819] ppid=9812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9815/task/9819/stat : 9819 (java) S 9812 9815 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12174578 10878976000 26236 18446744073709551615 4194304 4196468 140726724886016 140328814262672 140328884905685 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9820] ppid=9812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9815/task/9820/stat : 9820 (java) S 9812 9815 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12174578 10878976000 26236 18446744073709551615 4194304 4196468 140726724886016 140328813210128 140328884905685 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9821] ppid=9812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9815/task/9821/stat : 9821 (java) S 9812 9815 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 12174578 10878976000 26236 18446744073709551615 4194304 4196468 140726724886016 140328812157584 140328884905685 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9822] ppid=9812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9815/task/9822/stat : 9822 (java) S 9812 9815 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 12174579 10878976000 26236 18446744073709551615 4194304 4196468 140726724886016 140327992113648 140328884906626 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9823] ppid=9812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9815/task/9823/stat : 9823 (java) S 9812 9815 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 12174579 10878976000 26236 18446744073709551615 4194304 4196468 140726724886016 140327922951584 140328884905685 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9824] ppid=9812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9815/task/9824/stat : 9824 (java) S 9812 9815 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 12174580 10878976000 26236 18446744073709551615 4194304 4196468 140726724886016 140327921898992 140328884905685 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9825] ppid=9812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9815/task/9825/stat : 9825 (java) S 9812 9815 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12174582 10878976000 26236 18446744073709551615 4194304 4196468 140726724886016 140327920847568 140328884914075 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9826] ppid=9812 vsize=10624000 CPUtime=0.54 cores=0,2,4,6
/proc/9815/task/9826/stat : 9826 (java) S 9812 9815 5234 0 -1 1077944384 1733 0 0 0 54 0 0 0 20 0 16 0 12174582 10878976000 26236 18446744073709551615 4194304 4196468 140726724886016 140327919794160 140328884906626 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9827] ppid=9812 vsize=10624000 CPUtime=0.56 cores=0,2,4,6
/proc/9815/task/9827/stat : 9827 (java) S 9812 9815 5234 0 -1 1077944384 1883 0 0 0 56 0 0 0 20 0 16 0 12174582 10878976000 26236 18446744073709551615 4194304 4196468 140726724886016 140327918741616 140328884906626 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9828] ppid=9812 vsize=10624000 CPUtime=0.35 cores=0,2,4,6
/proc/9815/task/9828/stat : 9828 (java) S 9812 9815 5234 0 -1 1077944384 1617 0 0 0 35 0 0 0 20 0 16 0 12174582 10878976000 26236 18446744073709551615 4194304 4196468 140726724886016 140327917689072 140328884906626 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9829] ppid=9812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9815/task/9829/stat : 9829 (java) S 9812 9815 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12174582 10878976000 26236 18446744073709551615 4194304 4196468 140726724886016 140327916636768 140328884905685 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9830] ppid=9812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9815/task/9830/stat : 9830 (java) S 9812 9815 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12174588 10878976000 26236 18446744073709551615 4194304 4196468 140726724886016 140327915584304 140328884906626 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9831] ppid=9812 vsize=10624000 CPUtime=0.89 cores=0,2,4,6
/proc/9815/task/9831/stat : 9831 (java) R 9812 9815 5234 0 -1 4202560 4970 0 0 0 87 2 0 0 20 0 16 0 12174604 10878976000 26236 18446744073709551615 4194304 4196468 140726724886016 140327912391080 140328480702378 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 10624000
[startup+1.40076 s]
/proc/loadavg: 1.84 1.84 1.83 5/216 9831
/proc/meminfo: memFree=31528220/32770624 swapFree=0/322124
[pid=9815] ppid=9812 vsize=10624000 CPUtime=2.7 cores=0,2,4,6
/proc/9815/stat : 9815 (java) S 9812 9815 5234 0 -1 1077944320 17764 0 0 0 263 7 0 0 20 0 16 0 12174564 10878976000 26243 18446744073709551615 4194304 4196468 140726724886016 140726724868560 140328884895479 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 12 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
/proc/9815/statm: 2656000 26243 3093 1 0 2644934 0
[pid=9815/tid=9817] ppid=9812 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/9815/task/9817/stat : 9817 (java) S 9812 9815 5234 0 -1 1077944384 6190 0 0 0 19 2 0 0 20 0 16 0 12174577 10878976000 26243 18446744073709551615 4194304 4196468 140726724886016 140328889138352 140328884905685 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9818] ppid=9812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9815/task/9818/stat : 9818 (java) S 9812 9815 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12174578 10878976000 26243 18446744073709551615 4194304 4196468 140726724886016 140328815315216 140328884905685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9819] ppid=9812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9815/task/9819/stat : 9819 (java) S 9812 9815 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12174578 10878976000 26243 18446744073709551615 4194304 4196468 140726724886016 140328814262672 140328884905685 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9820] ppid=9812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9815/task/9820/stat : 9820 (java) S 9812 9815 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12174578 10878976000 26243 18446744073709551615 4194304 4196468 140726724886016 140328813210128 140328884905685 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9821] ppid=9812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9815/task/9821/stat : 9821 (java) S 9812 9815 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 12174578 10878976000 26243 18446744073709551615 4194304 4196468 140726724886016 140328812157584 140328884905685 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9822] ppid=9812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9815/task/9822/stat : 9822 (java) S 9812 9815 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 12174579 10878976000 26243 18446744073709551615 4194304 4196468 140726724886016 140327992113648 140328884906626 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9823] ppid=9812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9815/task/9823/stat : 9823 (java) S 9812 9815 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 12174579 10878976000 26243 18446744073709551615 4194304 4196468 140726724886016 140327922951584 140328884905685 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9824] ppid=9812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9815/task/9824/stat : 9824 (java) S 9812 9815 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 12174580 10878976000 26243 18446744073709551615 4194304 4196468 140726724886016 140327921898992 140328884905685 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9825] ppid=9812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9815/task/9825/stat : 9825 (java) S 9812 9815 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12174582 10878976000 26243 18446744073709551615 4194304 4196468 140726724886016 140327920847568 140328884914075 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9826] ppid=9812 vsize=10624000 CPUtime=0.55 cores=0,2,4,6
/proc/9815/task/9826/stat : 9826 (java) S 9812 9815 5234 0 -1 1077944384 1734 0 0 0 55 0 0 0 20 0 16 0 12174582 10878976000 26243 18446744073709551615 4194304 4196468 140726724886016 140327919794160 140328884906626 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9827] ppid=9812 vsize=10624000 CPUtime=0.56 cores=0,2,4,6
/proc/9815/task/9827/stat : 9827 (java) S 9812 9815 5234 0 -1 1077944384 1885 0 0 0 56 0 0 0 20 0 16 0 12174582 10878976000 26243 18446744073709551615 4194304 4196468 140726724886016 140327918741616 140328884906626 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9828] ppid=9812 vsize=10624000 CPUtime=0.35 cores=0,2,4,6
/proc/9815/task/9828/stat : 9828 (java) S 9812 9815 5234 0 -1 1077944384 1617 0 0 0 35 0 0 0 20 0 16 0 12174582 10878976000 26243 18446744073709551615 4194304 4196468 140726724886016 140327917689072 140328884906626 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9829] ppid=9812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9815/task/9829/stat : 9829 (java) S 9812 9815 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12174582 10878976000 26243 18446744073709551615 4194304 4196468 140726724886016 140327916636768 140328884905685 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9830] ppid=9812 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9815/task/9830/stat : 9830 (java) S 9812 9815 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12174588 10878976000 26243 18446744073709551615 4194304 4196468 140726724886016 140327915584304 140328884906626 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
[pid=9815/tid=9831] ppid=9812 vsize=10624000 CPUtime=0.98 cores=0,2,4,6
/proc/9815/task/9831/stat : 9831 (java) R 9812 9815 5234 0 -1 4202560 4970 0 0 0 96 2 0 0 20 0 16 0 12174604 10878976000 26243 18446744073709551615 4194304 4196468 140726724886016 140327912391080 140328480945953 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22097920 140726724891082 140726724891211 140726724891211 140726724894671 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 1.43393
CPU time (s): 2.74258
CPU user time (s): 2.66405
CPU system time (s): 0.078534
CPU usage (%): 191.263
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.66405
system time used= 0.078534
maximum resident set size= 105372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18461
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= 2035
involuntary context switches= 10
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.011361 second user time and 0.008262 second system time
The end