runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15195 MiB free)
memory of node 1: 16384 MiB (7633 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257949-1502652866/watcher-4257949-1502652866 -o /tmp/evaluation-result-4257949-1502652866/solver-4257949-1502652866 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6040 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257949-1502652866.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19952, runsolver pid=19949
Current StackSize limit: 8192 KiB
[startup+0.100954 s]*
/proc/loadavg: 4.14 4.34 4.45 3/207 19961
/proc/meminfo: memFree=23368048/32770624 swapFree=67108860/67108860
[pid=19952] ppid=19949 vsize=10151672 memory=17892 CPUtime=0.03 cores=0,2,4,6
/proc/19952/stat : 19952 (java) S 19949 19952 17093 0 -1 1077944320 3879 0 0 0 3 0 0 0 20 0 9 0 67479961 10395312128 4473 18446744073709551615 4194304 4196468 140734718024064 140734718006608 140482839498487 0 0 1 16800970 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
/proc/19952/statm: 2537918 4473 2122 1 0 2527415 0
[pid=19952/tid=19954] ppid=19949 vsize=10151672 memory=7077796292425249400 CPUtime=0.03 cores=0,2,4,6
/proc/19952/task/19954/stat : 19954 (java) R 19949 19952 17093 0 -1 4202560 2522 0 0 0 3 0 0 0 20 0 9 0 67479967 10395312128 4473 18446744073709551615 4194304 4196468 140734718024064 140482843733584 140482832176501 0 4 1 16800970 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19955] ppid=19949 vsize=10151672 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19955/stat : 19955 (java) S 19949 19952 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 67479968 10395312128 4473 18446744073709551615 4194304 4196468 140734718024064 140482811341968 140482839508693 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19956] ppid=19949 vsize=10151672 memory=139627468666496 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19956/stat : 19956 (java) S 19949 19952 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 67479968 10395312128 4473 18446744073709551615 4194304 4196468 140734718024064 140482450021392 140482839508693 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19957] ppid=19949 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19957/stat : 19957 (java) S 19949 19952 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 67479968 10395312128 4473 18446744073709551615 4194304 4196468 140734718024064 140482448968592 140482839508693 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19958] ppid=19949 vsize=10151672 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19958/stat : 19958 (java) S 19949 19952 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 67479968 10395312128 4473 18446744073709551615 4194304 4196468 140734718024064 140482447915792 140482839508693 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19959] ppid=19949 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19959/stat : 19959 (java) S 19949 19952 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 67479969 10395312128 4473 18446744073709551615 4194304 4196468 140734718024064 140482336237936 140482839509634 0 0 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19960] ppid=19949 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19960/stat : 19960 (java) S 19949 19952 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 67479969 10395312128 4473 18446744073709551615 4194304 4196468 140734718024064 140482335183904 140482839508693 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19961] ppid=19949 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19961/stat : 19961 (java) S 19949 19952 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 67479970 10395312128 4473 18446744073709551615 4194304 4196468 140734718024064 140482334131056 140482839508693 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 17892 KiB
[startup+0.209903 s]*
/proc/loadavg: 4.14 4.34 4.45 4/213 19967
/proc/meminfo: memFree=23360700/32770624 swapFree=67108860/67108860
[pid=19952] ppid=19949 vsize=10552180 memory=31620 CPUtime=0.11 cores=0,2,4,6
/proc/19952/stat : 19952 (java) S 19949 19952 17093 0 -1 1077944320 6766 0 0 0 10 1 0 0 20 0 15 0 67479961 10805432320 7905 18446744073709551615 4194304 4196468 140734718024064 140734718006608 140482839498487 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
/proc/19952/statm: 2638045 7905 2793 1 0 2627517 0
[pid=19952/tid=19954] ppid=19949 vsize=10552180 memory=8316850467074736180 CPUtime=0.09 cores=0,2,4,6
/proc/19952/task/19954/stat : 19954 (java) R 19949 19952 17093 0 -1 4202560 4741 0 0 0 8 1 0 0 20 0 15 0 67479967 10805432320 7694 18446744073709551615 4194304 4196468 140734718024064 140482843686832 140482832178205 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19955] ppid=19949 vsize=10552180 memory=14058 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19955/stat : 19955 (java) S 19949 19952 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67479968 10805432320 7759 18446744073709551615 4194304 4196468 140734718024064 140482811341968 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19956] ppid=19949 vsize=10552180 memory=288370003620378240 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19956/stat : 19956 (java) S 19949 19952 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67479968 10805432320 7759 18446744073709551615 4194304 4196468 140734718024064 140482450021392 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19957] ppid=19949 vsize=10552180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19957/stat : 19957 (java) S 19949 19952 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67479968 10805432320 7759 18446744073709551615 4194304 4196468 140734718024064 140482448968592 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19958] ppid=19949 vsize=10552180 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19958/stat : 19958 (java) S 19949 19952 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67479968 10805432320 7759 18446744073709551615 4194304 4196468 140734718024064 140482447915792 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19959] ppid=19949 vsize=10552180 memory=139627468666496 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19959/stat : 19959 (java) S 19949 19952 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67479969 10805432320 7825 18446744073709551615 4194304 4196468 140734718024064 140482336237936 140482839509634 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19960] ppid=19949 vsize=10552180 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19960/stat : 19960 (java) S 19949 19952 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67479969 10805432320 7825 18446744073709551615 4194304 4196468 140734718024064 140482335183904 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19961] ppid=19949 vsize=10552180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19961/stat : 19961 (java) S 19949 19952 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67479970 10805432320 7825 18446744073709551615 4194304 4196468 140734718024064 140482334131056 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19962] ppid=19949 vsize=10552180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19962/stat : 19962 (java) S 19949 19952 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67479972 10805432320 7825 18446744073709551615 4194304 4196468 140734718024064 140482333079376 140482839517083 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19963] ppid=19949 vsize=10552180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19963/stat : 19963 (java) S 19949 19952 17093 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 67479972 10805432320 7891 18446744073709551615 4194304 4196468 140734718024064 140482332027760 140482839509634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19964] ppid=19949 vsize=10552180 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19964/stat : 19964 (java) S 19949 19952 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67479972 10805432320 7891 18446744073709551615 4194304 4196468 140734718024064 140482330974960 140482839509634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19965] ppid=19949 vsize=10552180 memory=139627468666496 CPUtime=0.01 cores=0,2,4,6
/proc/19952/task/19965/stat : 19965 (java) S 19949 19952 17093 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 15 0 67479972 10805432320 7891 18446744073709551615 4194304 4196468 140734718024064 140482329922160 140482839509634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19966] ppid=19949 vsize=10552180 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19966/stat : 19966 (java) S 19949 19952 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67479973 10805432320 7891 18446744073709551615 4194304 4196468 140734718024064 140482328869600 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19967] ppid=19949 vsize=10552180 memory=139627468666496 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19967/stat : 19967 (java) S 19949 19952 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67479978 10805432320 7891 18446744073709551615 4194304 4196468 140734718024064 140482327816880 140482839509634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 10552180 KiB
Current children cumulated memory: 31620 KiB
[startup+0.317919 s]*
/proc/loadavg: 4.14 4.34 4.45 4/213 19967
/proc/meminfo: memFree=23349968/32770624 swapFree=67108860/67108860
[pid=19952] ppid=19949 vsize=10551156 memory=38880 CPUtime=0.28 cores=0,2,4,6
/proc/19952/stat : 19952 (java) S 19949 19952 17093 0 -1 1077944320 8563 0 0 0 26 2 0 0 20 0 15 0 67479961 10804383744 9720 18446744073709551615 4194304 4196468 140734718024064 140734718006608 140482839498487 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
/proc/19952/statm: 2637789 9720 2897 1 0 2627261 0
[pid=19952/tid=19954] ppid=19949 vsize=10551156 memory=8316850467074736180 CPUtime=0.19 cores=0,2,4,6
/proc/19952/task/19954/stat : 19954 (java) R 19949 19952 17093 0 -1 4202560 5708 0 0 0 17 2 0 0 20 0 15 0 67479967 10804383744 9720 18446744073709551615 4194304 4196468 140734718024064 140482843736904 140482839520413 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19955] ppid=19949 vsize=10551156 memory=14058 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19955/stat : 19955 (java) S 19949 19952 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67479968 10804383744 9720 18446744073709551615 4194304 4196468 140734718024064 140482811341968 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19956] ppid=19949 vsize=10551156 memory=290967550237680256 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19956/stat : 19956 (java) S 19949 19952 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67479968 10804383744 9720 18446744073709551615 4194304 4196468 140734718024064 140482450021392 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19957] ppid=19949 vsize=10551156 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19957/stat : 19957 (java) S 19949 19952 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67479968 10804383744 9720 18446744073709551615 4194304 4196468 140734718024064 140482448968592 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19958] ppid=19949 vsize=10551156 memory=3472328279047811119 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19958/stat : 19958 (java) S 19949 19952 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67479968 10804383744 9720 18446744073709551615 4194304 4196468 140734718024064 140482447915792 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19959] ppid=19949 vsize=10551156 memory=3472467923696084656 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19959/stat : 19959 (java) S 19949 19952 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67479969 10804383744 9720 18446744073709551615 4194304 4196468 140734718024064 140482336237936 140482839509634 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19960] ppid=19949 vsize=10551156 memory=8461260354371939849 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19960/stat : 19960 (java) S 19949 19952 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67479969 10804383744 9720 18446744073709551615 4194304 4196468 140734718024064 140482335183904 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19961] ppid=19949 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19961/stat : 19961 (java) S 19949 19952 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67479970 10804383744 9720 18446744073709551615 4194304 4196468 140734718024064 140482334131056 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19962] ppid=19949 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19962/stat : 19962 (java) S 19949 19952 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67479972 10804383744 9720 18446744073709551615 4194304 4196468 140734718024064 140482333079376 140482839517083 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19963] ppid=19949 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19952/task/19963/stat : 19963 (java) S 19949 19952 17093 0 -1 1077944384 587 0 0 0 1 0 0 0 20 0 15 0 67479972 10804383744 9720 18446744073709551615 4194304 4196468 140734718024064 140482332027760 140482839509634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19964] ppid=19949 vsize=10551156 memory=3472328296227418159 CPUtime=0.01 cores=0,2,4,6
/proc/19952/task/19964/stat : 19964 (java) S 19949 19952 17093 0 -1 1077944384 127 0 0 0 1 0 0 0 20 0 15 0 67479972 10804383744 9720 18446744073709551615 4194304 4196468 140734718024064 140482330974960 140482839509634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19965] ppid=19949 vsize=10551156 memory=7599809377492806371 CPUtime=0.05 cores=0,2,4,6
/proc/19952/task/19965/stat : 19965 (java) R 19949 19952 17093 0 -1 4202560 775 0 0 0 5 0 0 0 20 0 15 0 67479972 10804383744 9720 18446744073709551615 4194304 4196468 140734718024064 140482329918040 140482839512369 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19966] ppid=19949 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19966/stat : 19966 (java) S 19949 19952 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67479973 10804383744 9720 18446744073709551615 4194304 4196468 140734718024064 140482328869600 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19967] ppid=19949 vsize=10551156 memory=139627468666496 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19967/stat : 19967 (java) S 19949 19952 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67479978 10804383744 9720 18446744073709551615 4194304 4196468 140734718024064 140482327816880 140482839509634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 38880 KiB
[startup+0.700687 s]
/proc/loadavg: 4.12 4.34 4.45 5/213 19967
/proc/meminfo: memFree=23323116/32770624 swapFree=67108860/67108860
[pid=19952] ppid=19949 vsize=10551232 memory=97288 CPUtime=1.5 cores=0,2,4,6
/proc/19952/stat : 19952 (java) S 19949 19952 17093 0 -1 1077944320 12414 0 0 0 146 4 0 0 20 0 15 0 67479961 10804461568 24322 18446744073709551615 4194304 4196468 140734718024064 140734718006608 140482839498487 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
/proc/19952/statm: 2637808 24322 3045 1 0 2627261 0
[pid=19952/tid=19954] ppid=19949 vsize=10551232 memory=1232 CPUtime=0.56 cores=0,2,4,6
/proc/19952/task/19954/stat : 19954 (java) R 19949 19952 17093 0 -1 4202560 6896 0 0 0 53 3 0 0 20 0 15 0 67479967 10804461568 24322 18446744073709551615 4194304 4196468 140734718024064 140482843735136 140482483619788 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19955] ppid=19949 vsize=10551232 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19955/stat : 19955 (java) S 19949 19952 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67479968 10804461568 24322 18446744073709551615 4194304 4196468 140734718024064 140482811341968 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19956] ppid=19949 vsize=10551232 memory=4300 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19956/stat : 19956 (java) S 19949 19952 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67479968 10804461568 24322 18446744073709551615 4194304 4196468 140734718024064 140482450021392 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19957] ppid=19949 vsize=10551232 memory=932 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19957/stat : 19957 (java) S 19949 19952 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67479968 10804461568 24322 18446744073709551615 4194304 4196468 140734718024064 140482448968592 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19958] ppid=19949 vsize=10551232 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19958/stat : 19958 (java) S 19949 19952 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67479968 10804461568 24322 18446744073709551615 4194304 4196468 140734718024064 140482447915792 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19959] ppid=19949 vsize=10551232 memory=2160 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19959/stat : 19959 (java) S 19949 19952 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67479969 10804461568 24322 18446744073709551615 4194304 4196468 140734718024064 140482336237936 140482839509634 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19960] ppid=19949 vsize=10551232 memory=3472328279047811153 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19960/stat : 19960 (java) S 19949 19952 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67479969 10804461568 24322 18446744073709551615 4194304 4196468 140734718024064 140482335183904 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19961] ppid=19949 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19961/stat : 19961 (java) S 19949 19952 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67479970 10804461568 24322 18446744073709551615 4194304 4196468 140734718024064 140482334131056 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19962] ppid=19949 vsize=10551232 memory=737 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19962/stat : 19962 (java) S 19949 19952 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67479972 10804461568 24322 18446744073709551615 4194304 4196468 140734718024064 140482333079376 140482839517083 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19963] ppid=19949 vsize=10551232 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/19952/task/19963/stat : 19963 (java) R 19949 19952 17093 0 -1 4202560 1552 0 0 0 33 0 0 0 20 0 15 0 67479972 10804461568 24322 18446744073709551615 4194304 4196468 140734718024064 140482332014608 140482823468183 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19964] ppid=19949 vsize=10551232 memory=844 CPUtime=0.35 cores=0,2,4,6
/proc/19952/task/19964/stat : 19964 (java) R 19949 19952 17093 0 -1 4202560 1195 0 0 0 35 0 0 0 20 0 15 0 67479972 10804461568 24322 18446744073709551615 4194304 4196468 140734718024064 140482330964752 140482822992726 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19965] ppid=19949 vsize=10551232 memory=16448 CPUtime=0.24 cores=0,2,4,6
/proc/19952/task/19965/stat : 19965 (java) S 19949 19952 17093 0 -1 1077944384 1402 0 0 0 24 0 0 0 20 0 15 0 67479972 10804461568 24322 18446744073709551615 4194304 4196468 140734718024064 140482329922160 140482839509634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19966] ppid=19949 vsize=10551232 memory=2752 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19966/stat : 19966 (java) S 19949 19952 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67479973 10804461568 24322 18446744073709551615 4194304 4196468 140734718024064 140482328869600 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19967] ppid=19949 vsize=10551232 memory=2872 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19967/stat : 19967 (java) S 19949 19952 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67479978 10804461568 24322 18446744073709551615 4194304 4196468 140734718024064 140482327816880 140482839509634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 97288 KiB
[startup+1.50096 s]
/proc/loadavg: 4.12 4.34 4.45 5/213 19967
/proc/meminfo: memFree=23191760/32770624 swapFree=67108860/67108860
[pid=19952] ppid=19949 vsize=10551232 memory=368064 CPUtime=4.02 cores=0,2,4,6
/proc/19952/stat : 19952 (java) S 19949 19952 17093 0 -1 1077944320 14288 0 0 0 386 16 0 0 20 0 15 0 67479961 10804461568 92016 18446744073709551615 4194304 4196468 140734718024064 140734718006608 140482839498487 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
/proc/19952/statm: 2637808 92016 3101 1 0 2627261 0
[pid=19952/tid=19954] ppid=19949 vsize=10551232 memory=2257 CPUtime=1.29 cores=0,2,4,6
/proc/19952/task/19954/stat : 19954 (java) R 19949 19952 17093 0 -1 4202560 7520 0 0 0 123 6 0 0 20 0 15 0 67479967 10804461568 92016 18446744073709551615 4194304 4196468 140734718024064 140482843725088 140482484862934 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19955] ppid=19949 vsize=10551232 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/19952/task/19955/stat : 19955 (java) S 19949 19952 17093 0 -1 1077944384 54 0 0 0 4 2 0 0 20 0 15 0 67479968 10804461568 92016 18446744073709551615 4194304 4196468 140734718024064 140482811341968 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19956] ppid=19949 vsize=10551232 memory=-7522837582236181595 CPUtime=0.04 cores=0,2,4,6
/proc/19952/task/19956/stat : 19956 (java) S 19949 19952 17093 0 -1 1077944384 43 0 0 0 3 1 0 0 20 0 15 0 67479968 10804461568 92016 18446744073709551615 4194304 4196468 140734718024064 140482450021392 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19957] ppid=19949 vsize=10551232 memory=197340 CPUtime=0.04 cores=0,2,4,6
/proc/19952/task/19957/stat : 19957 (java) S 19949 19952 17093 0 -1 1077944384 36 0 0 0 3 1 0 0 20 0 15 0 67479968 10804461568 92016 18446744073709551615 4194304 4196468 140734718024064 140482448968592 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19958] ppid=19949 vsize=10551232 memory=16448 CPUtime=0.06 cores=0,2,4,6
/proc/19952/task/19958/stat : 19958 (java) S 19949 19952 17093 0 -1 1077944384 173 0 0 0 4 2 0 0 20 0 15 0 67479968 10804461568 92016 18446744073709551615 4194304 4196468 140734718024064 140482447915792 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19959] ppid=19949 vsize=10551232 memory=2752 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19959/stat : 19959 (java) S 19949 19952 17093 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 67479969 10804461568 92016 18446744073709551615 4194304 4196468 140734718024064 140482336237936 140482839509634 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19960] ppid=19949 vsize=10551232 memory=2872 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19960/stat : 19960 (java) S 19949 19952 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67479969 10804461568 92016 18446744073709551615 4194304 4196468 140734718024064 140482335183968 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19961] ppid=19949 vsize=10551232 memory=279254613078624 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19961/stat : 19961 (java) S 19949 19952 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67479970 10804461568 92016 18446744073709551615 4194304 4196468 140734718024064 140482334131072 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19962] ppid=19949 vsize=10551232 memory=7740108192504441196 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19962/stat : 19962 (java) S 19949 19952 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67479972 10804461568 92016 18446744073709551615 4194304 4196468 140734718024064 140482333079376 140482839517083 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19963] ppid=19949 vsize=10551232 memory=7740108192504441196 CPUtime=1.04 cores=0,2,4,6
/proc/19952/task/19963/stat : 19963 (java) R 19949 19952 17093 0 -1 4202560 1850 0 0 0 104 0 0 0 20 0 15 0 67479972 10804461568 92016 18446744073709551615 4194304 4196468 140734718024064 140482332014304 140482818754064 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19964] ppid=19949 vsize=10551232 memory=7740108192504441196 CPUtime=1.07 cores=0,2,4,6
/proc/19952/task/19964/stat : 19964 (java) R 19949 19952 17093 0 -1 4202560 1472 0 0 0 107 0 0 0 20 0 15 0 67479972 10804461568 92016 18446744073709551615 4194304 4196468 140734718024064 140482330974960 140482824420269 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19965] ppid=19949 vsize=10551232 memory=7740108192504441196 CPUtime=0.33 cores=0,2,4,6
/proc/19952/task/19965/stat : 19965 (java) S 19949 19952 17093 0 -1 1077944384 1571 0 0 0 33 0 0 0 20 0 15 0 67479972 10804461568 92016 18446744073709551615 4194304 4196468 140734718024064 140482329922160 140482839509634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
################
# More data... #
################
[startup+90.7451 s]
# the end of solver process 19952 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.282 s, system=5.97606 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+89.6009 s]
/proc/loadavg: 4.93 4.45 4.47 9/210 20044
/proc/meminfo: memFree=14924680/32770624 swapFree=67108860/67108860
[pid=19952] ppid=19949 vsize=10551232 memory=8296992 CPUtime=255.66 cores=0,2,4,6
/proc/19952/stat : 19952 (java) S 19949 19952 17093 0 -1 1077944320 150843 0 0 0 24973 593 0 0 20 0 15 0 67479961 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140734718006608 140482839498487 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
/proc/19952/statm: 2637808 2074248 3124 1 0 2627261 0
[pid=19952/tid=19954] ppid=19949 vsize=10551232 memory=0 CPUtime=13.37 cores=0,2,4,6
/proc/19952/task/19954/stat : 19954 (java) S 19949 19952 17093 0 -1 1077944384 15463 0 0 0 1323 14 0 0 20 0 15 0 67479967 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482843733408 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19955] ppid=19949 vsize=10551232 memory=4420 CPUtime=54.45 cores=0,2,4,6
/proc/19952/task/19955/stat : 19955 (java) R 19949 19952 17093 0 -1 4202560 27039 0 0 0 5300 145 0 0 20 0 15 0 67479968 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482811342168 140482824495040 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19956] ppid=19949 vsize=10551232 memory=279254614271936 CPUtime=54.79 cores=0,2,4,6
/proc/19952/task/19956/stat : 19956 (java) R 19949 19952 17093 0 -1 4202560 22985 0 0 0 5344 135 0 0 20 0 15 0 67479968 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482450021592 140482824495040 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19957] ppid=19949 vsize=10551232 memory=7164208126607844716 CPUtime=54.33 cores=0,2,4,6
/proc/19952/task/19957/stat : 19957 (java) R 19949 19952 17093 0 -1 4202560 29736 0 0 0 5288 145 0 0 20 0 15 0 67479968 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482448968792 140482824494888 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19958] ppid=19949 vsize=10551232 memory=-8774313645642428999 CPUtime=54.75 cores=0,2,4,6
/proc/19952/task/19958/stat : 19958 (java) R 19949 19952 17093 0 -1 4202560 25944 0 0 0 5329 146 0 0 20 0 15 0 67479968 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482447915680 140482824494894 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19959] ppid=19949 vsize=10551232 memory=1992 CPUtime=21.06 cores=0,2,4,6
/proc/19952/task/19959/stat : 19959 (java) S 19949 19952 17093 0 -1 1077944384 18361 0 0 0 2105 1 0 0 20 0 15 0 67479969 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482336236480 140482839508693 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19960] ppid=19949 vsize=10551232 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19960/stat : 19960 (java) S 19949 19952 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67479969 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482335183968 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19961] ppid=19949 vsize=10551232 memory=12200 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19961/stat : 19961 (java) S 19949 19952 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 67479970 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482334131072 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19962] ppid=19949 vsize=10551232 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19962/stat : 19962 (java) S 19949 19952 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67479972 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482333079024 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19963] ppid=19949 vsize=10551232 memory=1204 CPUtime=1.17 cores=0,2,4,6
/proc/19952/task/19963/stat : 19963 (java) S 19949 19952 17093 0 -1 1077944384 3672 0 0 0 117 0 0 0 20 0 15 0 67479972 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482332027808 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19964] ppid=19949 vsize=10551232 memory=3627 CPUtime=1.17 cores=0,2,4,6
/proc/19952/task/19964/stat : 19964 (java) S 19949 19952 17093 0 -1 1077944384 2329 0 0 0 117 0 0 0 20 0 15 0 67479972 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482330975008 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19965] ppid=19949 vsize=10551232 memory=3601 CPUtime=0.44 cores=0,2,4,6
/proc/19952/task/19965/stat : 19965 (java) S 19949 19952 17093 0 -1 1077944384 3799 0 0 0 43 1 0 0 20 0 15 0 67479972 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482329921920 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19966] ppid=19949 vsize=10551232 memory=3619 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19966/stat : 19966 (java) S 19949 19952 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67479973 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482328869600 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19967] ppid=19949 vsize=10551232 memory=1606 CPUtime=0.03 cores=0,2,4,6
/proc/19952/task/19967/stat : 19967 (java) S 19949 19952 17093 0 -1 1077944384 153 0 0 0 2 1 0 0 20 0 15 0 67479978 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482327816880 140482839509634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
Current children cumulated CPU time: 255.66 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8296992 KiB
[startup+90.4006 s]
/proc/loadavg: 4.93 4.45 4.47 9/210 20044
/proc/meminfo: memFree=14924920/32770624 swapFree=67108860/67108860
[pid=19952] ppid=19949 vsize=10551232 memory=8296992 CPUtime=258.82 cores=0,2,4,6
/proc/19952/stat : 19952 (java) S 19949 19952 17093 0 -1 1077944320 150843 0 0 0 25289 593 0 0 20 0 15 0 67479961 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140734718006608 140482839498487 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
/proc/19952/statm: 2637808 2074248 3124 1 0 2627261 0
[pid=19952/tid=19954] ppid=19949 vsize=10551232 memory=8296992 CPUtime=13.37 cores=0,2,4,6
/proc/19952/task/19954/stat : 19954 (java) S 19949 19952 17093 0 -1 1077944384 15463 0 0 0 1323 14 0 0 20 0 15 0 67479967 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482843733408 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19955] ppid=19949 vsize=10551232 memory=1732 CPUtime=55.25 cores=0,2,4,6
/proc/19952/task/19955/stat : 19955 (java) R 19949 19952 17093 0 -1 4202560 27039 0 0 0 5380 145 0 0 20 0 15 0 67479968 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482811341776 140482832126695 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19956] ppid=19949 vsize=10551232 memory=5788 CPUtime=55.57 cores=0,2,4,6
/proc/19952/task/19956/stat : 19956 (java) R 19949 19952 17093 0 -1 4202560 22985 0 0 0 5422 135 0 0 20 0 15 0 67479968 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482450021512 140482832126695 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19957] ppid=19949 vsize=10551232 memory=4612 CPUtime=55.11 cores=0,2,4,6
/proc/19952/task/19957/stat : 19957 (java) R 19949 19952 17093 0 -1 4202560 29736 0 0 0 5366 145 0 0 20 0 15 0 67479968 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482448968712 140482832126695 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19958] ppid=19949 vsize=10551232 memory=-8774313645642428999 CPUtime=55.55 cores=0,2,4,6
/proc/19952/task/19958/stat : 19958 (java) R 19949 19952 17093 0 -1 4202560 25944 0 0 0 5409 146 0 0 20 0 15 0 67479968 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482447915680 140482824494913 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19959] ppid=19949 vsize=10551232 memory=796 CPUtime=21.06 cores=0,2,4,6
/proc/19952/task/19959/stat : 19959 (java) S 19949 19952 17093 0 -1 1077944384 18361 0 0 0 2105 1 0 0 20 0 15 0 67479969 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482336236480 140482839508693 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19960] ppid=19949 vsize=10551232 memory=10968 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19960/stat : 19960 (java) S 19949 19952 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67479969 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482335183968 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19961] ppid=19949 vsize=10551232 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19961/stat : 19961 (java) S 19949 19952 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 67479970 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482334131072 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19962] ppid=19949 vsize=10551232 memory=8296992 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19962/stat : 19962 (java) S 19949 19952 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67479972 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482333079024 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19963] ppid=19949 vsize=10551232 memory=4300 CPUtime=1.17 cores=0,2,4,6
/proc/19952/task/19963/stat : 19963 (java) S 19949 19952 17093 0 -1 1077944384 3672 0 0 0 117 0 0 0 20 0 15 0 67479972 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482332027808 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19964] ppid=19949 vsize=10551232 memory=932 CPUtime=1.17 cores=0,2,4,6
/proc/19952/task/19964/stat : 19964 (java) S 19949 19952 17093 0 -1 1077944384 2329 0 0 0 117 0 0 0 20 0 15 0 67479972 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482330975008 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19965] ppid=19949 vsize=10551232 memory=1624 CPUtime=0.44 cores=0,2,4,6
/proc/19952/task/19965/stat : 19965 (java) S 19949 19952 17093 0 -1 1077944384 3799 0 0 0 43 1 0 0 20 0 15 0 67479972 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482329921920 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19966] ppid=19949 vsize=10551232 memory=8149396 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19966/stat : 19966 (java) S 19949 19952 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67479973 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482328869600 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19967] ppid=19949 vsize=10551232 memory=7652548 CPUtime=0.03 cores=0,2,4,6
/proc/19952/task/19967/stat : 19967 (java) S 19949 19952 17093 0 -1 1077944384 153 0 0 0 2 1 0 0 20 0 15 0 67479978 10804461568 2074248 18446744073709551615 4194304 4196468 140734718024064 140482327816880 140482839509634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
Current children cumulated CPU time: 258.82 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8296992 KiB
[startup+90.6007 s]
/proc/loadavg: 4.93 4.45 4.47 9/210 20044
/proc/meminfo: memFree=14924920/32770624 swapFree=67108860/67108860
[pid=19952] ppid=19949 vsize=10750924 memory=8297024 CPUtime=259.11 cores=0,2,4,6
/proc/19952/stat : 19952 (java) S 19949 19952 17093 0 -1 1077944320 150974 0 0 0 25318 593 0 0 20 0 17 0 67479961 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140734718006608 140482839498487 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
/proc/19952/statm: 2687731 2074256 3126 1 0 2677184 0
[pid=19952/tid=19954] ppid=19949 vsize=10750924 memory=37984 CPUtime=13.44 cores=0,2,4,6
/proc/19952/task/19954/stat : 19954 (java) R 19949 19952 17093 0 -1 4202560 15463 0 0 0 1330 14 0 0 20 0 17 0 67479967 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482843733408 140482484955051 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19955] ppid=19949 vsize=10750924 memory=-8774313645642428999 CPUtime=55.28 cores=0,2,4,6
/proc/19952/task/19955/stat : 19955 (java) S 19949 19952 17093 0 -1 1077944384 27039 0 0 0 5383 145 0 0 20 0 17 0 67479968 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482811341968 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19956] ppid=19949 vsize=10750924 memory=288230621803970871 CPUtime=55.6 cores=0,2,4,6
/proc/19952/task/19956/stat : 19956 (java) S 19949 19952 17093 0 -1 1077944384 22985 0 0 0 5425 135 0 0 20 0 17 0 67479968 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482450021392 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19957] ppid=19949 vsize=10750924 memory=13563795322702378 CPUtime=55.13 cores=0,2,4,6
/proc/19952/task/19957/stat : 19957 (java) S 19949 19952 17093 0 -1 1077944384 29736 0 0 0 5368 145 0 0 20 0 17 0 67479968 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482448968592 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19958] ppid=19949 vsize=10750924 memory=2420 CPUtime=55.58 cores=0,2,4,6
/proc/19952/task/19958/stat : 19958 (java) S 19949 19952 17093 0 -1 1077944384 25944 0 0 0 5412 146 0 0 20 0 17 0 67479968 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482447915792 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19959] ppid=19949 vsize=10750924 memory=1732 CPUtime=21.17 cores=0,2,4,6
/proc/19952/task/19959/stat : 19959 (java) S 19949 19952 17093 0 -1 1077944384 18361 0 0 0 2116 1 0 0 20 0 17 0 67479969 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482336237936 140482839509634 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19960] ppid=19949 vsize=10750924 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19960/stat : 19960 (java) S 19949 19952 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 67479969 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482335183968 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19961] ppid=19949 vsize=10750924 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19961/stat : 19961 (java) S 19949 19952 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 67479970 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482334131072 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19962] ppid=19949 vsize=10750924 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19962/stat : 19962 (java) S 19949 19952 17093 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 67479972 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482333079376 140482839517083 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19963] ppid=19949 vsize=10750924 memory=1444 CPUtime=1.17 cores=0,2,4,6
/proc/19952/task/19963/stat : 19963 (java) S 19949 19952 17093 0 -1 1077944384 3672 0 0 0 117 0 0 0 20 0 17 0 67479972 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482332027760 140482839509634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19964] ppid=19949 vsize=10750924 memory=1228 CPUtime=1.17 cores=0,2,4,6
/proc/19952/task/19964/stat : 19964 (java) S 19949 19952 17093 0 -1 1077944384 2329 0 0 0 117 0 0 0 20 0 17 0 67479972 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482330974960 140482839509634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19965] ppid=19949 vsize=10750924 memory=12200 CPUtime=0.44 cores=0,2,4,6
/proc/19952/task/19965/stat : 19965 (java) S 19949 19952 17093 0 -1 1077944384 3800 0 0 0 43 1 0 0 20 0 17 0 67479972 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482329922160 140482839509634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19966] ppid=19949 vsize=10750924 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19966/stat : 19966 (java) S 19949 19952 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 67479973 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482328869600 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19967] ppid=19949 vsize=10750924 memory=1204 CPUtime=0.03 cores=0,2,4,6
/proc/19952/task/19967/stat : 19967 (java) S 19949 19952 17093 0 -1 1077944384 153 0 0 0 2 1 0 0 20 0 17 0 67479978 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482327816880 140482839509634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
Current children cumulated CPU time: 259.11 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 8297024 KiB
[startup+90.7008 s]
/proc/loadavg: 4.93 4.45 4.47 9/210 20044
/proc/meminfo: memFree=14924920/32770624 swapFree=67108860/67108860
[pid=19952] ppid=19949 vsize=10750924 memory=8297024 CPUtime=259.21 cores=0,2,4,6
/proc/19952/stat : 19952 (java) S 19949 19952 17093 0 -1 1077944320 150974 0 0 0 25328 593 0 0 20 0 17 0 67479961 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140734718006608 140482839498487 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 6 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
/proc/19952/statm: 2687731 2074256 3126 1 0 2677184 0
[pid=19952/tid=19954] ppid=19949 vsize=10750924 memory=8296992 CPUtime=13.54 cores=0,2,4,6
/proc/19952/task/19954/stat : 19954 (java) R 19949 19952 17093 0 -1 4202560 15463 0 0 0 1340 14 0 0 20 0 17 0 67479967 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482843733408 140482484456067 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19955] ppid=19949 vsize=10750924 memory=8296992 CPUtime=55.28 cores=0,2,4,6
/proc/19952/task/19955/stat : 19955 (java) S 19949 19952 17093 0 -1 1077944384 27039 0 0 0 5383 145 0 0 20 0 17 0 67479968 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482811341968 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19956] ppid=19949 vsize=10750924 memory=8296992 CPUtime=55.6 cores=0,2,4,6
/proc/19952/task/19956/stat : 19956 (java) S 19949 19952 17093 0 -1 1077944384 22985 0 0 0 5425 135 0 0 20 0 17 0 67479968 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482450021392 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19957] ppid=19949 vsize=10750924 memory=4028 CPUtime=55.13 cores=0,2,4,6
/proc/19952/task/19957/stat : 19957 (java) S 19949 19952 17093 0 -1 1077944384 29736 0 0 0 5368 145 0 0 20 0 17 0 67479968 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482448968592 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19958] ppid=19949 vsize=10750924 memory=1000 CPUtime=55.58 cores=0,2,4,6
/proc/19952/task/19958/stat : 19958 (java) S 19949 19952 17093 0 -1 1077944384 25944 0 0 0 5412 146 0 0 20 0 17 0 67479968 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482447915792 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19959] ppid=19949 vsize=10750924 memory=8294944 CPUtime=21.17 cores=0,2,4,6
/proc/19952/task/19959/stat : 19959 (java) S 19949 19952 17093 0 -1 1077944384 18361 0 0 0 2116 1 0 0 20 0 17 0 67479969 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482336237936 140482839509634 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19960] ppid=19949 vsize=10750924 memory=8294944 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19960/stat : 19960 (java) S 19949 19952 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 67479969 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482335183968 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19961] ppid=19949 vsize=10750924 memory=8294944 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19961/stat : 19961 (java) S 19949 19952 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 67479970 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482334131072 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19962] ppid=19949 vsize=10750924 memory=8294944 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19962/stat : 19962 (java) S 19949 19952 17093 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 67479972 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482333079376 140482839517083 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19963] ppid=19949 vsize=10750924 memory=8296992 CPUtime=1.17 cores=0,2,4,6
/proc/19952/task/19963/stat : 19963 (java) S 19949 19952 17093 0 -1 1077944384 3672 0 0 0 117 0 0 0 20 0 17 0 67479972 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482332027760 140482839509634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19964] ppid=19949 vsize=10750924 memory=8296992 CPUtime=1.17 cores=0,2,4,6
/proc/19952/task/19964/stat : 19964 (java) S 19949 19952 17093 0 -1 1077944384 2329 0 0 0 117 0 0 0 20 0 17 0 67479972 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482330974960 140482839509634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19965] ppid=19949 vsize=10750924 memory=57 CPUtime=0.44 cores=0,2,4,6
/proc/19952/task/19965/stat : 19965 (java) S 19949 19952 17093 0 -1 1077944384 3800 0 0 0 43 1 0 0 20 0 17 0 67479972 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482329922160 140482839509634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19966] ppid=19949 vsize=10750924 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19952/task/19966/stat : 19966 (java) S 19949 19952 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 67479973 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482328869600 140482839508693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
[pid=19952/tid=19967] ppid=19949 vsize=10750924 memory=8296992 CPUtime=0.03 cores=0,2,4,6
/proc/19952/task/19967/stat : 19967 (java) S 19949 19952 17093 0 -1 1077944384 153 0 0 0 2 1 0 0 20 0 17 0 67479978 11008946176 2074256 18446744073709551615 4194304 4196468 140734718024064 140482327816880 140482839509634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14970880 140734718030229 140734718030382 140734718030382 140734718033871 0
Current children cumulated CPU time: 259.21 s
Current children cumulated vsize: 10750924 KiB
Current children cumulated memory: 8297024 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 90.7451
CPU time (s): 259.258
CPU user time (s): 253.282
CPU system time (s): 5.97606
CPU usage (%): 285.699
Max. virtual memory (cumulated for all children) (KiB): 10750924
Max. memory (cumulated for all children) (KiB): 8297024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.282
system time used= 5.97605
maximum resident set size= 8297612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150978
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4828
involuntary context switches= 4053
# summary of solver processes directly reported to runsolver:
# pid: 19952
# total CPU time (s): 259.258
# total CPU user time (s): 253.282
# total CPU system time (s): 5.97606
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.539657 second user time and 0.910749 second system time
The end