runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3454543-1307188965/watcher-3454543-1307188965 -o /tmp/evaluation-result-3454543-1307188965/solver-3454543-1307188965 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454543-1307188965.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.89 3.94 3.71 4/538 18850
/proc/meminfo: memFree=18746000/32950928 swapFree=34259960/67111528
[pid=18850] ppid=18848 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18850/stat : 18850 (java) S 18848 18850 15618 0 -1 4202496 3778 0 1 0 0 0 0 0 22 0 2 0 830493164 10694979584 3480 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/18850/statm: 2611079 3494 917 9 0 2602235 0
[pid=18850/tid=18851] ppid=18848 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18851/stat : 18851 (java) R 18848 18850 15618 0 -1 4202560 5769 0 1 0 0 0 0 0 23 0 2 0 830493164 10694979584 6586 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.027371 s]
/proc/loadavg: 3.89 3.94 3.71 4/538 18850
/proc/meminfo: memFree=18746000/32950928 swapFree=34259960/67111528
[pid=18850] ppid=18848 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/18850/stat : 18850 (java) S 18848 18850 15618 0 -1 4202496 10117 0 1 0 0 1 0 0 22 0 10 0 830493164 10703900672 9817 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/18850/statm: 2613717 9823 1058 9 0 2604465 0
[pid=18850/tid=18851] ppid=18848 vsize=10454868 CPUtime=0.01 cores=1,3,5,7
/proc/18850/task/18851/stat : 18851 (java) R 18848 18850 15618 0 -1 4202560 9008 0 1 0 0 1 0 0 25 0 10 0 830493164 10705784832 9830 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 46912504009831 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028
[startup+0.100418 s]
/proc/loadavg: 3.89 3.94 3.71 4/538 18850
/proc/meminfo: memFree=18746000/32950928 swapFree=34259960/67111528
[pid=18850] ppid=18848 vsize=10540028 CPUtime=0.1 cores=1,3,5,7
/proc/18850/stat : 18850 (java) S 18848 18850 15618 0 -1 4202496 12992 0 1 0 8 2 0 0 22 0 18 0 830493164 10792988672 12689 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18850/statm: 2635007 12690 2092 9 0 2625741 0
[pid=18850/tid=18851] ppid=18848 vsize=10540028 CPUtime=0.07 cores=1,3,5,7
/proc/18850/task/18851/stat : 18851 (java) R 18848 18850 15618 0 -1 4202560 11095 0 1 0 6 1 0 0 22 0 18 0 830493164 10792988672 12690 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254500353057 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540028
[startup+0.300373 s]
/proc/loadavg: 3.89 3.94 3.71 4/538 18850
/proc/meminfo: memFree=18746000/32950928 swapFree=34259960/67111528
[pid=18850] ppid=18848 vsize=10545456 CPUtime=0.53 cores=1,3,5,7
/proc/18850/stat : 18850 (java) S 18848 18850 15618 0 -1 4202496 18127 0 1 0 50 3 0 0 22 0 18 0 830493164 10798546944 16922 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18850/statm: 2636364 16924 2201 9 0 2627098 0
[pid=18850/tid=18851] ppid=18848 vsize=10545456 CPUtime=0.28 cores=1,3,5,7
/proc/18850/task/18851/stat : 18851 (java) R 18848 18850 15618 0 -1 4202560 13580 0 1 0 26 2 0 0 22 0 18 0 830493164 10798546944 16925 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10545456
[startup+0.700329 s]
/proc/loadavg: 3.89 3.94 3.71 4/538 18850
/proc/meminfo: memFree=18746000/32950928 swapFree=34259960/67111528
[pid=18850] ppid=18848 vsize=10549588 CPUtime=1.36 cores=1,3,5,7
/proc/18850/stat : 18850 (java) S 18848 18850 15618 0 -1 4202496 29060 0 1 0 132 4 0 0 22 0 19 0 830493164 10802778112 27020 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18850/statm: 2637397 27020 2238 9 0 2628131 0
[pid=18850/tid=18851] ppid=18848 vsize=10549588 CPUtime=0.45 cores=1,3,5,7
/proc/18850/task/18851/stat : 18851 (java) S 18848 18850 15618 0 -1 4202560 22082 0 1 0 42 3 0 0 24 0 19 0 830493164 10802778112 27020 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 10549588
[startup+1.50117 s]
/proc/loadavg: 3.82 3.93 3.71 5/557 18872
/proc/meminfo: memFree=18644364/32950928 swapFree=34259960/67111528
[pid=18850] ppid=18848 vsize=10549916 CPUtime=2.12 cores=1,3,5,7
/proc/18850/stat : 18850 (java) S 18848 18850 15618 0 -1 4202496 32404 0 1 0 207 5 0 0 22 0 19 0 830493164 10803113984 30252 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18850/statm: 2637479 30252 2243 9 0 2628213 0
[pid=18850/tid=18851] ppid=18848 vsize=10549916 CPUtime=0.47 cores=1,3,5,7
/proc/18850/task/18851/stat : 18851 (java) S 18848 18850 15618 0 -1 4202560 22344 0 1 0 44 3 0 0 21 0 19 0 830493164 10803113984 30252 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18853] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18853/stat : 18853 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830493166 10803113984 30252 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18854] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18854/stat : 18854 (java) S 18848 18850 15618 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830493166 10803113984 30252 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18855] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18855/stat : 18855 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830493166 10803113984 30252 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18856] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18856/stat : 18856 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830493166 10803113984 30252 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18857] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18857/stat : 18857 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830493166 10803113984 30252 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18858] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18858/stat : 18858 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830493166 10803113984 30252 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18859] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18859/stat : 18859 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830493166 10803113984 30252 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18860] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18860/stat : 18860 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830493166 10803113984 30252 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18861] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18861/stat : 18861 (java) S 18848 18850 15618 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 830493167 10803113984 30252 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 0 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18862] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18862/stat : 18862 (java) S 18848 18850 15618 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830493168 10803113984 30252 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18863] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18863/stat : 18863 (java) S 18848 18850 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830493168 10803113984 30252 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18864] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18864/stat : 18864 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830493170 10803113984 30252 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512515505 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18865] ppid=18848 vsize=10549916 CPUtime=0.53 cores=1,3,5,7
/proc/18850/task/18865/stat : 18865 (java) S 18848 18850 15618 0 -1 4202560 2331 0 0 0 53 0 0 0 16 0 19 0 830493170 10803113984 30252 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18866] ppid=18848 vsize=10549916 CPUtime=0.53 cores=1,3,5,7
/proc/18850/task/18866/stat : 18866 (java) S 18848 18850 15618 0 -1 4202560 3058 0 0 0 53 0 0 0 16 0 19 0 830493170 10803113984 30252 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18867] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18867/stat : 18867 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830493170 10803113984 30252 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18868] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18868/stat : 18868 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830493170 10803113984 30252 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18871] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18871/stat : 18871 (java) S 18848 18850 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830493213 10803113984 30252 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 10549916
[startup+3.10076 s]
/proc/loadavg: 3.82 3.93 3.71 7/560 18881
/proc/meminfo: memFree=18620160/32950928 swapFree=34259960/67111528
[pid=18850] ppid=18848 vsize=10549916 CPUtime=4.23 cores=1,3,5,7
/proc/18850/stat : 18850 (java) S 18848 18850 15618 0 -1 4202496 69575 0 1 0 414 9 0 0 22 0 22 0 830493164 10803113984 65928 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18850/statm: 2637479 65928 2243 9 0 2628213 0
[pid=18850/tid=18851] ppid=18848 vsize=10549916 CPUtime=0.49 cores=1,3,5,7
/proc/18850/task/18851/stat : 18851 (java) S 18848 18850 15618 0 -1 4202560 23061 0 1 0 46 3 0 0 15 0 22 0 830493164 10803113984 65933 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 4 0 16800975 18446604463326222464 0 0 -1 1 0 0 0
[pid=18850/tid=18853] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18853/stat : 18853 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830493166 10803113984 65934 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18854] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18854/stat : 18854 (java) S 18848 18850 15618 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830493166 10803113984 65934 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18855] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18855/stat : 18855 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830493166 10803113984 65934 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18856] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18856/stat : 18856 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830493166 10803113984 65940 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18857] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18857/stat : 18857 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830493166 10803113984 65940 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18858] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18858/stat : 18858 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830493166 10803113984 65940 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18859] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18859/stat : 18859 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830493166 10803113984 65941 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18860] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18860/stat : 18860 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830493166 10803113984 65946 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18861] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18861/stat : 18861 (java) S 18848 18850 15618 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 830493167 10803113984 65946 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 0 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18862] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18862/stat : 18862 (java) S 18848 18850 15618 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830493168 10803113984 65946 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18863] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18863/stat : 18863 (java) S 18848 18850 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830493168 10803113984 65948 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18864] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18864/stat : 18864 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830493170 10803113984 65952 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512515505 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18865] ppid=18848 vsize=10549916 CPUtime=0.77 cores=1,3,5,7
/proc/18850/task/18865/stat : 18865 (java) S 18848 18850 15618 0 -1 4202560 2354 0 0 0 77 0 0 0 15 0 22 0 830493170 10803113984 65952 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18866] ppid=18848 vsize=10549916 CPUtime=0.73 cores=1,3,5,7
/proc/18850/task/18866/stat : 18866 (java) S 18848 18850 15618 0 -1 4202560 4816 0 0 0 73 0 0 0 16 0 22 0 830493170 10803113984 65952 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18867] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18867/stat : 18867 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830493170 10803113984 65956 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18868] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18868/stat : 18868 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830493170 10803113984 65957 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18871] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18871/stat : 18871 (java) S 18848 18850 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830493213 10803113984 65957 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 10549916
[startup+6.30112 s]
/proc/loadavg: 3.83 3.93 3.71 5/560 18887
/proc/meminfo: memFree=18222588/32950928 swapFree=34259960/67111528
[pid=18850] ppid=18848 vsize=10549916 CPUtime=9.99 cores=1,3,5,7
/proc/18850/stat : 18850 (java) S 18848 18850 15618 0 -1 4202496 187337 0 1 0 976 23 0 0 22 0 22 0 830493164 10803113984 183680 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18850/statm: 2637479 183680 2267 9 0 2628213 0
[pid=18850/tid=18851] ppid=18848 vsize=10549916 CPUtime=0.5 cores=1,3,5,7
/proc/18850/task/18851/stat : 18851 (java) S 18848 18850 15618 0 -1 4202560 23298 0 1 0 47 3 0 0 15 0 22 0 830493164 10803113984 183680 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18853] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18853/stat : 18853 (java) S 18848 18850 15618 0 -1 4202560 513 0 0 0 0 0 0 0 15 0 22 0 830493166 10803113984 183680 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18854] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18854/stat : 18854 (java) S 18848 18850 15618 0 -1 4202560 782 0 0 0 0 0 0 0 15 0 22 0 830493166 10803113984 183680 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18855] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18855/stat : 18855 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830493166 10803113984 183680 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 1 0 0 0
[pid=18850/tid=18856] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18856/stat : 18856 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830493166 10803113984 183680 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18857] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18857/stat : 18857 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830493166 10803113984 183680 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18858] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18858/stat : 18858 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830493166 10803113984 183680 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18859] ppid=18848 vsize=10549916 CPUtime=0.01 cores=1,3,5,7
/proc/18850/task/18859/stat : 18859 (java) S 18848 18850 15618 0 -1 4202560 1636 0 0 0 1 0 0 0 15 0 22 0 830493166 10803113984 183680 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 1 0 0 0
[pid=18850/tid=18860] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18860/stat : 18860 (java) S 18848 18850 15618 0 -1 4202560 1101 0 0 0 0 0 0 0 18 0 22 0 830493166 10803113984 183680 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 1 0 0 0
[pid=18850/tid=18861] ppid=18848 vsize=10549916 CPUtime=0.05 cores=1,3,5,7
/proc/18850/task/18861/stat : 18861 (java) S 18848 18850 15618 0 -1 4202560 2906 0 0 0 5 0 0 0 15 0 22 0 830493167 10803113984 183680 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 0 0 16800975 18446604463326222464 0 0 -1 1 0 0 0
[pid=18850/tid=18862] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18862/stat : 18862 (java) S 18848 18850 15618 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830493168 10803113984 183680 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18863] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18863/stat : 18863 (java) S 18848 18850 15618 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830493168 10803113984 183680 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18864] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18864/stat : 18864 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830493170 10803113984 183680 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512515505 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18865] ppid=18848 vsize=10549916 CPUtime=0.87 cores=1,3,5,7
/proc/18850/task/18865/stat : 18865 (java) S 18848 18850 15618 0 -1 4202560 2366 0 0 0 87 0 0 0 15 0 22 0 830493170 10803113984 183680 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18866] ppid=18848 vsize=10549916 CPUtime=0.8 cores=1,3,5,7
/proc/18850/task/18866/stat : 18866 (java) S 18848 18850 15618 0 -1 4202560 4826 0 0 0 80 0 0 0 16 0 22 0 830493170 10803113984 183680 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/18850/task/18855/stat : 18855 (java) S 18848 18850 15618 0 -1 4202560 15888 0 0 0 53 2 0 0 15 0 22 0 830493166 10803113984 953622 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18856] ppid=18848 vsize=10549916 CPUtime=0.58 cores=1,3,5,7
/proc/18850/task/18856/stat : 18856 (java) S 18848 18850 15618 0 -1 4202560 15379 0 0 0 56 2 0 0 16 0 22 0 830493166 10803113984 953622 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18857] ppid=18848 vsize=10549916 CPUtime=0.52 cores=1,3,5,7
/proc/18850/task/18857/stat : 18857 (java) S 18848 18850 15618 0 -1 4202560 11934 0 0 0 50 2 0 0 16 0 22 0 830493166 10803113984 953622 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18858] ppid=18848 vsize=10549916 CPUtime=0.53 cores=1,3,5,7
/proc/18850/task/18858/stat : 18858 (java) S 18848 18850 15618 0 -1 4202560 12730 0 0 0 52 1 0 0 15 0 22 0 830493166 10803113984 953622 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18859] ppid=18848 vsize=10549916 CPUtime=0.59 cores=1,3,5,7
/proc/18850/task/18859/stat : 18859 (java) S 18848 18850 15618 0 -1 4202560 12153 0 0 0 57 2 0 0 16 0 22 0 830493166 10803113984 953622 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18860] ppid=18848 vsize=10549916 CPUtime=0.59 cores=1,3,5,7
/proc/18850/task/18860/stat : 18860 (java) S 18848 18850 15618 0 -1 4202560 15430 0 0 0 57 2 0 0 15 0 22 0 830493166 10803113984 953622 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18861] ppid=18848 vsize=10549916 CPUtime=20.88 cores=1,3,5,7
/proc/18850/task/18861/stat : 18861 (java) S 18848 18850 15618 0 -1 4202560 50781 0 0 0 2083 5 0 0 15 0 22 0 830493167 10803113984 953622 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 0 0 16800975 18446604463326222464 0 0 -1 1 0 0 0
[pid=18850/tid=18862] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18862/stat : 18862 (java) S 18848 18850 15618 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830493168 10803113984 953622 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18863] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18863/stat : 18863 (java) S 18848 18850 15618 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 830493168 10803113984 953622 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18864] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18864/stat : 18864 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830493170 10803113984 953622 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512515505 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18865] ppid=18848 vsize=10549916 CPUtime=0.98 cores=1,3,5,7
/proc/18850/task/18865/stat : 18865 (java) S 18848 18850 15618 0 -1 4202560 2369 0 0 0 98 0 0 0 15 0 22 0 830493170 10803113984 953622 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18866] ppid=18848 vsize=10549916 CPUtime=1.03 cores=1,3,5,7
/proc/18850/task/18866/stat : 18866 (java) S 18848 18850 15618 0 -1 4202560 6389 0 0 0 102 1 0 0 15 0 22 0 830493170 10803113984 953622 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18867] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18867/stat : 18867 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830493170 10803113984 953622 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18868] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18868/stat : 18868 (java) S 18848 18850 15618 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 830493170 10803113984 953622 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18871] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18871/stat : 18871 (java) S 18848 18850 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830493213 10803113984 953622 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18895] ppid=18848 vsize=10549916 CPUtime=768.46 cores=1,3,5,7
/proc/18850/task/18895/stat : 18895 (java) R 18848 18850 15618 0 -1 4202560 3001 0 0 0 76846 0 0 0 25 0 22 0 830496383 10803113984 953622 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 46912505779232 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18850/tid=18896] ppid=18848 vsize=10549916 CPUtime=768.47 cores=1,3,5,7
/proc/18850/task/18896/stat : 18896 (java) R 18848 18850 15618 0 -1 4202560 541630 0 0 0 76790 57 0 0 25 0 22 0 830496383 10803113984 953622 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 46912506234177 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18850/tid=18897] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18897/stat : 18897 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830496383 10803113984 953622 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1621.76
Current children cumulated vsize (KiB) 10549916
[startup+882.302 s]
/proc/loadavg: 2.02 2.74 3.30 3/533 18942
/proc/meminfo: memFree=17709712/32950928 swapFree=34259960/67111528
[pid=18850] ppid=18848 vsize=10549916 CPUtime=1739.76 cores=1,3,5,7
/proc/18850/stat : 18850 (java) S 18848 18850 15618 0 -1 4202496 961272 0 1 0 173863 113 0 0 22 0 22 0 830493164 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18850/statm: 2637479 954231 2269 9 0 2628213 0
[pid=18850/tid=18851] ppid=18848 vsize=10549916 CPUtime=0.51 cores=1,3,5,7
/proc/18850/task/18851/stat : 18851 (java) S 18848 18850 15618 0 -1 4202560 23312 0 1 0 48 3 0 0 15 0 22 0 830493164 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18853] ppid=18848 vsize=10549916 CPUtime=0.54 cores=1,3,5,7
/proc/18850/task/18853/stat : 18853 (java) S 18848 18850 15618 0 -1 4202560 7912 0 0 0 53 1 0 0 15 0 22 0 830493166 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18854] ppid=18848 vsize=10549916 CPUtime=0.54 cores=1,3,5,7
/proc/18850/task/18854/stat : 18854 (java) S 18848 18850 15618 0 -1 4202560 12554 0 0 0 52 2 0 0 16 0 22 0 830493166 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18855] ppid=18848 vsize=10549916 CPUtime=0.58 cores=1,3,5,7
/proc/18850/task/18855/stat : 18855 (java) S 18848 18850 15618 0 -1 4202560 15888 0 0 0 56 2 0 0 15 0 22 0 830493166 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18856] ppid=18848 vsize=10549916 CPUtime=0.62 cores=1,3,5,7
/proc/18850/task/18856/stat : 18856 (java) S 18848 18850 15618 0 -1 4202560 15403 0 0 0 60 2 0 0 16 0 22 0 830493166 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18857] ppid=18848 vsize=10549916 CPUtime=0.54 cores=1,3,5,7
/proc/18850/task/18857/stat : 18857 (java) S 18848 18850 15618 0 -1 4202560 11967 0 0 0 52 2 0 0 16 0 22 0 830493166 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18858] ppid=18848 vsize=10549916 CPUtime=0.57 cores=1,3,5,7
/proc/18850/task/18858/stat : 18858 (java) S 18848 18850 15618 0 -1 4202560 12736 0 0 0 56 1 0 0 16 0 22 0 830493166 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18859] ppid=18848 vsize=10549916 CPUtime=0.61 cores=1,3,5,7
/proc/18850/task/18859/stat : 18859 (java) S 18848 18850 15618 0 -1 4202560 12442 0 0 0 59 2 0 0 15 0 22 0 830493166 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18860] ppid=18848 vsize=10549916 CPUtime=0.6 cores=1,3,5,7
/proc/18850/task/18860/stat : 18860 (java) S 18848 18850 15618 0 -1 4202560 15430 0 0 0 58 2 0 0 15 0 22 0 830493166 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18861] ppid=18848 vsize=10549916 CPUtime=22.97 cores=1,3,5,7
/proc/18850/task/18861/stat : 18861 (java) S 18848 18850 15618 0 -1 4202560 50785 0 0 0 2291 6 0 0 15 0 22 0 830493167 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 0 0 16800975 18446604463326222464 0 0 -1 1 0 0 0
[pid=18850/tid=18862] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18862/stat : 18862 (java) S 18848 18850 15618 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830493168 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18863] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18863/stat : 18863 (java) S 18848 18850 15618 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 830493168 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18864] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18864/stat : 18864 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830493170 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512515505 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18865] ppid=18848 vsize=10549916 CPUtime=0.98 cores=1,3,5,7
/proc/18850/task/18865/stat : 18865 (java) S 18848 18850 15618 0 -1 4202560 2369 0 0 0 98 0 0 0 15 0 22 0 830493170 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18866] ppid=18848 vsize=10549916 CPUtime=1.03 cores=1,3,5,7
/proc/18850/task/18866/stat : 18866 (java) S 18848 18850 15618 0 -1 4202560 6389 0 0 0 102 1 0 0 15 0 22 0 830493170 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18867] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18867/stat : 18867 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830493170 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18868] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18868/stat : 18868 (java) S 18848 18850 15618 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830493170 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18871] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18871/stat : 18871 (java) S 18848 18850 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830493213 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18895] ppid=18848 vsize=10549916 CPUtime=826.32 cores=1,3,5,7
/proc/18850/task/18895/stat : 18895 (java) R 18848 18850 15618 0 -1 4202560 3007 0 0 0 82632 0 0 0 25 0 22 0 830496383 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 46912505779172 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18850/tid=18896] ppid=18848 vsize=10549916 CPUtime=826.33 cores=1,3,5,7
/proc/18850/task/18896/stat : 18896 (java) R 18848 18850 15618 0 -1 4202560 541630 0 0 0 82576 57 0 0 25 0 22 0 830496383 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 46912506219962 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18850/tid=18897] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18897/stat : 18897 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830496383 10803113984 954231 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1739.76
Current children cumulated vsize (KiB) 10549916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+912.902 s]
/proc/loadavg: 2.01 2.67 3.26 4/533 18943
/proc/meminfo: memFree=17709556/32950928 swapFree=34259960/67111528
[pid=18850] ppid=18848 vsize=10549916 CPUtime=1800.18 cores=1,3,5,7
/proc/18850/stat : 18850 (java) S 18848 18850 15618 0 -1 4202496 961285 0 1 0 179905 113 0 0 22 0 22 0 830493164 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18850/statm: 2637479 954237 2269 9 0 2628213 0
[pid=18850/tid=18851] ppid=18848 vsize=10549916 CPUtime=0.51 cores=1,3,5,7
/proc/18850/task/18851/stat : 18851 (java) S 18848 18850 15618 0 -1 4202560 23312 0 1 0 48 3 0 0 15 0 22 0 830493164 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18853] ppid=18848 vsize=10549916 CPUtime=0.57 cores=1,3,5,7
/proc/18850/task/18853/stat : 18853 (java) S 18848 18850 15618 0 -1 4202560 7912 0 0 0 56 1 0 0 16 0 22 0 830493166 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18854] ppid=18848 vsize=10549916 CPUtime=0.54 cores=1,3,5,7
/proc/18850/task/18854/stat : 18854 (java) S 18848 18850 15618 0 -1 4202560 12554 0 0 0 52 2 0 0 15 0 22 0 830493166 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18855] ppid=18848 vsize=10549916 CPUtime=0.6 cores=1,3,5,7
/proc/18850/task/18855/stat : 18855 (java) S 18848 18850 15618 0 -1 4202560 15888 0 0 0 58 2 0 0 16 0 22 0 830493166 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18856] ppid=18848 vsize=10549916 CPUtime=0.63 cores=1,3,5,7
/proc/18850/task/18856/stat : 18856 (java) S 18848 18850 15618 0 -1 4202560 15405 0 0 0 61 2 0 0 15 0 22 0 830493166 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18857] ppid=18848 vsize=10549916 CPUtime=0.55 cores=1,3,5,7
/proc/18850/task/18857/stat : 18857 (java) S 18848 18850 15618 0 -1 4202560 11967 0 0 0 53 2 0 0 16 0 22 0 830493166 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18858] ppid=18848 vsize=10549916 CPUtime=0.59 cores=1,3,5,7
/proc/18850/task/18858/stat : 18858 (java) S 18848 18850 15618 0 -1 4202560 12740 0 0 0 58 1 0 0 16 0 22 0 830493166 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18859] ppid=18848 vsize=10549916 CPUtime=0.62 cores=1,3,5,7
/proc/18850/task/18859/stat : 18859 (java) S 18848 18850 15618 0 -1 4202560 12442 0 0 0 60 2 0 0 16 0 22 0 830493166 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18860] ppid=18848 vsize=10549916 CPUtime=0.61 cores=1,3,5,7
/proc/18850/task/18860/stat : 18860 (java) S 18848 18850 15618 0 -1 4202560 15430 0 0 0 59 2 0 0 15 0 22 0 830493166 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18861] ppid=18848 vsize=10549916 CPUtime=23.86 cores=1,3,5,7
/proc/18850/task/18861/stat : 18861 (java) S 18848 18850 15618 0 -1 4202560 50787 0 0 0 2380 6 0 0 15 0 22 0 830493167 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 0 0 16800975 18446604463326222464 0 0 -1 1 0 0 0
[pid=18850/tid=18862] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18862/stat : 18862 (java) S 18848 18850 15618 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830493168 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18863] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18863/stat : 18863 (java) S 18848 18850 15618 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 830493168 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18864] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18864/stat : 18864 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830493170 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512515505 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18865] ppid=18848 vsize=10549916 CPUtime=0.98 cores=1,3,5,7
/proc/18850/task/18865/stat : 18865 (java) S 18848 18850 15618 0 -1 4202560 2369 0 0 0 98 0 0 0 15 0 22 0 830493170 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
[pid=18850/tid=18866] ppid=18848 vsize=10549916 CPUtime=1.03 cores=1,3,5,7
/proc/18850/task/18866/stat : 18866 (java) S 18848 18850 15618 0 -1 4202560 6389 0 0 0 102 1 0 0 15 0 22 0 830493170 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18867] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18867/stat : 18867 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830493170 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512507801 0 4 0 16800975 18446604463326222464 0 0 -1 5 0 0 0
[pid=18850/tid=18868] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18868/stat : 18868 (java) S 18848 18850 15618 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830493170 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18871] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18871/stat : 18871 (java) S 18848 18850 15618 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830493213 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 4 0 16800975 18446604463326222464 0 0 -1 3 0 0 0
[pid=18850/tid=18895] ppid=18848 vsize=10549916 CPUtime=856.03 cores=1,3,5,7
/proc/18850/task/18895/stat : 18895 (java) R 18848 18850 15618 0 -1 4202560 3010 0 0 0 85603 0 0 0 25 0 22 0 830496383 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 46912505854080 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18850/tid=18896] ppid=18848 vsize=10549916 CPUtime=856.04 cores=1,3,5,7
/proc/18850/task/18896/stat : 18896 (java) R 18848 18850 15618 0 -1 4202560 541630 0 0 0 85547 57 0 0 25 0 22 0 830496383 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 46912505778991 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18850/tid=18897] ppid=18848 vsize=10549916 CPUtime=0 cores=1,3,5,7
/proc/18850/task/18897/stat : 18897 (java) S 18848 18850 15618 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830496383 10803113984 954237 33554432000 1073741824 1073778376 140736800613744 18446744073709551615 254512508416 0 4 0 16800975 18446604463326222464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 10549916
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+913.046 s]
/proc/loadavg: 2.01 2.67 3.26 4/533 18943
/proc/meminfo: memFree=17709556/32950928 swapFree=34259960/67111528
[pid=18850] ppid=18848 vsize=0 CPUtime=1800.4 cores=1,3,5,7
/proc/18850/stat : 18850 (java) Z 18848 18850 15618 0 -1 4203548 961318 0 1 0 179921 119 0 0 17 0 2 0 830493164 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18850/statm: 0 0 0 0 0 0 0
[pid=18850/tid=18896] ppid=18848 vsize=0 CPUtime=856.15 cores=1,3,5,7
/proc/18850/task/18896/stat : 18896 (java) R 18848 18850 15618 0 -1 4203588 541630 0 0 0 85552 63 0 0 25 0 2 0 830496383 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (KiB) 0
[startup+913.101 s]
/proc/loadavg: 2.01 2.67 3.26 4/533 18943
/proc/meminfo: memFree=17709556/32950928 swapFree=34259960/67111528
[pid=18850] ppid=18848 vsize=0 CPUtime=1800.46 cores=1,3,5,7
/proc/18850/stat : 18850 (java) Z 18848 18850 15618 0 -1 4203548 961318 0 1 0 179921 125 0 0 17 0 2 0 830493164 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18850/statm: 0 0 0 0 0 0 0
[pid=18850/tid=18896] ppid=18848 vsize=0 CPUtime=856.2 cores=1,3,5,7
/proc/18850/task/18896/stat : 18896 (java) R 18848 18850 15618 0 -1 4203588 541630 0 0 0 85552 68 0 0 25 0 2 0 830496383 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.46
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 913.129
CPU time (s): 1800.49
CPU user time (s): 1799.21
CPU system time (s): 1.28181
CPU usage (%): 197.178
Max. virtual memory (cumulated for all children) (KiB): 10549916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 1.2818
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 961318
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24666
involuntary context switches= 25463
runsolver used 4.67329 second user time and 11.7212 second system time
The end