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-4257986-1501647640/watcher-4257986-1501647640 -o /tmp/evaluation-result-4257986-1501647640/solver-4257986-1501647640 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501638806-11703 --watchdog 300 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257986-1501647640.xml
pid=21854
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: 3.01 3.01 2.97 5/197 21857
/proc/meminfo: memFree=23567052/32770624 swapFree=0/257904
[pid=21857] ppid=21854 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/21857/stat : 21857 (runsolver) D 21854 21857 18930 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 64417532 24240128 108 18446744073709551615 4194304 4338465 140725114871648 140725114869288 140252260135639 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 11501568 140725114880134 140725114880581 140725114880581 140725114884042 0
/proc/21857/statm: 5918 108 54 36 0 2156 0
[startup+0.100107 s]
/proc/loadavg: 3.01 3.01 2.97 5/197 21857
/proc/meminfo: memFree=23567052/32770624 swapFree=0/257904
[pid=21857] ppid=21854 vsize=356952 CPUtime=0 cores=0,2,4,6
/proc/21857/stat : 21857 (java) S 21854 21857 18930 0 -1 1077944320 1758 0 0 0 0 0 0 0 20 0 2 0 64417532 365518848 1955 18446744073709551615 4194304 4196468 140730872030528 140730872013072 140157197283063 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
/proc/21857/statm: 89238 1955 1094 1 0 79216 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 356952
[startup+0.200316 s]
/proc/loadavg: 3.01 3.01 2.97 5/197 21857
/proc/meminfo: memFree=23567052/32770624 swapFree=0/257904
[pid=21857] ppid=21854 vsize=10551156 CPUtime=0.06 cores=0,2,4,6
/proc/21857/stat : 21857 (java) S 21854 21857 18930 0 -1 1077944320 4948 0 0 0 5 1 0 0 20 0 15 0 64417532 10804383744 5964 18446744073709551615 4194304 4196468 140730872030528 140730872013072 140157197283063 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
/proc/21857/statm: 2637789 5964 2601 1 0 2627269 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10551156
[startup+0.300501 s]
/proc/loadavg: 3.01 3.01 2.97 5/197 21857
/proc/meminfo: memFree=23567052/32770624 swapFree=0/257904
[pid=21857] ppid=21854 vsize=10551156 CPUtime=0.22 cores=0,2,4,6
/proc/21857/stat : 21857 (java) S 21854 21857 18930 0 -1 1077944320 8217 0 0 0 19 3 0 0 20 0 15 0 64417532 10804383744 8919 18446744073709551615 4194304 4196468 140730872030528 140730872013072 140157197283063 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
/proc/21857/statm: 2637789 8919 2842 1 0 2627269 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 10551156
[startup+0.700505 s]
/proc/loadavg: 3.01 3.01 2.97 5/197 21857
/proc/meminfo: memFree=23567052/32770624 swapFree=0/257904
[pid=21857] ppid=21854 vsize=10551232 CPUtime=1.25 cores=0,2,4,6
/proc/21857/stat : 21857 (java) S 21854 21857 18930 0 -1 1077944320 12408 0 0 0 119 6 0 0 20 0 15 0 64417532 10804461568 35018 18446744073709551615 4194304 4196468 140730872030528 140730872013072 140157197283063 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
/proc/21857/statm: 2637808 35018 3042 1 0 2627269 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 10551232
[startup+1.50946 s]
/proc/loadavg: 3.01 3.01 2.97 8/212 21872
/proc/meminfo: memFree=23254736/32770624 swapFree=0/257928
[pid=21857] ppid=21854 vsize=10551232 CPUtime=3 cores=0,2,4,6
/proc/21857/stat : 21857 (java) S 21854 21857 18930 0 -1 1077944320 13327 0 0 0 265 35 0 0 20 0 15 0 64417532 10804461568 124095 18446744073709551615 4194304 4196468 140730872030528 140730872013072 140157197283063 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
/proc/21857/statm: 2637808 124095 3073 1 0 2627269 0
[pid=21857/tid=21859] ppid=21854 vsize=10551232 CPUtime=1.11 cores=0,2,4,6
/proc/21857/task/21859/stat : 21859 (java) S 21854 21857 18930 0 -1 1077944384 7540 0 0 0 105 6 0 0 20 0 15 0 64417541 10804461568 124095 18446744073709551615 4194304 4196468 140730872030528 140157201516736 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21860] ppid=21854 vsize=10551232 CPUtime=0.23 cores=0,2,4,6
/proc/21857/task/21860/stat : 21860 (java) R 21854 21857 18930 0 -1 4202560 169 0 0 0 17 6 0 0 20 0 15 0 64417542 10804461568 124095 18446744073709551615 4194304 4196468 140730872030528 140157138320288 140157182307113 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21861] ppid=21854 vsize=10551232 CPUtime=0.22 cores=0,2,4,6
/proc/21857/task/21861/stat : 21861 (java) R 21854 21857 18930 0 -1 4202560 165 0 0 0 16 6 0 0 20 0 15 0 64417542 10804461568 124095 18446744073709551615 4194304 4196468 140730872030528 140157137268056 140157182308366 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21862] ppid=21854 vsize=10551232 CPUtime=0.24 cores=0,2,4,6
/proc/21857/task/21862/stat : 21862 (java) R 21854 21857 18930 0 -1 4202560 195 0 0 0 17 7 0 0 20 0 15 0 64417542 10804461568 124095 18446744073709551615 4194304 4196468 140730872030528 140157136214800 140157182311123 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21863] ppid=21854 vsize=10551232 CPUtime=0.23 cores=0,2,4,6
/proc/21857/task/21863/stat : 21863 (java) R 21854 21857 18930 0 -1 4202560 175 0 0 0 17 6 0 0 20 0 15 0 64417542 10804461568 124095 18446744073709551615 4194304 4196468 140730872030528 140157135162456 140157182310813 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21864] ppid=21854 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21864/stat : 21864 (java) S 21854 21857 18930 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 64417544 10804461568 124095 18446744073709551615 4194304 4196468 140730872030528 140156693398304 140157197293269 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21865] ppid=21854 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21865/stat : 21865 (java) S 21854 21857 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 64417544 10804461568 124095 18446744073709551615 4194304 4196468 140730872030528 140156692346016 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21866] ppid=21854 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21866/stat : 21866 (java) S 21854 21857 18930 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 64417544 10804461568 124095 18446744073709551615 4194304 4196468 140730872030528 140156691292912 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21867] ppid=21854 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21867/stat : 21867 (java) S 21854 21857 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64417547 10804461568 124095 18446744073709551615 4194304 4196468 140730872030528 140156690241488 140157197301659 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21868] ppid=21854 vsize=10551232 CPUtime=0.39 cores=0,2,4,6
/proc/21857/task/21868/stat : 21868 (java) S 21854 21857 18930 0 -1 1077944384 1587 0 0 0 39 0 0 0 20 0 15 0 64417547 10804461568 124095 18446744073709551615 4194304 4196468 140730872030528 140156689189616 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21869] ppid=21854 vsize=10551232 CPUtime=0.36 cores=0,2,4,6
/proc/21857/task/21869/stat : 21869 (java) S 21854 21857 18930 0 -1 1077944384 1216 0 0 0 36 0 0 0 20 0 15 0 64417547 10804461568 124095 18446744073709551615 4194304 4196468 140730872030528 140156688137072 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21870] ppid=21854 vsize=10551232 CPUtime=0.15 cores=0,2,4,6
/proc/21857/task/21870/stat : 21870 (java) S 21854 21857 18930 0 -1 1077944384 839 0 0 0 15 0 0 0 20 0 15 0 64417547 10804461568 124095 18446744073709551615 4194304 4196468 140730872030528 140156687084016 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21871] ppid=21854 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21871/stat : 21871 (java) S 21854 21857 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64417547 10804461568 124095 18446744073709551615 4194304 4196468 140730872030528 140156686031712 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21872] ppid=21854 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21872/stat : 21872 (java) S 21854 21857 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64417551 10804461568 124095 18446744073709551615 4194304 4196468 140730872030528 140156684978736 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 10551232
[startup+3.10063 s]
/proc/loadavg: 3.01 3.01 2.97 9/212 21872
/proc/meminfo: memFree=22912972/32770624 swapFree=0/257928
[pid=21857] ppid=21854 vsize=10551232 CPUtime=7.22 cores=0,2,4,6
/proc/21857/stat : 21857 (java) S 21854 21857 18930 0 -1 1077944320 15281 0 0 0 670 52 0 0 20 0 15 0 64417532 10804461568 167251 18446744073709551615 4194304 4196468 140730872030528 140730872013072 140157197283063 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
/proc/21857/statm: 2637808 167251 3087 1 0 2627269 0
[pid=21857/tid=21859] ppid=21854 vsize=10551232 CPUtime=1.41 cores=0,2,4,6
/proc/21857/task/21859/stat : 21859 (java) R 21854 21857 18930 0 -1 4202560 7653 0 0 0 135 6 0 0 20 0 15 0 64417541 10804461568 167251 18446744073709551615 4194304 4196468 140730872030528 140157201516624 140156814608826 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21860] ppid=21854 vsize=10551232 CPUtime=1.1 cores=0,2,4,6
/proc/21857/task/21860/stat : 21860 (java) S 21854 21857 18930 0 -1 1077944384 563 0 0 0 100 10 0 0 20 0 15 0 64417542 10804461568 167251 18446744073709551615 4194304 4196468 140730872030528 140157138320400 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21861] ppid=21854 vsize=10551232 CPUtime=1.11 cores=0,2,4,6
/proc/21857/task/21861/stat : 21861 (java) S 21854 21857 18930 0 -1 1077944384 678 0 0 0 100 11 0 0 20 0 15 0 64417542 10804461568 167251 18446744073709551615 4194304 4196468 140730872030528 140157137267856 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21862] ppid=21854 vsize=10551232 CPUtime=1.1 cores=0,2,4,6
/proc/21857/task/21862/stat : 21862 (java) S 21854 21857 18930 0 -1 1077944384 288 0 0 0 99 11 0 0 20 0 15 0 64417542 10804461568 167251 18446744073709551615 4194304 4196468 140730872030528 140157136214800 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21863] ppid=21854 vsize=10551232 CPUtime=1.12 cores=0,2,4,6
/proc/21857/task/21863/stat : 21863 (java) S 21854 21857 18930 0 -1 1077944384 508 0 0 0 102 10 0 0 20 0 15 0 64417542 10804461568 167251 18446744073709551615 4194304 4196468 140730872030528 140157135162256 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21864] ppid=21854 vsize=10551232 CPUtime=0.4 cores=0,2,4,6
/proc/21857/task/21864/stat : 21864 (java) S 21854 21857 18930 0 -1 1077944384 589 0 0 0 40 0 0 0 20 0 15 0 64417544 10804461568 167251 18446744073709551615 4194304 4196468 140730872030528 140156693399792 140157197294210 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21865] ppid=21854 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21865/stat : 21865 (java) S 21854 21857 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 64417544 10804461568 167251 18446744073709551615 4194304 4196468 140730872030528 140156692346016 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21866] ppid=21854 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21866/stat : 21866 (java) S 21854 21857 18930 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 64417544 10804461568 167251 18446744073709551615 4194304 4196468 140730872030528 140156691292912 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21867] ppid=21854 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21867/stat : 21867 (java) S 21854 21857 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64417547 10804461568 167251 18446744073709551615 4194304 4196468 140730872030528 140156690241488 140157197301659 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21868] ppid=21854 vsize=10551232 CPUtime=0.39 cores=0,2,4,6
/proc/21857/task/21868/stat : 21868 (java) S 21854 21857 18930 0 -1 1077944384 1587 0 0 0 39 0 0 0 20 0 15 0 64417547 10804461568 167251 18446744073709551615 4194304 4196468 140730872030528 140156689189616 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21869] ppid=21854 vsize=10551232 CPUtime=0.36 cores=0,2,4,6
/proc/21857/task/21869/stat : 21869 (java) S 21854 21857 18930 0 -1 1077944384 1216 0 0 0 36 0 0 0 20 0 15 0 64417547 10804461568 167251 18446744073709551615 4194304 4196468 140730872030528 140156688137072 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21870] ppid=21854 vsize=10551232 CPUtime=0.15 cores=0,2,4,6
/proc/21857/task/21870/stat : 21870 (java) S 21854 21857 18930 0 -1 1077944384 841 0 0 0 15 0 0 0 20 0 15 0 64417547 10804461568 167251 18446744073709551615 4194304 4196468 140730872030528 140156687084016 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21871] ppid=21854 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21871/stat : 21871 (java) S 21854 21857 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64417547 10804461568 167251 18446744073709551615 4194304 4196468 140730872030528 140156686031712 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21872] ppid=21854 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21872/stat : 21872 (java) S 21854 21857 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64417551 10804461568 167251 18446744073709551615 4194304 4196468 140730872030528 140156684978736 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
Current children cumulated CPU time (s) 7.22
Current children cumulated vsize (KiB) 10551232
[startup+6.30058 s]
/proc/loadavg: 3.16 3.04 2.98 6/212 21872
/proc/meminfo: memFree=22380960/32770624 swapFree=0/257936
[pid=21857] ppid=21854 vsize=10551232 CPUtime=16.33 cores=0,2,4,6
/proc/21857/stat : 21857 (java) S 21854 21857 18930 0 -1 1077944320 26896 0 0 0 1527 106 0 0 20 0 15 0 64417532 10804461568 299438 18446744073709551615 4194304 4196468 140730872030528 140730872013072 140157197283063 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
/proc/21857/statm: 2637808 299438 3097 1 0 2627269 0
[pid=21857/tid=21859] ppid=21854 vsize=10551232 CPUtime=2.04 cores=0,2,4,6
/proc/21857/task/21859/stat : 21859 (java) S 21854 21857 18930 0 -1 1077944384 8299 0 0 0 196 8 0 0 20 0 15 0 64417541 10804461568 299438 18446744073709551615 4194304 4196468 140730872030528 140157201518496 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21860] ppid=21854 vsize=10551232 CPUtime=2.94 cores=0,2,4,6
/proc/21857/task/21860/stat : 21860 (java) S 21854 21857 18930 0 -1 1077944384 2216 0 0 0 271 23 0 0 20 0 15 0 64417542 10804461568 299438 18446744073709551615 4194304 4196468 140730872030528 140157138320400 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21861] ppid=21854 vsize=10551232 CPUtime=2.97 cores=0,2,4,6
/proc/21857/task/21861/stat : 21861 (java) S 21854 21857 18930 0 -1 1077944384 1513 0 0 0 273 24 0 0 20 0 15 0 64417542 10804461568 299438 18446744073709551615 4194304 4196468 140730872030528 140157137267856 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21862] ppid=21854 vsize=10551232 CPUtime=2.97 cores=0,2,4,6
/proc/21857/task/21862/stat : 21862 (java) S 21854 21857 18930 0 -1 1077944384 2499 0 0 0 273 24 0 0 20 0 15 0 64417542 10804461568 299438 18446744073709551615 4194304 4196468 140730872030528 140157136214800 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21863] ppid=21854 vsize=10551232 CPUtime=2.96 cores=0,2,4,6
/proc/21857/task/21863/stat : 21863 (java) S 21854 21857 18930 0 -1 1077944384 2411 0 0 0 274 22 0 0 20 0 15 0 64417542 10804461568 299438 18446744073709551615 4194304 4196468 140730872030528 140157135162256 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21864] ppid=21854 vsize=10551232 CPUtime=1.1 cores=0,2,4,6
/proc/21857/task/21864/stat : 21864 (java) R 21854 21857 18930 0 -1 4202560 3490 0 0 0 110 0 0 0 20 0 15 0 64417544 10804461568 299438 18446744073709551615 4194304 4196468 140730872030528 140156693398336 140157181983744 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21865] ppid=21854 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21865/stat : 21865 (java) S 21854 21857 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 64417544 10804461568 299438 18446744073709551615 4194304 4196468 140730872030528 140156692346016 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21866] ppid=21854 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21866/stat : 21866 (java) S 21854 21857 18930 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 64417544 10804461568 299438 18446744073709551615 4194304 4196468 140730872030528 140156691292912 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21867] ppid=21854 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21867/stat : 21867 (java) S 21854 21857 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64417547 10804461568 299438 18446744073709551615 4194304 4196468 140730872030528 140156690241488 140157197301659 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21868] ppid=21854 vsize=10551232 CPUtime=0.56 cores=0,2,4,6
/proc/21857/task/21868/stat : 21868 (java) S 21854 21857 18930 0 -1 1077944384 2060 0 0 0 56 0 0 0 20 0 15 0 64417547 10804461568 299438 18446744073709551615 4194304 4196468 140730872030528 140156689174608 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21869] ppid=21854 vsize=10551232 CPUtime=0.54 cores=0,2,4,6
/proc/21857/task/21869/stat : 21869 (java) S 21854 21857 18930 0 -1 1077944384 2048 0 0 0 54 0 0 0 20 0 15 0 64417547 10804461568 299438 18446744073709551615 4194304 4196468 140730872030528 140156688137072 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21870] ppid=21854 vsize=10551232 CPUtime=0.16 cores=0,2,4,6
/proc/21857/task/21870/stat : 21870 (java) S 21854 21857 18930 0 -1 1077944384 867 0 0 0 16 0 0 0 20 0 15 0 64417547 10804461568 299438 18446744073709551615 4194304 4196468 140730872030528 140156687084016 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21871] ppid=21854 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21871/stat : 21871 (java) S 21854 21857 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64417547 10804461568 299438 18446744073709551615 4194304 4196468 140730872030528 140156686031712 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21872] ppid=21854 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21872/stat : 21872 (java) S 21854 21857 18930 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 64417551 10804461568 299438 18446744073709551615 4194304 4196468 140730872030528 140156684978736 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
Current children cumulated CPU time (s) 16.33
Current children cumulated vsize (KiB) 10551232
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21857 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40087 s]
/proc/loadavg: 3.16 3.04 2.98 6/212 21872
/proc/meminfo: memFree=22380960/32770624 swapFree=0/257936
[pid=21857] ppid=21854 vsize=10551232 CPUtime=16.43 cores=0,2,4,6
/proc/21857/stat : 21857 (java) S 21854 21857 18930 0 -1 1077944320 28146 0 0 0 1537 106 0 0 20 0 15 0 64417532 10804461568 300006 18446744073709551615 4194304 4196468 140730872030528 140730872013072 140157197283063 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
/proc/21857/statm: 2637808 300006 3097 1 0 2627269 0
[pid=21857/tid=21859] ppid=21854 vsize=10551232 CPUtime=2.11 cores=0,2,4,6
/proc/21857/task/21859/stat : 21859 (java) R 21854 21857 18930 0 -1 4202560 8363 0 0 0 203 8 0 0 20 0 15 0 64417541 10804461568 300006 18446744073709551615 4194304 4196468 140730872030528 140157201520936 140156814986566 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21860] ppid=21854 vsize=10551232 CPUtime=2.94 cores=0,2,4,6
/proc/21857/task/21860/stat : 21860 (java) S 21854 21857 18930 0 -1 1077944384 2216 0 0 0 271 23 0 0 20 0 15 0 64417542 10804461568 300006 18446744073709551615 4194304 4196468 140730872030528 140157138320400 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21861] ppid=21854 vsize=10551232 CPUtime=2.97 cores=0,2,4,6
/proc/21857/task/21861/stat : 21861 (java) S 21854 21857 18930 0 -1 1077944384 1513 0 0 0 273 24 0 0 20 0 15 0 64417542 10804461568 300006 18446744073709551615 4194304 4196468 140730872030528 140157137267856 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21862] ppid=21854 vsize=10551232 CPUtime=2.97 cores=0,2,4,6
/proc/21857/task/21862/stat : 21862 (java) S 21854 21857 18930 0 -1 1077944384 2499 0 0 0 273 24 0 0 20 0 15 0 64417542 10804461568 300006 18446744073709551615 4194304 4196468 140730872030528 140157136214800 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21863] ppid=21854 vsize=10551232 CPUtime=2.96 cores=0,2,4,6
/proc/21857/task/21863/stat : 21863 (java) S 21854 21857 18930 0 -1 1077944384 2411 0 0 0 274 22 0 0 20 0 15 0 64417542 10804461568 300006 18446744073709551615 4194304 4196468 140730872030528 140157135162256 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21864] ppid=21854 vsize=10551232 CPUtime=1.13 cores=0,2,4,6
/proc/21857/task/21864/stat : 21864 (java) S 21854 21857 18930 0 -1 1077944384 4532 0 0 0 113 0 0 0 20 0 15 0 64417544 10804461568 300006 18446744073709551615 4194304 4196468 140730872030528 140156693399792 140157197294210 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21865] ppid=21854 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21865/stat : 21865 (java) S 21854 21857 18930 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 64417544 10804461568 300006 18446744073709551615 4194304 4196468 140730872030528 140156692346080 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21866] ppid=21854 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21866/stat : 21866 (java) S 21854 21857 18930 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 64417544 10804461568 300006 18446744073709551615 4194304 4196468 140730872030528 140156691292928 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21867] ppid=21854 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21867/stat : 21867 (java) S 21854 21857 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64417547 10804461568 300006 18446744073709551615 4194304 4196468 140730872030528 140156690241488 140157197301659 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21868] ppid=21854 vsize=10551232 CPUtime=0.56 cores=0,2,4,6
/proc/21857/task/21868/stat : 21868 (java) S 21854 21857 18930 0 -1 1077944384 2147 0 0 0 56 0 0 0 20 0 15 0 64417547 10804461568 300006 18446744073709551615 4194304 4196468 140730872030528 140156689189616 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21869] ppid=21854 vsize=10551232 CPUtime=0.54 cores=0,2,4,6
/proc/21857/task/21869/stat : 21869 (java) S 21854 21857 18930 0 -1 1077944384 2050 0 0 0 54 0 0 0 20 0 15 0 64417547 10804461568 300006 18446744073709551615 4194304 4196468 140730872030528 140156688137072 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21870] ppid=21854 vsize=10551232 CPUtime=0.16 cores=0,2,4,6
/proc/21857/task/21870/stat : 21870 (java) S 21854 21857 18930 0 -1 1077944384 891 0 0 0 16 0 0 0 20 0 15 0 64417547 10804461568 300006 18446744073709551615 4194304 4196468 140730872030528 140156687084016 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21871] ppid=21854 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21871/stat : 21871 (java) S 21854 21857 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64417547 10804461568 300006 18446744073709551615 4194304 4196468 140730872030528 140156686031712 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21872] ppid=21854 vsize=10551232 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21872/stat : 21872 (java) S 21854 21857 18930 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 64417551 10804461568 300006 18446744073709551615 4194304 4196468 140730872030528 140156684978736 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
Current children cumulated CPU time (s) 16.43
Current children cumulated vsize (KiB) 10551232
[startup+6.8007 s]
/proc/loadavg: 3.16 3.04 2.98 9/213 21873
/proc/meminfo: memFree=22370288/32770624 swapFree=0/257936
[pid=21857] ppid=21854 vsize=10617796 CPUtime=17.6 cores=0,2,4,6
/proc/21857/stat : 21857 (java) S 21854 21857 18930 0 -1 1077944320 29675 0 0 0 1654 106 0 0 20 0 16 0 64417532 10872623104 300201 18446744073709551615 4194304 4196468 140730872030528 140730872013072 140157197283063 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
/proc/21857/statm: 2654449 300201 3104 1 0 2643910 0
[pid=21857/tid=21859] ppid=21854 vsize=10617796 CPUtime=2.51 cores=0,2,4,6
/proc/21857/task/21859/stat : 21859 (java) R 21854 21857 18930 0 -1 4202560 8545 0 0 0 243 8 0 0 20 0 16 0 64417541 10872623104 300201 18446744073709551615 4194304 4196468 140730872030528 140157201519584 140156815349218 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21860] ppid=21854 vsize=10617796 CPUtime=2.94 cores=0,2,4,6
/proc/21857/task/21860/stat : 21860 (java) S 21854 21857 18930 0 -1 1077944384 2216 0 0 0 271 23 0 0 20 0 16 0 64417542 10872623104 300201 18446744073709551615 4194304 4196468 140730872030528 140157138320400 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21861] ppid=21854 vsize=10617796 CPUtime=2.97 cores=0,2,4,6
/proc/21857/task/21861/stat : 21861 (java) S 21854 21857 18930 0 -1 1077944384 1513 0 0 0 273 24 0 0 20 0 16 0 64417542 10872623104 300201 18446744073709551615 4194304 4196468 140730872030528 140157137267856 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21862] ppid=21854 vsize=10617796 CPUtime=2.97 cores=0,2,4,6
/proc/21857/task/21862/stat : 21862 (java) S 21854 21857 18930 0 -1 1077944384 2499 0 0 0 273 24 0 0 20 0 16 0 64417542 10872623104 300201 18446744073709551615 4194304 4196468 140730872030528 140157136214800 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21863] ppid=21854 vsize=10617796 CPUtime=2.96 cores=0,2,4,6
/proc/21857/task/21863/stat : 21863 (java) S 21854 21857 18930 0 -1 1077944384 2411 0 0 0 274 22 0 0 20 0 16 0 64417542 10872623104 300201 18446744073709551615 4194304 4196468 140730872030528 140157135162256 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21864] ppid=21854 vsize=10617796 CPUtime=1.13 cores=0,2,4,6
/proc/21857/task/21864/stat : 21864 (java) S 21854 21857 18930 0 -1 1077944384 4540 0 0 0 113 0 0 0 20 0 16 0 64417544 10872623104 300201 18446744073709551615 4194304 4196468 140730872030528 140156693399792 140157197294210 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21865] ppid=21854 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21865/stat : 21865 (java) S 21854 21857 18930 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 64417544 10872623104 300201 18446744073709551615 4194304 4196468 140730872030528 140156692346080 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21866] ppid=21854 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21866/stat : 21866 (java) S 21854 21857 18930 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 64417544 10872623104 300201 18446744073709551615 4194304 4196468 140730872030528 140156691292928 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21867] ppid=21854 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21867/stat : 21867 (java) S 21854 21857 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64417547 10872623104 300201 18446744073709551615 4194304 4196468 140730872030528 140156690241488 140157197301659 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21868] ppid=21854 vsize=10617796 CPUtime=0.93 cores=0,2,4,6
/proc/21857/task/21868/stat : 21868 (java) R 21854 21857 18930 0 -1 4202560 2642 0 0 0 93 0 0 0 20 0 16 0 64417547 10872623104 300201 18446744073709551615 4194304 4196468 140730872030528 140156689189616 140157180769109 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21869] ppid=21854 vsize=10617796 CPUtime=0.89 cores=0,2,4,6
/proc/21857/task/21869/stat : 21869 (java) S 21854 21857 18930 0 -1 1077944384 2637 0 0 0 89 0 0 0 20 0 16 0 64417547 10872623104 300201 18446744073709551615 4194304 4196468 140730872030528 140156688137072 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21870] ppid=21854 vsize=10617796 CPUtime=0.22 cores=0,2,4,6
/proc/21857/task/21870/stat : 21870 (java) S 21854 21857 18930 0 -1 1077944384 1126 0 0 0 22 0 0 0 20 0 16 0 64417547 10872623104 300201 18446744073709551615 4194304 4196468 140730872030528 140156687084016 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21871] ppid=21854 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21871/stat : 21871 (java) S 21854 21857 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64417547 10872623104 300201 18446744073709551615 4194304 4196468 140730872030528 140156686031712 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21872] ppid=21854 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21872/stat : 21872 (java) S 21854 21857 18930 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 16 0 64417551 10872623104 300201 18446744073709551615 4194304 4196468 140730872030528 140156684978736 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21873] ppid=21854 vsize=10617796 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21873/stat : 21873 (java) S 21854 21857 18930 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 64418175 10872623104 300201 18446744073709551615 4194304 4196468 140730872030528 140156683924528 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
Current children cumulated CPU time (s) 17.6
Current children cumulated vsize (KiB) 10617796
[startup+7.20069 s]
/proc/loadavg: 3.16 3.04 2.98 9/213 21873
/proc/meminfo: memFree=22370288/32770624 swapFree=0/257936
[pid=21857] ppid=21854 vsize=10750924 CPUtime=18.06 cores=0,2,4,6
/proc/21857/stat : 21857 (java) S 21854 21857 18930 0 -1 1077944320 29804 0 0 0 1700 106 0 0 20 0 16 0 64417532 11008946176 300272 18446744073709551615 4194304 4196468 140730872030528 140730872013072 140157197283063 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
/proc/21857/statm: 2687731 300272 3108 1 0 2677192 0
[pid=21857/tid=21859] ppid=21854 vsize=10750924 CPUtime=2.8 cores=0,2,4,6
/proc/21857/task/21859/stat : 21859 (java) S 21854 21857 18930 0 -1 1077944384 8560 0 0 0 272 8 0 0 20 0 16 0 64417541 11008946176 300272 18446744073709551615 4194304 4196468 140730872030528 140157201523744 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21860] ppid=21854 vsize=10750924 CPUtime=2.94 cores=0,2,4,6
/proc/21857/task/21860/stat : 21860 (java) S 21854 21857 18930 0 -1 1077944384 2216 0 0 0 271 23 0 0 20 0 16 0 64417542 11008946176 300272 18446744073709551615 4194304 4196468 140730872030528 140157138320400 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21861] ppid=21854 vsize=10750924 CPUtime=2.97 cores=0,2,4,6
/proc/21857/task/21861/stat : 21861 (java) S 21854 21857 18930 0 -1 1077944384 1513 0 0 0 273 24 0 0 20 0 16 0 64417542 11008946176 300272 18446744073709551615 4194304 4196468 140730872030528 140157137267856 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21862] ppid=21854 vsize=10750924 CPUtime=2.97 cores=0,2,4,6
/proc/21857/task/21862/stat : 21862 (java) S 21854 21857 18930 0 -1 1077944384 2499 0 0 0 273 24 0 0 20 0 16 0 64417542 11008946176 300272 18446744073709551615 4194304 4196468 140730872030528 140157136214800 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21863] ppid=21854 vsize=10750924 CPUtime=2.96 cores=0,2,4,6
/proc/21857/task/21863/stat : 21863 (java) S 21854 21857 18930 0 -1 1077944384 2411 0 0 0 274 22 0 0 20 0 16 0 64417542 11008946176 300272 18446744073709551615 4194304 4196468 140730872030528 140157135162256 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21864] ppid=21854 vsize=10750924 CPUtime=1.13 cores=0,2,4,6
/proc/21857/task/21864/stat : 21864 (java) S 21854 21857 18930 0 -1 1077944384 4540 0 0 0 113 0 0 0 20 0 16 0 64417544 11008946176 300272 18446744073709551615 4194304 4196468 140730872030528 140156693399792 140157197294210 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21865] ppid=21854 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21865/stat : 21865 (java) S 21854 21857 18930 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 16 0 64417544 11008946176 300272 18446744073709551615 4194304 4196468 140730872030528 140156692346080 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21866] ppid=21854 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21866/stat : 21866 (java) S 21854 21857 18930 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 64417544 11008946176 300272 18446744073709551615 4194304 4196468 140730872030528 140156691292928 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21867] ppid=21854 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21867/stat : 21867 (java) S 21854 21857 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64417547 11008946176 300272 18446744073709551615 4194304 4196468 140730872030528 140156690241488 140157197301659 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21868] ppid=21854 vsize=10750924 CPUtime=1.01 cores=0,2,4,6
/proc/21857/task/21868/stat : 21868 (java) S 21854 21857 18930 0 -1 1077944384 2666 0 0 0 101 0 0 0 20 0 16 0 64417547 11008946176 300272 18446744073709551615 4194304 4196468 140730872030528 140156689189616 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21869] ppid=21854 vsize=10750924 CPUtime=0.95 cores=0,2,4,6
/proc/21857/task/21869/stat : 21869 (java) S 21854 21857 18930 0 -1 1077944384 2645 0 0 0 95 0 0 0 20 0 16 0 64417547 11008946176 300272 18446744073709551615 4194304 4196468 140730872030528 140156688137072 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21870] ppid=21854 vsize=10750924 CPUtime=0.24 cores=0,2,4,6
/proc/21857/task/21870/stat : 21870 (java) S 21854 21857 18930 0 -1 1077944384 1157 0 0 0 24 0 0 0 20 0 16 0 64417547 11008946176 300272 18446744073709551615 4194304 4196468 140730872030528 140156687084016 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21871] ppid=21854 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21871/stat : 21871 (java) S 21854 21857 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 64417547 11008946176 300272 18446744073709551615 4194304 4196468 140730872030528 140156686031712 140157197293269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
[pid=21857/tid=21872] ppid=21854 vsize=10750924 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21872/stat : 21872 (java) S 21854 21857 18930 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 16 0 64417551 11008946176 300272 18446744073709551615 4194304 4196468 140730872030528 140156684978736 140157197294210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31473664 140730872033713 140730872033866 140730872033866 140730872037327 0
Current children cumulated CPU time (s) 18.06
Current children cumulated vsize (KiB) 10750924
[startup+7.30059 s]
/proc/loadavg: 3.16 3.04 2.98 9/213 21873
/proc/meminfo: memFree=22370288/32770624 swapFree=0/257936
[pid=21857] ppid=21854 vsize=0 CPUtime=18.07 cores=0,2,4,6
/proc/21857/stat : 21857 (java) Z 21854 21857 18930 0 -1 4227084 29862 0 0 0 1700 107 0 0 20 0 2 0 64417532 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 0 0 0 0 0 0 0 0
/proc/21857/statm: 0 0 0 0 0 0 0
[pid=21857/tid=21866] ppid=21854 vsize=0 CPUtime=0 cores=0,2,4,6
/proc/21857/task/21866/stat : 21866 (java) R 21854 21857 18930 0 -1 4203588 46 0 0 0 0 0 0 0 20 0 2 0 64417544 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 18.07
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 7.30344
CPU time (s): 18.081
CPU user time (s): 17.0066
CPU system time (s): 1.07449
CPU usage (%): 247.569
Max. virtual memory (cumulated for all children) (KiB): 10750924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.0066
system time used= 1.07449
maximum resident set size= 1201888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29862
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= 1913
involuntary context switches= 146
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041245 second user time and 0.042832 second system time
The end