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 (7854 MiB free)
memory of node 1: 16384 MiB (14405 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305125-1534116811/watcher-4305125-1534116811 -o /tmp/evaluation-result-4305125-1534116811/solver-4305125-1534116811 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534099504-1961 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1353671071 HOME/instance-4305125-1534116811.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=5542, runsolver pid=5539
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 1.30 1.43 1.50 3/206 5599
/proc/meminfo: memFree=22787760/32770624 swapFree=67108804/67108860
[pid=5542] ppid=5539 vsize=10005480 memory=15176 CPUtime=0.08 cores=1,3,5,7
/proc/5542/stat : 5542 (java) S 5539 5542 1929 0 -1 1077944320 4447 12845 0 0 1 0 4 3 20 0 6 0 229244281 10245611520 3794 33554432000 4194304 4196468 140732195671264 140732195653808 140256548380407 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
/proc/5542/statm: 2501370 3794 1934 1 0 2489808 0
[pid=5542/tid=5595] ppid=5539 vsize=10005480 memory=-8530227557020516289 CPUtime=0.08 cores=1,3,5,7
/proc/5542/task/5595/stat : 5595 (java) R 5539 5542 1929 0 -1 4202560 2306 12845 0 0 1 0 4 3 20 0 6 0 229244290 10245611520 3860 33554432000 4194304 4196468 140732195671264 140256520217168 140256541477243 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5596] ppid=5539 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5596/stat : 5596 (java) S 5539 5542 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 6 0 229244291 10245611520 3860 33554432000 4194304 4196468 140732195671264 140256552622480 140256548390613 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5597] ppid=5539 vsize=10005480 memory=140068459894400 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5597/stat : 5597 (java) S 5539 5542 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 6 0 229244291 10245611520 3860 33554432000 4194304 4196468 140732195671264 140256453110032 140256548390613 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5598] ppid=5539 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5598/stat : 5598 (java) S 5539 5542 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 6 0 229244291 10245611520 3860 33554432000 4194304 4196468 140732195671264 140256087476880 140256548390613 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5599] ppid=5539 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5599/stat : 5599 (java) S 5539 5542 1929 0 -1 1077944384 2 12845 0 0 0 0 4 3 20 0 6 0 229244291 10245611520 3860 33554432000 4194304 4196468 140732195671264 140256086424080 140256548390613 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 15176 KiB
[startup+0.20987 s]*
/proc/loadavg: 1.30 1.43 1.50 3/215 5608
/proc/meminfo: memFree=22765016/32770624 swapFree=67108804/67108860
[pid=5542] ppid=5539 vsize=10982696 memory=42920 CPUtime=0.25 cores=1,3,5,7
/proc/5542/stat : 5542 (java) S 5539 5542 1929 0 -1 1077944320 8605 12845 0 0 17 1 4 3 20 0 15 0 229244281 11246280704 10730 33554432000 4194304 4196468 140732195671264 140732195653808 140256548380407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
/proc/5542/statm: 2745674 10730 2964 1 0 2708109 0
[pid=5542/tid=5595] ppid=5539 vsize=10982696 memory=8514701219931451533 CPUtime=0.19 cores=1,3,5,7
/proc/5542/task/5595/stat : 5595 (java) R 5539 5542 1929 0 -1 4202560 5038 12845 0 0 11 1 4 3 20 0 15 0 229244290 11246280704 10730 33554432000 4194304 4196468 140732195671264 140256520167552 140256529943894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5596] ppid=5539 vsize=10982696 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5596/stat : 5596 (java) S 5539 5542 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 229244291 11246280704 10730 33554432000 4194304 4196468 140732195671264 140256552622480 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5597] ppid=5539 vsize=10982696 memory=140068459894400 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5597/stat : 5597 (java) S 5539 5542 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 229244291 11246280704 10730 33554432000 4194304 4196468 140732195671264 140256453110032 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5598] ppid=5539 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5598/stat : 5598 (java) S 5539 5542 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 229244291 11246280704 10730 33554432000 4194304 4196468 140732195671264 140256087476880 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5599] ppid=5539 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5599/stat : 5599 (java) S 5539 5542 1929 0 -1 1077944384 2 12845 0 0 0 0 4 3 20 0 15 0 229244291 11246280704 10730 33554432000 4194304 4196468 140732195671264 140256086424080 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5600] ppid=5539 vsize=10982696 memory=140068459894400 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5600/stat : 5600 (java) S 5539 5542 1929 0 -1 1077944384 2 12845 0 0 0 0 4 3 20 0 15 0 229244292 11246280704 10730 33554432000 4194304 4196468 140732195671264 140255973829232 140256548391554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5601] ppid=5539 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5601/stat : 5601 (java) S 5539 5542 1929 0 -1 1077944384 13 12845 0 0 0 0 4 3 20 0 15 0 229244292 11246280704 10730 33554432000 4194304 4196468 140732195671264 140255324792096 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5602] ppid=5539 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5602/stat : 5602 (java) S 5539 5542 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 229244293 11246280704 10730 33554432000 4194304 4196468 140732195671264 140255176943216 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5603] ppid=5539 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5603/stat : 5603 (java) S 5539 5542 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 229244295 11246280704 10730 33554432000 4194304 4196468 140732195671264 140254869543504 140256548399003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5604] ppid=5539 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5542/task/5604/stat : 5604 (java) S 5539 5542 1929 0 -1 1077944384 363 12845 0 0 1 0 4 3 20 0 15 0 229244295 11246280704 10730 33554432000 4194304 4196468 140732195671264 140255972776048 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5605] ppid=5539 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5542/task/5605/stat : 5605 (java) S 5539 5542 1929 0 -1 1077944384 291 12845 0 0 1 0 4 3 20 0 15 0 229244295 11246280704 10730 33554432000 4194304 4196468 140732195671264 140255971723248 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5606] ppid=5539 vsize=10982696 memory=140068459894400 CPUtime=0.1 cores=1,3,5,7
/proc/5542/task/5606/stat : 5606 (java) S 5539 5542 1929 0 -1 1077944384 692 12845 0 0 3 0 4 3 20 0 15 0 229244295 11246280704 10730 33554432000 4194304 4196468 140732195671264 140255970670960 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5607] ppid=5539 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5607/stat : 5607 (java) S 5539 5542 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 229244296 11246280704 10730 33554432000 4194304 4196468 140732195671264 140254438746592 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5608] ppid=5539 vsize=10982696 memory=140068459894400 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5608/stat : 5608 (java) S 5539 5542 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 229244296 11246280704 10730 33554432000 4194304 4196468 140732195671264 140255969618864 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 42920 KiB
[startup+0.310459 s]*
/proc/loadavg: 1.30 1.43 1.50 3/215 5608
/proc/meminfo: memFree=22754500/32770624 swapFree=67108804/67108860
[pid=5542] ppid=5539 vsize=10983192 memory=54284 CPUtime=0.38 cores=1,3,5,7
/proc/5542/stat : 5542 (java) S 5539 5542 1929 0 -1 1077944320 10656 12845 0 0 29 2 4 3 20 0 15 0 229244281 11246788608 13571 33554432000 4194304 4196468 140732195671264 140732195653808 140256548380407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
/proc/5542/statm: 2745798 13571 3096 1 0 2708109 0
[pid=5542/tid=5595] ppid=5539 vsize=10983192 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/5542/task/5595/stat : 5595 (java) R 5539 5542 1929 0 -1 4202560 7060 12845 0 0 19 2 4 3 20 0 15 0 229244290 11246788608 13571 33554432000 4194304 4196468 140732195671264 140256520192416 140256531773744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5596] ppid=5539 vsize=10983192 memory=7301013748478791760 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5596/stat : 5596 (java) S 5539 5542 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 229244291 11246788608 13571 33554432000 4194304 4196468 140732195671264 140256552622480 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5597] ppid=5539 vsize=10983192 memory=2072 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5597/stat : 5597 (java) S 5539 5542 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 229244291 11246788608 13571 33554432000 4194304 4196468 140732195671264 140256453110032 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5598] ppid=5539 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5598/stat : 5598 (java) S 5539 5542 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 229244291 11246788608 13571 33554432000 4194304 4196468 140732195671264 140256087476880 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5599] ppid=5539 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5599/stat : 5599 (java) S 5539 5542 1929 0 -1 1077944384 2 12845 0 0 0 0 4 3 20 0 15 0 229244291 11246788608 13571 33554432000 4194304 4196468 140732195671264 140256086424080 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5600] ppid=5539 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5600/stat : 5600 (java) S 5539 5542 1929 0 -1 1077944384 2 12845 0 0 0 0 4 3 20 0 15 0 229244292 11246788608 13571 33554432000 4194304 4196468 140732195671264 140255973829232 140256548391554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5601] ppid=5539 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5601/stat : 5601 (java) S 5539 5542 1929 0 -1 1077944384 13 12845 0 0 0 0 4 3 20 0 15 0 229244292 11246788608 13571 33554432000 4194304 4196468 140732195671264 140255324792096 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5602] ppid=5539 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5602/stat : 5602 (java) S 5539 5542 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 229244293 11246788608 13571 33554432000 4194304 4196468 140732195671264 140255176943216 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5603] ppid=5539 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5603/stat : 5603 (java) S 5539 5542 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 229244295 11246788608 13571 33554432000 4194304 4196468 140732195671264 140254869543504 140256548399003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5604] ppid=5539 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5542/task/5604/stat : 5604 (java) S 5539 5542 1929 0 -1 1077944384 368 12845 0 0 1 0 4 3 20 0 15 0 229244295 11246788608 13571 33554432000 4194304 4196468 140732195671264 140255972776048 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5605] ppid=5539 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5542/task/5605/stat : 5605 (java) S 5539 5542 1929 0 -1 1077944384 292 12845 0 0 1 0 4 3 20 0 15 0 229244295 11246788608 13571 33554432000 4194304 4196468 140732195671264 140255971723248 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5606] ppid=5539 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5542/task/5606/stat : 5606 (java) S 5539 5542 1929 0 -1 1077944384 717 12845 0 0 5 0 4 3 20 0 15 0 229244295 11246788608 13571 33554432000 4194304 4196468 140732195671264 140255970670960 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5607] ppid=5539 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5607/stat : 5607 (java) S 5539 5542 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 229244296 11246788608 13571 33554432000 4194304 4196468 140732195671264 140254438746592 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5608] ppid=5539 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5608/stat : 5608 (java) S 5539 5542 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 229244296 11246788608 13571 33554432000 4194304 4196468 140732195671264 140255969618864 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54284 KiB
[startup+0.701717 s]
/proc/loadavg: 1.30 1.43 1.50 3/215 5608
/proc/meminfo: memFree=22742220/32770624 swapFree=67108804/67108860
[pid=5542] ppid=5539 vsize=10983192 memory=87856 CPUtime=1 cores=1,3,5,7
/proc/5542/stat : 5542 (java) S 5539 5542 1929 0 -1 1077944320 17169 12845 0 0 88 5 4 3 20 0 15 0 229244281 11246788608 21964 33554432000 4194304 4196468 140732195671264 140732195653808 140256548380407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
/proc/5542/statm: 2745798 21964 3237 1 0 2708109 0
[pid=5542/tid=5595] ppid=5539 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/5542/task/5595/stat : 5595 (java) R 5539 5542 1929 0 -1 4202560 12471 12845 0 0 56 3 4 3 20 0 15 0 229244290 11246788608 21964 33554432000 4194304 4196468 140732195671264 140256520201232 140256532460894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5596] ppid=5539 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5596/stat : 5596 (java) S 5539 5542 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 229244291 11246788608 21964 33554432000 4194304 4196468 140732195671264 140256552622480 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5597] ppid=5539 vsize=10983192 memory=3708 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5597/stat : 5597 (java) S 5539 5542 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 229244291 11246788608 21964 33554432000 4194304 4196468 140732195671264 140256453110032 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5598] ppid=5539 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5598/stat : 5598 (java) S 5539 5542 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 229244291 11246788608 21964 33554432000 4194304 4196468 140732195671264 140256087476880 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5599] ppid=5539 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5599/stat : 5599 (java) S 5539 5542 1929 0 -1 1077944384 2 12845 0 0 0 0 4 3 20 0 15 0 229244291 11246788608 21964 33554432000 4194304 4196468 140732195671264 140256086424080 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5600] ppid=5539 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5600/stat : 5600 (java) S 5539 5542 1929 0 -1 1077944384 5 12845 0 0 0 0 4 3 20 0 15 0 229244292 11246788608 21964 33554432000 4194304 4196468 140732195671264 140255973829232 140256548391554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5601] ppid=5539 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5601/stat : 5601 (java) S 5539 5542 1929 0 -1 1077944384 13 12845 0 0 0 0 4 3 20 0 15 0 229244292 11246788608 21964 33554432000 4194304 4196468 140732195671264 140255324792096 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5602] ppid=5539 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5602/stat : 5602 (java) S 5539 5542 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 229244293 11246788608 21964 33554432000 4194304 4196468 140732195671264 140255176943216 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5603] ppid=5539 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5603/stat : 5603 (java) S 5539 5542 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 229244295 11246788608 21964 33554432000 4194304 4196468 140732195671264 140254869543504 140256548399003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5604] ppid=5539 vsize=10983192 memory=13252 CPUtime=0.14 cores=1,3,5,7
/proc/5542/task/5604/stat : 5604 (java) S 5539 5542 1929 0 -1 1077944384 654 12845 0 0 7 0 4 3 20 0 15 0 229244295 11246788608 21964 33554432000 4194304 4196468 140732195671264 140255972776048 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5605] ppid=5539 vsize=10983192 memory=15460 CPUtime=0.17 cores=1,3,5,7
/proc/5542/task/5605/stat : 5605 (java) S 5539 5542 1929 0 -1 1077944384 905 12845 0 0 10 0 4 3 20 0 15 0 229244295 11246788608 21964 33554432000 4194304 4196468 140732195671264 140255971723248 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5606] ppid=5539 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/5542/task/5606/stat : 5606 (java) S 5539 5542 1929 0 -1 1077944384 915 12845 0 0 13 0 4 3 20 0 15 0 229244295 11246788608 21964 33554432000 4194304 4196468 140732195671264 140255970670960 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5607] ppid=5539 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5607/stat : 5607 (java) S 5539 5542 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 229244296 11246788608 21964 33554432000 4194304 4196468 140732195671264 140254438746592 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5608] ppid=5539 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5608/stat : 5608 (java) S 5539 5542 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 229244296 11246788608 21964 33554432000 4194304 4196468 140732195671264 140255969618864 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87856 KiB
[startup+1.50212 s]
/proc/loadavg: 1.43 1.46 1.50 3/215 5608
/proc/meminfo: memFree=22695268/32770624 swapFree=67108804/67108860
[pid=5542] ppid=5539 vsize=10998092 memory=176472 CPUtime=2.28 cores=1,3,5,7
/proc/5542/stat : 5542 (java) S 5539 5542 1929 0 -1 1077944320 24355 12845 0 0 211 10 4 3 20 0 15 0 229244281 11262046208 44118 33554432000 4194304 4196468 140732195671264 140732195653808 140256548380407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
/proc/5542/statm: 2749523 44118 3467 1 0 2711181 0
[pid=5542/tid=5595] ppid=5539 vsize=10998092 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/5542/task/5595/stat : 5595 (java) R 5539 5542 1929 0 -1 4202560 18128 12845 0 0 129 6 4 3 20 0 15 0 229244290 11262046208 44118 33554432000 4194304 4196468 140732195671264 140256520212672 140256548402333 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5596] ppid=5539 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5542/task/5596/stat : 5596 (java) S 5539 5542 1929 0 -1 1077944384 21 12845 0 0 1 0 4 3 20 0 15 0 229244291 11262046208 44118 33554432000 4194304 4196468 140732195671264 140256552622480 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5597] ppid=5539 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5542/task/5597/stat : 5597 (java) S 5539 5542 1929 0 -1 1077944384 14 12845 0 0 1 0 4 3 20 0 15 0 229244291 11262046208 44118 33554432000 4194304 4196468 140732195671264 140256453110032 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5598] ppid=5539 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5542/task/5598/stat : 5598 (java) S 5539 5542 1929 0 -1 1077944384 190 12845 0 0 1 0 4 3 20 0 15 0 229244291 11262046208 44118 33554432000 4194304 4196468 140732195671264 140256087476880 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5599] ppid=5539 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5599/stat : 5599 (java) S 5539 5542 1929 0 -1 1077944384 65 12845 0 0 0 0 4 3 20 0 15 0 229244291 11262046208 44118 33554432000 4194304 4196468 140732195671264 140256086424080 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5600] ppid=5539 vsize=10998092 memory=1399103955520229747 CPUtime=0.08 cores=1,3,5,7
/proc/5542/task/5600/stat : 5600 (java) S 5539 5542 1929 0 -1 1077944384 56 12845 0 0 1 0 4 3 20 0 15 0 229244292 11262046208 44118 33554432000 4194304 4196468 140732195671264 140255973829232 140256548391554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5601] ppid=5539 vsize=10998092 memory=280136691820800 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5601/stat : 5601 (java) S 5539 5542 1929 0 -1 1077944384 14 12845 0 0 0 0 4 3 20 0 15 0 229244292 11262046208 44118 33554432000 4194304 4196468 140732195671264 140255324792160 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5602] ppid=5539 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5602/stat : 5602 (java) S 5539 5542 1929 0 -1 1077944384 2 12845 0 0 0 0 4 3 20 0 15 0 229244293 11262046208 44118 33554432000 4194304 4196468 140732195671264 140255176943232 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5603] ppid=5539 vsize=10998092 memory=1084 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5603/stat : 5603 (java) S 5539 5542 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 229244295 11262046208 44118 33554432000 4194304 4196468 140732195671264 140254869543504 140256548399003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5604] ppid=5539 vsize=10998092 memory=1600 CPUtime=0.25 cores=1,3,5,7
/proc/5542/task/5604/stat : 5604 (java) S 5539 5542 1929 0 -1 1077944384 758 12845 0 0 18 0 4 3 20 0 15 0 229244295 11262046208 44118 33554432000 4194304 4196468 140732195671264 140255972776048 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5605] ppid=5539 vsize=10998092 memory=7952 CPUtime=0.3 cores=1,3,5,7
/proc/5542/task/5605/stat : 5605 (java) S 5539 5542 1929 0 -1 1077944384 1366 12845 0 0 23 0 4 3 20 0 15 0 229244295 11262046208 44118 33554432000 4194304 4196468 140732195671264 140255971723248 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5606] ppid=5539 vsize=10998092 memory=4088 CPUtime=0.39 cores=1,3,5,7
/proc/5542/task/5606/stat : 5606 (java) S 5539 5542 1929 0 -1 1077944384 1541 12845 0 0 32 0 4 3 20 0 15 0 229244295 11262046208 44118 33554432000 4194304 4196468 140732195671264 140255970670960 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5607] ppid=5539 vsize=10998092 memory=1784 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5607/stat : 5607 (java) S 5539 5542 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 229244296 11262046208 44118 33554432000 4194304 4196468 140732195671264 140254438746592 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5608] ppid=5539 vsize=10998092 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5608/stat : 5608 (java) S 5539 5542 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 229244296 11262046208 44118 33554432000 4194304 4196468 140732195671264 140255969618864 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/5542/statm: 2752088 66277 3499 1 0 2713741 0
[pid=5542/tid=5595] ppid=5539 vsize=11008352 memory=280136692239680 CPUtime=2.98 cores=1,3,5,7
/proc/5542/task/5595/stat : 5595 (java) R 5539 5542 1929 0 -1 4202560 28084 12845 0 0 282 9 4 3 20 0 15 0 229244290 11272552448 66277 33554432000 4194304 4196468 140732195671264 140256520212144 140256548401754 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5596] ppid=5539 vsize=11008352 memory=388 CPUtime=0.1 cores=1,3,5,7
/proc/5542/task/5596/stat : 5596 (java) S 5539 5542 1929 0 -1 1077944384 36 12845 0 0 3 0 4 3 20 0 15 0 229244291 11272552448 66277 33554432000 4194304 4196468 140732195671264 140256552622480 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5597] ppid=5539 vsize=11008352 memory=6944656592387989600 CPUtime=0.1 cores=1,3,5,7
/proc/5542/task/5597/stat : 5597 (java) S 5539 5542 1929 0 -1 1077944384 25 12845 0 0 3 0 4 3 20 0 15 0 229244291 11272552448 66277 33554432000 4194304 4196468 140732195671264 140256453110032 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5598] ppid=5539 vsize=11008352 memory=55 CPUtime=0.1 cores=1,3,5,7
/proc/5542/task/5598/stat : 5598 (java) S 5539 5542 1929 0 -1 1077944384 194 12845 0 0 3 0 4 3 20 0 15 0 229244291 11272552448 66277 33554432000 4194304 4196468 140732195671264 140256087476880 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5599] ppid=5539 vsize=11008352 memory=8463010836841560325 CPUtime=0.09 cores=1,3,5,7
/proc/5542/task/5599/stat : 5599 (java) S 5539 5542 1929 0 -1 1077944384 88 12845 0 0 2 0 4 3 20 0 15 0 229244291 11272552448 66277 33554432000 4194304 4196468 140732195671264 140256086424080 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5600] ppid=5539 vsize=11008352 memory=8463010836858337701 CPUtime=0.1 cores=1,3,5,7
/proc/5542/task/5600/stat : 5600 (java) S 5539 5542 1929 0 -1 1077944384 1408 12845 0 0 3 0 4 3 20 0 15 0 229244292 11272552448 66277 33554432000 4194304 4196468 140732195671264 140255973829232 140256548391554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5601] ppid=5539 vsize=11008352 memory=8386028100004163634 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5601/stat : 5601 (java) S 5539 5542 1929 0 -1 1077944384 14 12845 0 0 0 0 4 3 20 0 15 0 229244292 11272552448 66277 33554432000 4194304 4196468 140732195671264 140255324792160 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5602] ppid=5539 vsize=11008352 memory=280136692073984 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5602/stat : 5602 (java) S 5539 5542 1929 0 -1 1077944384 2 12845 0 0 0 0 4 3 20 0 15 0 229244293 11272552448 66277 33554432000 4194304 4196468 140732195671264 140255176943232 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5603] ppid=5539 vsize=11008352 memory=8025788835636668518 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5603/stat : 5603 (java) S 5539 5542 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 229244295 11272552448 66277 33554432000 4194304 4196468 140732195671264 140254869543504 140256548399003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5604] ppid=5539 vsize=11008352 memory=5860704123658201174 CPUtime=1.08 cores=1,3,5,7
/proc/5542/task/5604/stat : 5604 (java) S 5539 5542 1929 0 -1 1077944384 2982 12845 0 0 100 1 4 3 20 0 15 0 229244295 11272552448 66277 33554432000 4194304 4196468 140732195671264 140255972776048 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5605] ppid=5539 vsize=11008352 memory=8099531882097108048 CPUtime=0.83 cores=1,3,5,7
/proc/5542/task/5605/stat : 5605 (java) R 5539 5542 1929 0 -1 4202560 1872 12845 0 0 75 1 4 3 20 0 15 0 229244295 11272552448 66277 33554432000 4194304 4196468 140732195671264 140255971703152 140256548401754 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5606] ppid=5539 vsize=11008352 memory=288230574492221466 CPUtime=1.12 cores=1,3,5,7
/proc/5542/task/5606/stat : 5606 (java) S 5539 5542 1929 0 -1 1077944384 4115 12845 0 0 104 1 4 3 20 0 15 0 229244295 11272552448 66277 33554432000 4194304 4196468 140732195671264 140255970670960 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5607] ppid=5539 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5607/stat : 5607 (java) S 5539 5542 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 229244296 11272552448 66277 33554432000 4194304 4196468 140732195671264 140254438746592 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5608] ppid=5539 vsize=11008352 memory=2193 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5608/stat : 5608 (java) S 5539 5542 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 229244296 11272552448 66277 33554432000 4194304 4196468 140732195671264 140255969618864 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 265108 KiB
[startup+4.56417 s]
# the end of solver process 5542 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.37201 s, system=0.279813 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20093 s]
/proc/loadavg: 1.43 1.46 1.50 4/215 5608
/proc/meminfo: memFree=22564144/32770624 swapFree=67108804/67108860
[pid=5542] ppid=5539 vsize=11008352 memory=267524 CPUtime=6.32 cores=1,3,5,7
/proc/5542/stat : 5542 (java) S 5539 5542 1929 0 -1 1077944320 43758 12845 0 0 607 18 4 3 20 0 15 0 229244281 11272552448 66881 33554432000 4194304 4196468 140732195671264 140732195653808 140256548380407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
/proc/5542/statm: 2752088 66881 3500 1 0 2713741 0
[pid=5542/tid=5595] ppid=5539 vsize=11008352 memory=0 CPUtime=3.07 cores=1,3,5,7
/proc/5542/task/5595/stat : 5595 (java) R 5539 5542 1929 0 -1 4202560 29269 12845 0 0 291 9 4 3 20 0 15 0 229244290 11272552448 66881 33554432000 4194304 4196468 140732195671264 140256520212064 140256125821227 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5596] ppid=5539 vsize=11008352 memory=6656426216303648864 CPUtime=0.1 cores=1,3,5,7
/proc/5542/task/5596/stat : 5596 (java) S 5539 5542 1929 0 -1 1077944384 36 12845 0 0 3 0 4 3 20 0 15 0 229244291 11272552448 66881 33554432000 4194304 4196468 140732195671264 140256552622480 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5597] ppid=5539 vsize=11008352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/5542/task/5597/stat : 5597 (java) S 5539 5542 1929 0 -1 1077944384 25 12845 0 0 3 0 4 3 20 0 15 0 229244291 11272552448 66881 33554432000 4194304 4196468 140732195671264 140256453110032 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5598] ppid=5539 vsize=11008352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/5542/task/5598/stat : 5598 (java) S 5539 5542 1929 0 -1 1077944384 194 12845 0 0 3 0 4 3 20 0 15 0 229244291 11272552448 66881 33554432000 4194304 4196468 140732195671264 140256087476880 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5599] ppid=5539 vsize=11008352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5542/task/5599/stat : 5599 (java) S 5539 5542 1929 0 -1 1077944384 88 12845 0 0 2 0 4 3 20 0 15 0 229244291 11272552448 66881 33554432000 4194304 4196468 140732195671264 140256086424080 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5600] ppid=5539 vsize=11008352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/5542/task/5600/stat : 5600 (java) S 5539 5542 1929 0 -1 1077944384 1408 12845 0 0 3 0 4 3 20 0 15 0 229244292 11272552448 66881 33554432000 4194304 4196468 140732195671264 140255973829232 140256548391554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5601] ppid=5539 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5601/stat : 5601 (java) S 5539 5542 1929 0 -1 1077944384 14 12845 0 0 0 0 4 3 20 0 15 0 229244292 11272552448 66881 33554432000 4194304 4196468 140732195671264 140255324792160 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5602] ppid=5539 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5602/stat : 5602 (java) S 5539 5542 1929 0 -1 1077944384 2 12845 0 0 0 0 4 3 20 0 15 0 229244293 11272552448 66881 33554432000 4194304 4196468 140732195671264 140255176943232 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5603] ppid=5539 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5603/stat : 5603 (java) S 5539 5542 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 229244295 11272552448 66881 33554432000 4194304 4196468 140732195671264 140254869543504 140256548399003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5604] ppid=5539 vsize=11008352 memory=0 CPUtime=1.13 cores=1,3,5,7
/proc/5542/task/5604/stat : 5604 (java) S 5539 5542 1929 0 -1 1077944384 3301 12845 0 0 105 1 4 3 20 0 15 0 229244295 11272552448 66881 33554432000 4194304 4196468 140732195671264 140255972776048 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5605] ppid=5539 vsize=11008352 memory=1260 CPUtime=0.91 cores=1,3,5,7
/proc/5542/task/5605/stat : 5605 (java) S 5539 5542 1929 0 -1 1077944384 2618 12845 0 0 83 1 4 3 20 0 15 0 229244295 11272552448 66881 33554432000 4194304 4196468 140732195671264 140255971723248 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5606] ppid=5539 vsize=11008352 memory=14872 CPUtime=1.18 cores=1,3,5,7
/proc/5542/task/5606/stat : 5606 (java) S 5539 5542 1929 0 -1 1077944384 4603 12845 0 0 109 2 4 3 20 0 15 0 229244295 11272552448 66881 33554432000 4194304 4196468 140732195671264 140255970670960 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5607] ppid=5539 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5607/stat : 5607 (java) S 5539 5542 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 229244296 11272552448 66881 33554432000 4194304 4196468 140732195671264 140254438746592 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5608] ppid=5539 vsize=11008352 memory=6788 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5608/stat : 5608 (java) S 5539 5542 1929 0 -1 1077944384 1 12845 0 0 0 0 4 3 20 0 15 0 229244296 11272552448 66881 33554432000 4194304 4196468 140732195671264 140255969618864 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
Current children cumulated CPU time: 6.32 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 267524 KiB
[startup+4.00076 s]*
/proc/loadavg: 1.43 1.46 1.50 4/215 5608
/proc/meminfo: memFree=22507244/32770624 swapFree=67108804/67108860
[pid=5542] ppid=5539 vsize=11012448 memory=288908 CPUtime=8.57 cores=1,3,5,7
/proc/5542/stat : 5542 (java) S 5539 5542 1929 0 -1 1077944320 64631 12845 0 0 830 20 4 3 20 0 15 0 229244281 11276746752 72227 33554432000 4194304 4196468 140732195671264 140732195653808 140256548380407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
/proc/5542/statm: 2753112 72227 3509 1 0 2714765 0
[pid=5542/tid=5595] ppid=5539 vsize=11012448 memory=8514701219931451533 CPUtime=3.88 cores=1,3,5,7
/proc/5542/task/5595/stat : 5595 (java) R 5539 5542 1929 0 -1 4202560 40993 12845 0 0 371 10 4 3 20 0 15 0 229244290 11276746752 72227 33554432000 4194304 4196468 140732195671264 140256520196160 140256529943963 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5596] ppid=5539 vsize=11012448 memory=3691042058319900680 CPUtime=0.1 cores=1,3,5,7
/proc/5542/task/5596/stat : 5596 (java) S 5539 5542 1929 0 -1 1077944384 36 12845 0 0 3 0 4 3 20 0 15 0 229244291 11276746752 72227 33554432000 4194304 4196468 140732195671264 140256552622480 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5597] ppid=5539 vsize=11012448 memory=2319547985495328436 CPUtime=0.1 cores=1,3,5,7
/proc/5542/task/5597/stat : 5597 (java) S 5539 5542 1929 0 -1 1077944384 25 12845 0 0 3 0 4 3 20 0 15 0 229244291 11276746752 72227 33554432000 4194304 4196468 140732195671264 140256453110032 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5598] ppid=5539 vsize=11012448 memory=8470556256330945681 CPUtime=0.1 cores=1,3,5,7
/proc/5542/task/5598/stat : 5598 (java) S 5539 5542 1929 0 -1 1077944384 194 12845 0 0 3 0 4 3 20 0 15 0 229244291 11276746752 72227 33554432000 4194304 4196468 140732195671264 140256087476880 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5599] ppid=5539 vsize=11012448 memory=23802708755432 CPUtime=0.09 cores=1,3,5,7
/proc/5542/task/5599/stat : 5599 (java) S 5539 5542 1929 0 -1 1077944384 88 12845 0 0 2 0 4 3 20 0 15 0 229244291 11276746752 72227 33554432000 4194304 4196468 140732195671264 140256086424080 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5600] ppid=5539 vsize=11012448 memory=3834146267629697014 CPUtime=0.1 cores=1,3,5,7
/proc/5542/task/5600/stat : 5600 (java) S 5539 5542 1929 0 -1 1077944384 1430 12845 0 0 3 0 4 3 20 0 15 0 229244292 11276746752 72227 33554432000 4194304 4196468 140732195671264 140255973829232 140256548391554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5601] ppid=5539 vsize=11012448 memory=3835151757478082865 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5601/stat : 5601 (java) S 5539 5542 1929 0 -1 1077944384 14 12845 0 0 0 0 4 3 20 0 15 0 229244292 11276746752 72227 33554432000 4194304 4196468 140732195671264 140255324792160 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5602] ppid=5539 vsize=11012448 memory=7517749588055517543 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5602/stat : 5602 (java) S 5539 5542 1929 0 -1 1077944384 2 12845 0 0 0 0 4 3 20 0 15 0 229244293 11276746752 72227 33554432000 4194304 4196468 140732195671264 140255176943232 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5603] ppid=5539 vsize=11012448 memory=380 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5603/stat : 5603 (java) S 5539 5542 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 229244295 11276746752 72227 33554432000 4194304 4196468 140732195671264 140254869543504 140256548399003 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5604] ppid=5539 vsize=11012448 memory=637 CPUtime=1.62 cores=1,3,5,7
/proc/5542/task/5604/stat : 5604 (java) S 5539 5542 1929 0 -1 1077944384 4800 12845 0 0 153 2 4 3 20 0 15 0 229244295 11276746752 72227 33554432000 4194304 4196468 140732195671264 140255972776048 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5605] ppid=5539 vsize=11012448 memory=137 CPUtime=1.52 cores=1,3,5,7
/proc/5542/task/5605/stat : 5605 (java) R 5539 5542 1929 0 -1 4202560 7443 12845 0 0 144 1 4 3 20 0 15 0 229244295 11276746752 72227 33554432000 4194304 4196468 140732195671264 140255971704264 140256528073499 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5606] ppid=5539 vsize=11012448 memory=193 CPUtime=1.53 cores=1,3,5,7
/proc/5542/task/5606/stat : 5606 (java) S 5539 5542 1929 0 -1 1077944384 7397 12845 0 0 143 3 4 3 20 0 15 0 229244295 11276746752 72227 33554432000 4194304 4196468 140732195671264 140255970670960 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5607] ppid=5539 vsize=11012448 memory=40187 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5607/stat : 5607 (java) S 5539 5542 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 15 0 229244296 11276746752 72227 33554432000 4194304 4196468 140732195671264 140254438746592 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5608] ppid=5539 vsize=11012448 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5608/stat : 5608 (java) S 5539 5542 1929 0 -1 1077944384 10 12845 0 0 0 0 4 3 20 0 15 0 229244296 11276746752 72227 33554432000 4194304 4196468 140732195671264 140255969618864 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
Current children cumulated CPU time: 8.57 s
Current children cumulated vsize: 11012448 KiB
Current children cumulated memory: 288908 KiB
[startup+4.40076 s]
/proc/loadavg: 1.43 1.46 1.50 4/215 5608
/proc/meminfo: memFree=22507244/32770624 swapFree=67108804/67108860
[pid=5542] ppid=5539 vsize=11212820 memory=327468 CPUtime=9.61 cores=1,3,5,7
/proc/5542/stat : 5542 (java) S 5539 5542 1929 0 -1 1077944320 76118 12845 0 0 931 23 4 3 20 0 14 0 229244281 11481927680 81867 33554432000 4194304 4196468 140732195671264 140732195653808 140256548380407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
/proc/5542/statm: 2803205 81867 3511 1 0 2764858 0
[pid=5542/tid=5595] ppid=5539 vsize=11212820 memory=8112282956445269571 CPUtime=4.22 cores=1,3,5,7
/proc/5542/task/5595/stat : 5595 (java) S 5539 5542 1929 0 -1 1077944384 49174 12845 0 0 403 12 4 3 20 0 14 0 229244290 11481927680 81867 33554432000 4194304 4196468 140732195671264 140256520223888 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5596] ppid=5539 vsize=11212820 memory=916 CPUtime=0.1 cores=1,3,5,7
/proc/5542/task/5596/stat : 5596 (java) S 5539 5542 1929 0 -1 1077944384 36 12845 0 0 3 0 4 3 20 0 14 0 229244291 11481927680 81867 33554432000 4194304 4196468 140732195671264 140256552622480 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5597] ppid=5539 vsize=11212820 memory=3848 CPUtime=0.1 cores=1,3,5,7
/proc/5542/task/5597/stat : 5597 (java) S 5539 5542 1929 0 -1 1077944384 25 12845 0 0 3 0 4 3 20 0 14 0 229244291 11481927680 81867 33554432000 4194304 4196468 140732195671264 140256453110032 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5598] ppid=5539 vsize=11212820 memory=2604 CPUtime=0.1 cores=1,3,5,7
/proc/5542/task/5598/stat : 5598 (java) S 5539 5542 1929 0 -1 1077944384 194 12845 0 0 3 0 4 3 20 0 14 0 229244291 11481927680 81867 33554432000 4194304 4196468 140732195671264 140256087476880 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5599] ppid=5539 vsize=11212820 memory=2604 CPUtime=0.09 cores=1,3,5,7
/proc/5542/task/5599/stat : 5599 (java) S 5539 5542 1929 0 -1 1077944384 88 12845 0 0 2 0 4 3 20 0 14 0 229244291 11481927680 81867 33554432000 4194304 4196468 140732195671264 140256086424080 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5600] ppid=5539 vsize=11212820 memory=920 CPUtime=0.1 cores=1,3,5,7
/proc/5542/task/5600/stat : 5600 (java) S 5539 5542 1929 0 -1 1077944384 1638 12845 0 0 3 0 4 3 20 0 14 0 229244292 11481927680 81867 33554432000 4194304 4196468 140732195671264 140255973829440 140256548391554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5601] ppid=5539 vsize=11212820 memory=1572 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5601/stat : 5601 (java) S 5539 5542 1929 0 -1 1077944384 14 12845 0 0 0 0 4 3 20 0 14 0 229244292 11481927680 81867 33554432000 4194304 4196468 140732195671264 140255324792160 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5602] ppid=5539 vsize=11212820 memory=2176 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5602/stat : 5602 (java) S 5539 5542 1929 0 -1 1077944384 2 12845 0 0 0 0 4 3 20 0 14 0 229244293 11481927680 81867 33554432000 4194304 4196468 140732195671264 140255176943232 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5603] ppid=5539 vsize=11212820 memory=3984 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5603/stat : 5603 (java) S 5539 5542 1929 0 -1 1077944384 26 12845 0 0 0 0 4 3 20 0 14 0 229244295 11481927680 81867 33554432000 4194304 4196468 140732195671264 140254869542272 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5604] ppid=5539 vsize=11212820 memory=1916 CPUtime=1.77 cores=1,3,5,7
/proc/5542/task/5604/stat : 5604 (java) S 5539 5542 1929 0 -1 1077944384 4856 12845 0 0 168 2 4 3 20 0 14 0 229244295 11481927680 81867 33554432000 4194304 4196468 140732195671264 140255972761040 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5605] ppid=5539 vsize=11212820 memory=0 CPUtime=1.91 cores=1,3,5,7
/proc/5542/task/5605/stat : 5605 (java) R 5539 5542 1929 0 -1 4202560 10108 12845 0 0 183 1 4 3 20 0 14 0 229244295 11481927680 81867 33554432000 4194304 4196468 140732195671264 140255971709272 140256529924958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5606] ppid=5539 vsize=11212820 memory=4420 CPUtime=1.68 cores=1,3,5,7
/proc/5542/task/5606/stat : 5606 (java) S 5539 5542 1929 0 -1 1077944384 7733 12845 0 0 158 3 4 3 20 0 14 0 229244295 11481927680 81867 33554432000 4194304 4196468 140732195671264 140255970670960 140256548391554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
[pid=5542/tid=5607] ppid=5539 vsize=11212820 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/5542/task/5607/stat : 5607 (java) S 5539 5542 1929 0 -1 1077944384 3 12845 0 0 0 0 4 3 20 0 14 0 229244296 11481927680 81867 33554432000 4194304 4196468 140732195671264 140254438746592 140256548390613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24059904 140732195674732 140732195677532 140732195677532 140732195680207 0
Current children cumulated CPU time: 9.61 s
Current children cumulated vsize: 11212820 KiB
Current children cumulated memory: 327468 KiB
[startup+4.50074 s]*
/proc/loadavg: 1.43 1.46 1.50 2/202 5609
/proc/meminfo: memFree=22792896/32770624 swapFree=67108804/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 4.56421
CPU time (s): 9.65182
CPU user time (s): 9.37201
CPU system time (s): 0.279813
CPU usage (%): 211.468
Max. virtual memory (cumulated for all children) (KiB): 11212820
Max. memory (cumulated for all children) (KiB): 327468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.37201
system time used= 0.279813
maximum resident set size= 329464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88997
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7011
involuntary context switches= 33
# summary of solver processes directly reported to runsolver:
# pid: 5542
# total CPU time (s): 9.65182
# total CPU user time (s): 9.37201
# total CPU system time (s): 0.279813
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050126 second user time and 0.084908 second system time
The end