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-4256493-1501638686/watcher-4256493-1501638686 -o /tmp/evaluation-result-4256493-1501638686/solver-4256493-1501638686 -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 2128177211 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256493-1501638686.xml
pid=10766
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 2.03 1.86 3/200 10769
/proc/meminfo: memFree=31617756/32770624 swapFree=0/240132
[pid=10769] ppid=10766 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/10769/stat : 10769 (runsolver) D 10766 10769 18930 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 63522068 24240128 107 18446744073709551615 4194304 4338465 140733032985104 140733032982744 139872922759895 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 16547840 140733032992873 140733032993349 140733032993349 140733032996810 0
/proc/10769/statm: 5918 107 54 36 0 2156 0
[startup+0.105054 s]
/proc/loadavg: 1.84 2.03 1.86 3/200 10769
/proc/meminfo: memFree=31617756/32770624 swapFree=0/240132
[pid=10769] ppid=10766 vsize=13373972 CPUtime=0.01 cores=0,2,4,6
/proc/10769/stat : 10769 (java) S 10766 10769 18930 0 -1 1077944320 3655 0 0 0 1 0 0 0 20 0 6 0 63522068 13694947328 3791 18446744073709551615 4194304 4196468 140737460768688 140737460751232 140567708155639 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
/proc/10769/statm: 3343493 3791 1924 1 0 3332998 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13373972
[startup+0.200313 s]
/proc/loadavg: 1.84 2.03 1.86 3/200 10769
/proc/meminfo: memFree=31617756/32770624 swapFree=0/240132
[pid=10769] ppid=10766 vsize=13906484 CPUtime=0.05 cores=0,2,4,6
/proc/10769/stat : 10769 (java) S 10766 10769 18930 0 -1 1077944320 4994 0 0 0 4 1 0 0 20 0 14 0 63522068 14240239616 5535 18446744073709551615 4194304 4196468 140737460768688 140737460751232 140567708155639 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
/proc/10769/statm: 3476621 5535 2566 1 0 3466126 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484
[startup+0.300355 s]
/proc/loadavg: 1.84 2.03 1.86 3/200 10769
/proc/meminfo: memFree=31617756/32770624 swapFree=0/240132
[pid=10769] ppid=10766 vsize=13976944 CPUtime=0.12 cores=0,2,4,6
/proc/10769/stat : 10769 (java) S 10766 10769 18930 0 -1 1077944320 9441 0 0 0 10 2 0 0 20 0 15 0 63522068 14312390656 8691 18446744073709551615 4194304 4196468 140737460768688 140737460751232 140567708155639 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
/proc/10769/statm: 3494236 8691 3375 1 0 3483023 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13976944
[startup+0.700258 s]
/proc/loadavg: 1.84 2.03 1.86 3/200 10769
/proc/meminfo: memFree=31617756/32770624 swapFree=0/240132
[pid=10769] ppid=10766 vsize=13977988 CPUtime=0.84 cores=0,2,4,6
/proc/10769/stat : 10769 (java) S 10766 10769 18930 0 -1 1077944320 13561 0 0 0 80 4 0 0 20 0 15 0 63522068 14313459712 15799 18446744073709551615 4194304 4196468 140737460768688 140737460751232 140567708155639 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
/proc/10769/statm: 3494497 15799 3700 1 0 3483279 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 13977988
[startup+1.50106 s]
/proc/loadavg: 1.84 2.03 1.86 4/215 10784
/proc/meminfo: memFree=31519644/32770624 swapFree=0/239960
[pid=10769] ppid=10766 vsize=13982084 CPUtime=3.17 cores=0,2,4,6
/proc/10769/stat : 10769 (java) S 10766 10769 18930 0 -1 1077944320 26528 0 0 0 308 9 0 0 20 0 15 0 63522068 14317654016 43951 18446744073709551615 4194304 4196468 140737460768688 140737460751232 140567708155639 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
/proc/10769/statm: 3495521 43951 3747 1 0 3484303 0
[pid=10769/tid=10771] ppid=10766 vsize=13982084 CPUtime=1.29 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (java) R 10766 10769 18930 0 -1 4202560 14076 0 0 0 123 6 0 0 20 0 15 0 63522077 14317654016 43951 18446744073709551615 4194304 4196468 140737460768688 140567712394176 140567322016254 0 4 1 16800974 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10772] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (java) S 10766 10769 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63522077 14317654016 43951 18446744073709551615 4194304 4196468 140737460768688 140567642590224 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10773] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10773/stat : 10773 (java) S 10766 10769 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63522077 14317654016 43951 18446744073709551615 4194304 4196468 140737460768688 140567641537680 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10774] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10774/stat : 10774 (java) S 10766 10769 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63522077 14317654016 43951 18446744073709551615 4194304 4196468 140737460768688 140567640484624 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10775] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10775/stat : 10775 (java) S 10766 10769 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63522077 14317654016 43951 18446744073709551615 4194304 4196468 140737460768688 140567639432080 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10776] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10776/stat : 10776 (java) S 10766 10769 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 63522079 14317654016 43951 18446744073709551615 4194304 4196468 140737460768688 140567186622704 140567708166786 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10777] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10777/stat : 10777 (java) S 10766 10769 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63522079 14317654016 43951 18446744073709551615 4194304 4196468 140737460768688 140567185568928 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10778] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10778/stat : 10778 (java) S 10766 10769 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63522079 14317654016 43951 18446744073709551615 4194304 4196468 140737460768688 140567184515824 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10779] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10779/stat : 10779 (java) S 10766 10769 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63522082 14317654016 43951 18446744073709551615 4194304 4196468 140737460768688 140567183464400 140567708174235 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10780] ppid=10766 vsize=13982084 CPUtime=0.69 cores=0,2,4,6
/proc/10769/task/10780/stat : 10780 (java) R 10766 10769 18930 0 -1 4202560 3800 0 0 0 69 0 0 0 20 0 15 0 63522082 14317654016 43951 18446744073709551615 4194304 4196468 140737460768688 140567182397992 140567691654787 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10781] ppid=10766 vsize=13982084 CPUtime=0.67 cores=0,2,4,6
/proc/10769/task/10781/stat : 10781 (java) R 10766 10769 18930 0 -1 4202560 4237 0 0 0 67 0 0 0 20 0 15 0 63522082 14317654016 43951 18446744073709551615 4194304 4196468 140737460768688 140567181346008 140567685750656 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10782] ppid=10766 vsize=13982084 CPUtime=0.48 cores=0,2,4,6
/proc/10769/task/10782/stat : 10782 (java) S 10766 10769 18930 0 -1 1077944384 3032 0 0 0 48 0 0 0 20 0 15 0 63522082 14317654016 43951 18446744073709551615 4194304 4196468 140737460768688 140567180306928 140567708166786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10783] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10783/stat : 10783 (java) S 10766 10769 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63522082 14317654016 43951 18446744073709551615 4194304 4196468 140737460768688 140567179254624 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10784] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10784/stat : 10784 (java) S 10766 10769 18930 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 63522093 14317654016 43951 18446744073709551615 4194304 4196468 140737460768688 140567178201648 140567708166786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 13982084
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10769 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60074 s]
/proc/loadavg: 1.84 2.03 1.86 4/215 10784
/proc/meminfo: memFree=31519644/32770624 swapFree=0/239960
[pid=10769] ppid=10766 vsize=13982084 CPUtime=3.46 cores=0,2,4,6
/proc/10769/stat : 10769 (java) S 10766 10769 18930 0 -1 1077944320 27154 0 0 0 337 9 0 0 20 0 15 0 63522068 14317654016 47135 18446744073709551615 4194304 4196468 140737460768688 140737460751232 140567708155639 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
/proc/10769/statm: 3495521 47135 3747 1 0 3484303 0
[pid=10769/tid=10771] ppid=10766 vsize=13982084 CPUtime=1.38 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (java) R 10766 10769 18930 0 -1 4202560 14087 0 0 0 132 6 0 0 20 0 15 0 63522077 14317654016 47135 18446744073709551615 4194304 4196468 140737460768688 140567712394176 140567322182136 0 4 1 16800974 0 0 0 -1 2 0 0 11 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10772] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (java) S 10766 10769 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63522077 14317654016 47135 18446744073709551615 4194304 4196468 140737460768688 140567642590224 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10773] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10773/stat : 10773 (java) S 10766 10769 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63522077 14317654016 47135 18446744073709551615 4194304 4196468 140737460768688 140567641537680 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10774] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10774/stat : 10774 (java) S 10766 10769 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 63522077 14317654016 47135 18446744073709551615 4194304 4196468 140737460768688 140567640484624 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10775] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10775/stat : 10775 (java) S 10766 10769 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 63522077 14317654016 47135 18446744073709551615 4194304 4196468 140737460768688 140567639432080 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10776] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10776/stat : 10776 (java) S 10766 10769 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 63522079 14317654016 47135 18446744073709551615 4194304 4196468 140737460768688 140567186622704 140567708166786 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10777] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10777/stat : 10777 (java) S 10766 10769 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 63522079 14317654016 47135 18446744073709551615 4194304 4196468 140737460768688 140567185568928 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10778] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10778/stat : 10778 (java) S 10766 10769 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63522079 14317654016 47135 18446744073709551615 4194304 4196468 140737460768688 140567184515824 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10779] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10779/stat : 10779 (java) S 10766 10769 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63522082 14317654016 47135 18446744073709551615 4194304 4196468 140737460768688 140567183464400 140567708174235 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10780] ppid=10766 vsize=13982084 CPUtime=0.79 cores=0,2,4,6
/proc/10769/task/10780/stat : 10780 (java) R 10766 10769 18930 0 -1 4202560 4169 0 0 0 79 0 0 0 20 0 15 0 63522082 14317654016 47135 18446744073709551615 4194304 4196468 140737460768688 140567182397992 140567692263725 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10781] ppid=10766 vsize=13982084 CPUtime=0.78 cores=0,2,4,6
/proc/10769/task/10781/stat : 10781 (java) R 10766 10769 18930 0 -1 4202560 4495 0 0 0 77 1 0 0 20 0 15 0 63522082 14317654016 47135 18446744073709551615 4194304 4196468 140737460768688 140567181346008 140567686557656 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10782] ppid=10766 vsize=13982084 CPUtime=0.48 cores=0,2,4,6
/proc/10769/task/10782/stat : 10782 (java) S 10766 10769 18930 0 -1 1077944384 3032 0 0 0 48 0 0 0 20 0 15 0 63522082 14317654016 47135 18446744073709551615 4194304 4196468 140737460768688 140567180306928 140567708166786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10783] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10783/stat : 10783 (java) S 10766 10769 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63522082 14317654016 47135 18446744073709551615 4194304 4196468 140737460768688 140567179254624 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10784] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10784/stat : 10784 (java) S 10766 10769 18930 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 63522093 14317654016 47135 18446744073709551615 4194304 4196468 140737460768688 140567178201648 140567708166786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 13982084
[startup+2.00088 s]
/proc/loadavg: 1.84 2.03 1.86 4/215 10784
/proc/meminfo: memFree=31519644/32770624 swapFree=0/239960
[pid=10769] ppid=10766 vsize=13982084 CPUtime=4.59 cores=0,2,4,6
/proc/10769/stat : 10769 (java) S 10766 10769 18930 0 -1 1077944320 29699 0 0 0 446 13 0 0 20 0 15 0 63522068 14317654016 55078 18446744073709551615 4194304 4196468 140737460768688 140737460751232 140567708155639 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
/proc/10769/statm: 3495521 55078 3769 1 0 3484303 0
[pid=10769/tid=10771] ppid=10766 vsize=13982084 CPUtime=1.77 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (java) R 10766 10769 18930 0 -1 4202560 14144 0 0 0 169 8 0 0 20 0 15 0 63522077 14317654016 55078 18446744073709551615 4194304 4196468 140737460768688 140567712391648 140567322552243 0 4 1 16800974 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10772] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (java) S 10766 10769 18930 0 -1 1077944384 478 0 0 0 0 0 0 0 20 0 15 0 63522077 14317654016 55078 18446744073709551615 4194304 4196468 140737460768688 140567642590224 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10773] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10773/stat : 10773 (java) S 10766 10769 18930 0 -1 1077944384 445 0 0 0 0 0 0 0 20 0 15 0 63522077 14317654016 55078 18446744073709551615 4194304 4196468 140737460768688 140567641537680 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10774] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10774/stat : 10774 (java) S 10766 10769 18930 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 63522077 14317654016 55078 18446744073709551615 4194304 4196468 140737460768688 140567640484624 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10775] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10775/stat : 10775 (java) S 10766 10769 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63522077 14317654016 55078 18446744073709551615 4194304 4196468 140737460768688 140567639432080 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10776] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10776/stat : 10776 (java) S 10766 10769 18930 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 15 0 63522079 14317654016 55078 18446744073709551615 4194304 4196468 140737460768688 140567186622704 140567708166786 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10777] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10777/stat : 10777 (java) S 10766 10769 18930 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 63522079 14317654016 55078 18446744073709551615 4194304 4196468 140737460768688 140567185568928 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10778] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10778/stat : 10778 (java) S 10766 10769 18930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 63522079 14317654016 55078 18446744073709551615 4194304 4196468 140737460768688 140567184515840 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10779] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10779/stat : 10779 (java) S 10766 10769 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63522082 14317654016 55078 18446744073709551615 4194304 4196468 140737460768688 140567183464400 140567708174235 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10780] ppid=10766 vsize=13982084 CPUtime=1.13 cores=0,2,4,6
/proc/10769/task/10780/stat : 10780 (java) S 10766 10769 18930 0 -1 1077944384 4302 0 0 0 113 0 0 0 20 0 15 0 63522082 14317654016 55078 18446744073709551615 4194304 4196468 140737460768688 140567182412528 140567708166786 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10781] ppid=10766 vsize=13982084 CPUtime=1.11 cores=0,2,4,6
/proc/10769/task/10781/stat : 10781 (java) S 10766 10769 18930 0 -1 1077944384 4664 0 0 0 109 2 0 0 20 0 15 0 63522082 14317654016 55078 18446744073709551615 4194304 4196468 140737460768688 140567181359984 140567708166786 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10782] ppid=10766 vsize=13982084 CPUtime=0.49 cores=0,2,4,6
/proc/10769/task/10782/stat : 10782 (java) S 10766 10769 18930 0 -1 1077944384 3951 0 0 0 49 0 0 0 20 0 15 0 63522082 14317654016 55078 18446744073709551615 4194304 4196468 140737460768688 140567180306928 140567708166786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10783] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10783/stat : 10783 (java) S 10766 10769 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63522082 14317654016 55078 18446744073709551615 4194304 4196468 140737460768688 140567179254624 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10784] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10784/stat : 10784 (java) S 10766 10769 18930 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 63522093 14317654016 55078 18446744073709551615 4194304 4196468 140737460768688 140567178201648 140567708166786 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 13982084
[startup+2.10105 s]
/proc/loadavg: 1.84 2.03 1.86 4/215 10784
/proc/meminfo: memFree=31519644/32770624 swapFree=0/239960
[pid=10769] ppid=10766 vsize=13982084 CPUtime=4.76 cores=0,2,4,6
/proc/10769/stat : 10769 (java) S 10766 10769 18930 0 -1 1077944320 29750 0 0 0 463 13 0 0 20 0 15 0 63522068 14317654016 55604 18446744073709551615 4194304 4196468 140737460768688 140737460751232 140567708155639 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
/proc/10769/statm: 3495521 55604 3769 1 0 3484303 0
[pid=10769/tid=10771] ppid=10766 vsize=13982084 CPUtime=1.87 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (java) R 10766 10769 18930 0 -1 4202560 14155 0 0 0 179 8 0 0 20 0 15 0 63522077 14317654016 55604 18446744073709551615 4194304 4196468 140737460768688 140567712391656 140567322975168 0 4 1 16800974 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10772] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (java) S 10766 10769 18930 0 -1 1077944384 478 0 0 0 0 0 0 0 20 0 15 0 63522077 14317654016 55604 18446744073709551615 4194304 4196468 140737460768688 140567642590224 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10773] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10773/stat : 10773 (java) S 10766 10769 18930 0 -1 1077944384 445 0 0 0 0 0 0 0 20 0 15 0 63522077 14317654016 55604 18446744073709551615 4194304 4196468 140737460768688 140567641537680 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10774] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10774/stat : 10774 (java) S 10766 10769 18930 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 63522077 14317654016 55604 18446744073709551615 4194304 4196468 140737460768688 140567640484624 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10775] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10775/stat : 10775 (java) S 10766 10769 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 63522077 14317654016 55604 18446744073709551615 4194304 4196468 140737460768688 140567639432080 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10776] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10776/stat : 10776 (java) S 10766 10769 18930 0 -1 1077944384 218 0 0 0 0 0 0 0 20 0 15 0 63522079 14317654016 55604 18446744073709551615 4194304 4196468 140737460768688 140567186622704 140567708166786 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10777] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10777/stat : 10777 (java) S 10766 10769 18930 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 63522079 14317654016 55604 18446744073709551615 4194304 4196468 140737460768688 140567185568928 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10778] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10778/stat : 10778 (java) S 10766 10769 18930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 63522079 14317654016 55604 18446744073709551615 4194304 4196468 140737460768688 140567184515840 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10779] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10779/stat : 10779 (java) S 10766 10769 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63522082 14317654016 55604 18446744073709551615 4194304 4196468 140737460768688 140567183464400 140567708174235 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10780] ppid=10766 vsize=13982084 CPUtime=1.17 cores=0,2,4,6
/proc/10769/task/10780/stat : 10780 (java) S 10766 10769 18930 0 -1 1077944384 4322 0 0 0 117 0 0 0 20 0 15 0 63522082 14317654016 55604 18446744073709551615 4194304 4196468 140737460768688 140567182412528 140567708166786 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10781] ppid=10766 vsize=13982084 CPUtime=1.15 cores=0,2,4,6
/proc/10769/task/10781/stat : 10781 (java) S 10766 10769 18930 0 -1 1077944384 4677 0 0 0 113 2 0 0 20 0 15 0 63522082 14317654016 55604 18446744073709551615 4194304 4196468 140737460768688 140567181359984 140567708166786 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10782] ppid=10766 vsize=13982084 CPUtime=0.5 cores=0,2,4,6
/proc/10769/task/10782/stat : 10782 (java) S 10766 10769 18930 0 -1 1077944384 3958 0 0 0 50 0 0 0 20 0 15 0 63522082 14317654016 55604 18446744073709551615 4194304 4196468 140737460768688 140567180306928 140567708166786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10783] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10783/stat : 10783 (java) S 10766 10769 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 63522082 14317654016 55604 18446744073709551615 4194304 4196468 140737460768688 140567179254624 140567708165845 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
[pid=10769/tid=10784] ppid=10766 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10784/stat : 10784 (java) S 10766 10769 18930 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 63522093 14317654016 55604 18446744073709551615 4194304 4196468 140737460768688 140567178201648 140567708166786 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25645056 140737460773268 140737460773450 140737460773450 140737460776911 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 13982084
Child status: 0
Real time (s): 2.19782
CPU time (s): 4.87044
CPU user time (s): 4.73231
CPU system time (s): 0.138139
CPU usage (%): 221.603
Max. virtual memory (cumulated for all children) (KiB): 13982084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.73231
system time used= 0.138139
maximum resident set size= 222840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30000
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= 2520
involuntary context switches= 23
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.014868 second user time and 0.0183 second system time
The end