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 (3012 MiB free)
memory of node 1: 16384 MiB (3008 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403687-1568987983/watcher-4403687-1568987983 -o /tmp/evaluation-result-4403687-1568987983/solver-4403687-1568987983 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568983762-7721 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 576784803 HOME/instance-4403687-1568987983.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=7751, runsolver pid=7744
[startup+0.102271 s]*
/proc/loadavg: 0.67 0.72 0.91 6/228 7782
/proc/meminfo: memFree=6133332/32770624 swapFree=66986244/67108860
[pid=7751] ppid=7744 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7751/stat : 7751 (xcsp3-exec) S 7744 7751 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475055188 115843072 363 33554432000 4194304 5098028 140725059720288 140725059718392 140555428328060 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32276480 140725059728251 140725059728493 140725059728493 140725059731402 0
/proc/7751/statm: 28282 363 304 221 0 87 0
[pid=7754] ppid=7751 vsize=15144776 memory=29100 CPUtime=0.13 cores=0,2,4,6
/proc/7754/stat : 7754 (java) S 7751 7751 7690 0 -1 1077944320 5719 0 0 0 12 1 0 0 20 0 15 0 475055188 15508250624 7275 33554432000 4194304 4196468 140727510447312 140727510429856 140161946582775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
/proc/7754/statm: 3786194 7275 3153 1 0 3748377 0
[pid=7754/tid=7756] ppid=7751 vsize=15144776 memory=-2698087569006908830 CPUtime=0.1 cores=0,2,4,6
/proc/7754/task/7756/stat : 7756 (java) R 7751 7751 7690 0 -1 4202560 3576 0 0 0 9 1 0 0 20 0 15 0 475055188 15508250624 7275 33554432000 4194304 4196468 140727510447312 140161950804048 140161928145113 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7761] ppid=7751 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7761/stat : 7761 (java) S 7751 7751 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475055189 15508250624 7275 33554432000 4194304 4196468 140727510447312 140161899203472 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7762] ppid=7751 vsize=15144776 memory=140015052142208 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7762/stat : 7762 (java) S 7751 7751 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055189 15508250624 7275 33554432000 4194304 4196468 140727510447312 140161898150672 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7763] ppid=7751 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7763/stat : 7763 (java) S 7751 7751 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055189 15508250624 7275 33554432000 4194304 4196468 140727510447312 140161897098384 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7764] ppid=7751 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7764/stat : 7764 (java) S 7751 7751 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475055189 15508250624 7275 33554432000 4194304 4196468 140727510447312 140161535892496 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7766] ppid=7751 vsize=15144776 memory=140015052142208 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7766/stat : 7766 (java) S 7751 7751 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475055190 15508250624 7275 33554432000 4194304 4196468 140727510447312 140161415198832 140161946593922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7768] ppid=7751 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7768/stat : 7768 (java) S 7751 7751 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475055191 15508250624 7275 33554432000 4194304 4196468 140727510447312 140161414144800 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7770] ppid=7751 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7770/stat : 7770 (java) S 7751 7751 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475055191 15508250624 7275 33554432000 4194304 4196468 140727510447312 140161413092464 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7775] ppid=7751 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7775/stat : 7775 (java) S 7751 7751 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475055193 15508250624 7275 33554432000 4194304 4196468 140727510447312 140161412040784 140161946601371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7776] ppid=7751 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7776/stat : 7776 (java) R 7751 7751 7690 0 -1 4202560 339 0 0 0 0 0 0 0 20 0 15 0 475055193 15508250624 7275 33554432000 4194304 4196468 140727510447312 140161410988656 140161930081471 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7777] ppid=7751 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7777/stat : 7777 (java) R 7751 7751 7690 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475055193 15508250624 7275 33554432000 4194304 4196468 140727510447312 140161409935856 140161946593922 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7778] ppid=7751 vsize=15144776 memory=140015052142208 CPUtime=0.02 cores=0,2,4,6
/proc/7754/task/7778/stat : 7778 (java) R 7751 7751 7690 0 -1 4202560 380 0 0 0 2 0 0 0 20 0 15 0 475055193 15508250624 7275 33554432000 4194304 4196468 140727510447312 140161408880504 140161930663262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7780] ppid=7751 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7780/stat : 7780 (java) S 7751 7751 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475055194 15508250624 7275 33554432000 4194304 4196468 140727510447312 140161407831008 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7782] ppid=7751 vsize=15144776 memory=140015052142208 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7782/stat : 7782 (java) R 7751 7751 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055194 15508250624 7275 33554432000 4194304 4196468 140727510447312 140161406777776 140161946593922 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30552 KiB
[startup+0.210869 s]*
/proc/loadavg: 0.67 0.72 0.91 5/228 7782
/proc/meminfo: memFree=6105668/32770624 swapFree=66986244/67108860
[pid=7751] ppid=7744 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7751/stat : 7751 (xcsp3-exec) S 7744 7751 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475055188 115843072 363 33554432000 4194304 5098028 140725059720288 140725059718392 140555428328060 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32276480 140725059728251 140725059728493 140725059728493 140725059731402 0
/proc/7751/statm: 28282 363 304 221 0 87 0
[pid=7754] ppid=7751 vsize=15144776 memory=41060 CPUtime=0.34 cores=0,2,4,6
/proc/7754/stat : 7754 (java) S 7751 7751 7690 0 -1 1077944320 9467 0 0 0 31 3 0 0 20 0 15 0 475055188 15508250624 10265 33554432000 4194304 4196468 140727510447312 140727510429856 140161946582775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
/proc/7754/statm: 3786194 10265 3316 1 0 3748377 0
[pid=7754/tid=7756] ppid=7751 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/7754/task/7756/stat : 7756 (java) R 7751 7751 7690 0 -1 4202560 6612 0 0 0 18 2 0 0 20 0 15 0 475055188 15508250624 10265 33554432000 4194304 4196468 140727510447312 140161950819824 140161946604122 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7761] ppid=7751 vsize=15144776 memory=1898158 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7761/stat : 7761 (java) S 7751 7751 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475055189 15508250624 10265 33554432000 4194304 4196468 140727510447312 140161899203472 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7762] ppid=7751 vsize=15144776 memory=140015055511162 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7762/stat : 7762 (java) S 7751 7751 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055189 15508250624 10265 33554432000 4194304 4196468 140727510447312 140161898150672 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7763] ppid=7751 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7763/stat : 7763 (java) S 7751 7751 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055189 15508250624 10265 33554432000 4194304 4196468 140727510447312 140161897098384 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7764] ppid=7751 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7764/stat : 7764 (java) S 7751 7751 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475055189 15508250624 10265 33554432000 4194304 4196468 140727510447312 140161535892496 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7766] ppid=7751 vsize=15144776 memory=140015052142208 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7766/stat : 7766 (java) S 7751 7751 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475055190 15508250624 10265 33554432000 4194304 4196468 140727510447312 140161415198832 140161946593922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7768] ppid=7751 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7768/stat : 7768 (java) S 7751 7751 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475055191 15508250624 10265 33554432000 4194304 4196468 140727510447312 140161414144800 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7770] ppid=7751 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7770/stat : 7770 (java) S 7751 7751 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475055191 15508250624 10265 33554432000 4194304 4196468 140727510447312 140161413092464 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7775] ppid=7751 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7775/stat : 7775 (java) S 7751 7751 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475055193 15508250624 10265 33554432000 4194304 4196468 140727510447312 140161412040784 140161946601371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7776] ppid=7751 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7754/task/7776/stat : 7776 (java) S 7751 7751 7690 0 -1 1077944384 447 0 0 0 3 0 0 0 20 0 15 0 475055193 15508250624 10265 33554432000 4194304 4196468 140727510447312 140161410988656 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7777] ppid=7751 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/7754/task/7777/stat : 7777 (java) S 7751 7751 7690 0 -1 1077944384 336 0 0 0 2 0 0 0 20 0 15 0 475055193 15508250624 10265 33554432000 4194304 4196468 140727510447312 140161409935856 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7778] ppid=7751 vsize=15144776 memory=140015052142208 CPUtime=0.08 cores=0,2,4,6
/proc/7754/task/7778/stat : 7778 (java) S 7751 7751 7690 0 -1 1077944384 766 0 0 0 8 0 0 0 20 0 15 0 475055193 15508250624 10265 33554432000 4194304 4196468 140727510447312 140161408883568 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7780] ppid=7751 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7780/stat : 7780 (java) S 7751 7751 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475055194 15508250624 10265 33554432000 4194304 4196468 140727510447312 140161407831008 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7782] ppid=7751 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7782/stat : 7782 (java) S 7751 7751 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055194 15508250624 10265 33554432000 4194304 4196468 140727510447312 140161406777776 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42512 KiB
[startup+0.310719 s]*
/proc/loadavg: 0.67 0.72 0.91 6/228 7782
/proc/meminfo: memFree=6090368/32770624 swapFree=66986244/67108860
[pid=7751] ppid=7744 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7751/stat : 7751 (xcsp3-exec) S 7744 7751 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475055188 115843072 363 33554432000 4194304 5098028 140725059720288 140725059718392 140555428328060 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32276480 140725059728251 140725059728493 140725059728493 140725059731402 0
/proc/7751/statm: 28282 363 304 221 0 87 0
[pid=7754] ppid=7751 vsize=15149032 memory=50308 CPUtime=0.52 cores=0,2,4,6
/proc/7754/stat : 7754 (java) S 7751 7751 7690 0 -1 1077944320 10853 0 0 0 49 3 0 0 20 0 15 0 475055188 15512608768 12577 33554432000 4194304 4196468 140727510447312 140727510429856 140161946582775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
/proc/7754/statm: 3787258 12577 3366 1 0 3748377 0
[pid=7754/tid=7756] ppid=7751 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/7754/task/7756/stat : 7756 (java) R 7751 7751 7690 0 -1 4202560 7745 0 0 0 27 2 0 0 20 0 15 0 475055188 15512608768 12577 33554432000 4194304 4196468 140727510447312 140161950814264 140161946604701 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7761] ppid=7751 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7761/stat : 7761 (java) S 7751 7751 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475055189 15512608768 12577 33554432000 4194304 4196468 140727510447312 140161899203472 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7762] ppid=7751 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7762/stat : 7762 (java) S 7751 7751 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055189 15512608768 12577 33554432000 4194304 4196468 140727510447312 140161898150672 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7763] ppid=7751 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7763/stat : 7763 (java) S 7751 7751 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055189 15512608768 12577 33554432000 4194304 4196468 140727510447312 140161897098384 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7764] ppid=7751 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7764/stat : 7764 (java) S 7751 7751 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475055189 15512608768 12577 33554432000 4194304 4196468 140727510447312 140161535892496 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7766] ppid=7751 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7766/stat : 7766 (java) S 7751 7751 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475055190 15512608768 12577 33554432000 4194304 4196468 140727510447312 140161415198832 140161946593922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7768] ppid=7751 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7768/stat : 7768 (java) S 7751 7751 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475055191 15512608768 12577 33554432000 4194304 4196468 140727510447312 140161414144800 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7770] ppid=7751 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7770/stat : 7770 (java) S 7751 7751 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475055191 15512608768 12577 33554432000 4194304 4196468 140727510447312 140161413092464 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7775] ppid=7751 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7775/stat : 7775 (java) S 7751 7751 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475055193 15512608768 12577 33554432000 4194304 4196468 140727510447312 140161412040784 140161946601371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7776] ppid=7751 vsize=15149032 memory=3047711566422646390 CPUtime=0.05 cores=0,2,4,6
/proc/7754/task/7776/stat : 7776 (java) R 7751 7751 7690 0 -1 4202560 584 0 0 0 5 0 0 0 20 0 15 0 475055193 15512608768 12577 33554432000 4194304 4196468 140727510447312 140161410979040 140161946604122 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7777] ppid=7751 vsize=15149032 memory=-8412656567168561567 CPUtime=0.03 cores=0,2,4,6
/proc/7754/task/7777/stat : 7777 (java) S 7751 7751 7690 0 -1 1077944384 342 0 0 0 3 0 0 0 20 0 15 0 475055193 15512608768 12577 33554432000 4194304 4196468 140727510447312 140161409935856 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7778] ppid=7751 vsize=15149032 memory=8325818968683490714 CPUtime=0.12 cores=0,2,4,6
/proc/7754/task/7778/stat : 7778 (java) S 7751 7751 7690 0 -1 1077944384 880 0 0 0 12 0 0 0 20 0 15 0 475055193 15512608768 12577 33554432000 4194304 4196468 140727510447312 140161408883568 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7780] ppid=7751 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7780/stat : 7780 (java) S 7751 7751 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475055194 15512608768 12577 33554432000 4194304 4196468 140727510447312 140161407831008 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7782] ppid=7751 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7782/stat : 7782 (java) S 7751 7751 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475055194 15512608768 12577 33554432000 4194304 4196468 140727510447312 140161406777776 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51760 KiB
[startup+0.702077 s]
/proc/loadavg: 0.67 0.72 0.91 10/228 7782
/proc/meminfo: memFree=6065292/32770624 swapFree=66986244/67108860
[pid=7751] ppid=7744 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7751/stat : 7751 (xcsp3-exec) S 7744 7751 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475055188 115843072 363 33554432000 4194304 5098028 140725059720288 140725059718392 140555428328060 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32276480 140725059728251 140725059728493 140725059728493 140725059731402 0
/proc/7751/statm: 28282 363 304 221 0 87 0
[pid=7754] ppid=7751 vsize=15419460 memory=87896 CPUtime=1.51 cores=0,2,4,6
/proc/7754/stat : 7754 (java) S 7751 7751 7690 0 -1 1077944320 14748 0 0 0 145 6 0 0 20 0 19 0 475055188 15789527040 21974 33554432000 4194304 4196468 140727510447312 140727510429856 140161946582775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
/proc/7754/statm: 3854865 21974 3451 1 0 3815965 0
[pid=7754/tid=7756] ppid=7751 vsize=15419460 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/7754/task/7756/stat : 7756 (java) S 7751 7751 7690 0 -1 1077944384 9437 0 0 0 62 4 0 0 20 0 19 0 475055188 15789527040 21974 33554432000 4194304 4196468 140727510447312 140161950823552 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7761] ppid=7751 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7761/stat : 7761 (java) S 7751 7751 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475055189 15789527040 21974 33554432000 4194304 4196468 140727510447312 140161899203472 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7762] ppid=7751 vsize=15419460 memory=55248 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7762/stat : 7762 (java) S 7751 7751 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475055189 15789527040 21974 33554432000 4194304 4196468 140727510447312 140161898150672 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7763] ppid=7751 vsize=15419460 memory=988 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7763/stat : 7763 (java) S 7751 7751 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475055189 15789527040 21974 33554432000 4194304 4196468 140727510447312 140161897098384 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7764] ppid=7751 vsize=15419460 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7764/stat : 7764 (java) S 7751 7751 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475055189 15789527040 21974 33554432000 4194304 4196468 140727510447312 140161535892496 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7766] ppid=7751 vsize=15419460 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7766/stat : 7766 (java) S 7751 7751 7690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475055190 15789527040 21974 33554432000 4194304 4196468 140727510447312 140161415198832 140161946593922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7768] ppid=7751 vsize=15419460 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7768/stat : 7768 (java) S 7751 7751 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475055191 15789527040 21974 33554432000 4194304 4196468 140727510447312 140161414144800 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7770] ppid=7751 vsize=15419460 memory=692 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7770/stat : 7770 (java) S 7751 7751 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475055191 15789527040 21974 33554432000 4194304 4196468 140727510447312 140161413092464 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7775] ppid=7751 vsize=15419460 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7775/stat : 7775 (java) S 7751 7751 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475055193 15789527040 21974 33554432000 4194304 4196468 140727510447312 140161412040784 140161946601371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7776] ppid=7751 vsize=15419460 memory=1556 CPUtime=0.19 cores=0,2,4,6
/proc/7754/task/7776/stat : 7776 (java) S 7751 7751 7690 0 -1 1077944384 1044 0 0 0 19 0 0 0 20 0 19 0 475055193 15789527040 21974 33554432000 4194304 4196468 140727510447312 140161410988656 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7777] ppid=7751 vsize=15419460 memory=780 CPUtime=0.19 cores=0,2,4,6
/proc/7754/task/7777/stat : 7777 (java) S 7751 7751 7690 0 -1 1077944384 879 0 0 0 19 0 0 0 20 0 19 0 475055193 15789527040 21974 33554432000 4194304 4196468 140727510447312 140161409935856 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7778] ppid=7751 vsize=15419460 memory=3616 CPUtime=0.4 cores=0,2,4,6
/proc/7754/task/7778/stat : 7778 (java) R 7751 7751 7690 0 -1 4202560 1920 0 0 0 40 0 0 0 20 0 19 0 475055193 15789527040 21974 33554432000 4194304 4196468 140727510447312 140161408883568 140161932063046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7780] ppid=7751 vsize=15419460 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7780/stat : 7780 (java) S 7751 7751 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475055194 15789527040 21974 33554432000 4194304 4196468 140727510447312 140161407831008 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7782] ppid=7751 vsize=15419460 memory=6048 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7782/stat : 7782 (java) S 7751 7751 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475055194 15789527040 21974 33554432000 4194304 4196468 140727510447312 140161406777776 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 89348 KiB
[startup+1.50542 s]
/proc/loadavg: 0.67 0.72 0.91 13/236 7790
/proc/meminfo: memFree=5978488/32770624 swapFree=66986244/67108860
[pid=7751] ppid=7744 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7751/stat : 7751 (xcsp3-exec) S 7744 7751 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475055188 115843072 363 33554432000 4194304 5098028 140725059720288 140725059718392 140555428328060 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32276480 140725059728251 140725059728493 140725059728493 140725059731402 0
/proc/7751/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/7754/task/7782/stat : 7782 (java) S 7751 7751 7690 0 -1 1077944384 763 0 0 0 0 0 0 0 20 0 19 0 475055194 15994011648 56453 33554432000 4194304 4196468 140727510447312 140161406777776 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 61 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=8150] ppid=7751 vsize=15619152 memory=0 CPUtime=8.56 cores=0,2,4,6
/proc/7754/task/8150/stat : 8150 (java) R 7751 7751 7690 0 -1 4202560 184 0 0 0 856 0 0 0 20 0 19 0 475057043 15994011648 56453 33554432000 4194304 4196468 140727510447312 140161390197624 140161585243276 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=8151] ppid=7751 vsize=15619152 memory=6944656592455097440 CPUtime=8.5 cores=0,2,4,6
/proc/7754/task/8151/stat : 8151 (java) R 7751 7751 7690 0 -1 4202560 644 0 0 0 850 0 0 0 20 0 19 0 475057043 15994011648 56453 33554432000 4194304 4196468 140727510447312 140161393359680 140161586629674 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=8152] ppid=7751 vsize=15619152 memory=6655300316396806240 CPUtime=8.57 cores=0,2,4,6
/proc/7754/task/8152/stat : 8152 (java) R 7751 7751 7690 0 -1 4202560 306 0 0 0 857 0 0 0 20 0 19 0 475057043 15994011648 56453 33554432000 4194304 4196468 140727510447312 140161397559056 140161583503616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=8153] ppid=7751 vsize=15619152 memory=6944656592455097440 CPUtime=8.56 cores=0,2,4,6
/proc/7754/task/8153/stat : 8153 (java) R 7751 7751 7690 0 -1 4202560 533 0 0 0 856 0 0 0 20 0 19 0 475057043 15994011648 56453 33554432000 4194304 4196468 140727510447312 140161392303544 140161584623262 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
Current children cumulated CPU time: 104.81 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 227264 KiB
[startup+28.8014 s]
/proc/loadavg: 3.54 1.40 1.13 10/236 8185
/proc/meminfo: memFree=5713388/32770624 swapFree=66986244/67108860
[pid=7751] ppid=7744 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7751/stat : 7751 (xcsp3-exec) S 7744 7751 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475055188 115843072 363 33554432000 4194304 5098028 140725059720288 140725059718392 140555428328060 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32276480 140725059728251 140725059728493 140725059728493 140725059731402 0
/proc/7751/statm: 28282 363 304 221 0 87 0
[pid=7754] ppid=7751 vsize=15619152 memory=222736 CPUtime=111.18 cores=0,2,4,6
/proc/7754/stat : 7754 (java) S 7751 7751 7690 0 -1 1077944320 72799 0 0 0 11097 21 0 0 20 0 19 0 475055188 15994011648 55684 33554432000 4194304 4196468 140727510447312 140727510429856 140161946582775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
/proc/7754/statm: 3904788 55684 3530 1 0 3865888 0
[pid=7754/tid=7756] ppid=7751 vsize=15619152 memory=276 CPUtime=0.68 cores=0,2,4,6
/proc/7754/task/7756/stat : 7756 (java) S 7751 7751 7690 0 -1 1077944384 10161 0 0 0 64 4 0 0 20 0 19 0 475055188 15994011648 55684 33554432000 4194304 4196468 140727510447312 140161950823552 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7761] ppid=7751 vsize=15619152 memory=340 CPUtime=0.03 cores=0,2,4,6
/proc/7754/task/7761/stat : 7761 (java) S 7751 7751 7690 0 -1 1077944384 1413 0 0 0 3 0 0 0 20 0 19 0 475055189 15994011648 55684 33554432000 4194304 4196468 140727510447312 140161899203472 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7762] ppid=7751 vsize=15619152 memory=2832 CPUtime=0.03 cores=0,2,4,6
/proc/7754/task/7762/stat : 7762 (java) S 7751 7751 7690 0 -1 1077944384 1476 0 0 0 3 0 0 0 20 0 19 0 475055189 15994011648 55684 33554432000 4194304 4196468 140727510447312 140161898150672 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7763] ppid=7751 vsize=15619152 memory=1084 CPUtime=0.02 cores=0,2,4,6
/proc/7754/task/7763/stat : 7763 (java) S 7751 7751 7690 0 -1 1077944384 1605 0 0 0 2 0 0 0 20 0 19 0 475055189 15994011648 55684 33554432000 4194304 4196468 140727510447312 140161897098384 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7764] ppid=7751 vsize=15619152 memory=14012 CPUtime=0.03 cores=0,2,4,6
/proc/7754/task/7764/stat : 7764 (java) S 7751 7751 7690 0 -1 1077944384 523 0 0 0 3 0 0 0 20 0 19 0 475055189 15994011648 55684 33554432000 4194304 4196468 140727510447312 140161535892496 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7766] ppid=7751 vsize=15619152 memory=14048 CPUtime=0.04 cores=0,2,4,6
/proc/7754/task/7766/stat : 7766 (java) S 7751 7751 7690 0 -1 1077944384 1496 0 0 0 2 2 0 0 20 0 19 0 475055190 15994011648 55684 33554432000 4194304 4196468 140727510447312 140161415198832 140161946593922 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7768] ppid=7751 vsize=15619152 memory=29404 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7768/stat : 7768 (java) S 7751 7751 7690 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 475055191 15994011648 55684 33554432000 4194304 4196468 140727510447312 140161414144864 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7770] ppid=7751 vsize=15619152 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7770/stat : 7770 (java) S 7751 7751 7690 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475055191 15994011648 55684 33554432000 4194304 4196468 140727510447312 140161413092480 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7775] ppid=7751 vsize=15619152 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7775/stat : 7775 (java) S 7751 7751 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475055193 15994011648 55684 33554432000 4194304 4196468 140727510447312 140161412040784 140161946601371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7776] ppid=7751 vsize=15619152 memory=695 CPUtime=4.24 cores=0,2,4,6
/proc/7754/task/7776/stat : 7776 (java) S 7751 7751 7690 0 -1 1077944384 18277 0 0 0 422 2 0 0 20 0 19 0 475055193 15994011648 55684 33554432000 4194304 4196468 140727510447312 140161410988656 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7777] ppid=7751 vsize=15619152 memory=17171 CPUtime=3.94 cores=0,2,4,6
/proc/7754/task/7777/stat : 7777 (java) S 7751 7751 7690 0 -1 1077944384 17445 0 0 0 391 3 0 0 20 0 19 0 475055193 15994011648 55684 33554432000 4194304 4196468 140727510447312 140161409935856 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7778] ppid=7751 vsize=15619152 memory=2550 CPUtime=0.73 cores=0,2,4,6
/proc/7754/task/7778/stat : 7778 (java) S 7751 7751 7690 0 -1 1077944384 8394 0 0 0 72 1 0 0 20 0 19 0 475055193 15994011648 55684 33554432000 4194304 4196468 140727510447312 140161408883568 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 62 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7780] ppid=7751 vsize=15619152 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7780/stat : 7780 (java) S 7751 7751 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475055194 15994011648 55684 33554432000 4194304 4196468 140727510447312 140161407831008 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7782] ppid=7751 vsize=15619152 memory=8 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7782/stat : 7782 (java) S 7751 7751 7690 0 -1 1077944384 763 0 0 0 0 0 0 0 20 0 19 0 475055194 15994011648 55684 33554432000 4194304 4196468 140727510447312 140161406777776 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 61 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=8150] ppid=7751 vsize=15619152 memory=1056 CPUtime=10.16 cores=0,2,4,6
/proc/7754/task/8150/stat : 8150 (java) R 7751 7751 7690 0 -1 4202560 187 0 0 0 1016 0 0 0 20 0 19 0 475057043 15994011648 55684 33554432000 4194304 4196468 140727510447312 140161390197152 140161581526675 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=8151] ppid=7751 vsize=15619152 memory=1556 CPUtime=10.09 cores=0,2,4,6
/proc/7754/task/8151/stat : 8151 (java) R 7751 7751 7690 0 -1 4202560 677 0 0 0 1009 0 0 0 20 0 19 0 475057043 15994011648 55684 33554432000 4194304 4196468 140727510447312 140161393357560 140161578015103 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=8152] ppid=7751 vsize=15619152 memory=780 CPUtime=10.15 cores=0,2,4,6
/proc/7754/task/8152/stat : 8152 (java) R 7751 7751 7690 0 -1 4202560 308 0 0 0 1015 0 0 0 20 0 19 0 475057043 15994011648 55684 33554432000 4194304 4196468 140727510447312 140161397559896 140161584952664 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=8153] ppid=7751 vsize=15619152 memory=3616 CPUtime=10.15 cores=0,2,4,6
/proc/7754/task/8153/stat : 8153 (java) R 7751 7751 7690 0 -1 4202560 566 0 0 0 1015 0 0 0 20 0 19 0 475057043 15994011648 55684 33554432000 4194304 4196468 140727510447312 140161392306304 140161584124168 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
Current children cumulated CPU time: 111.18 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 224188 KiB
[startup+29.2014 s]
/proc/loadavg: 3.98 1.53 1.17 10/236 8185
/proc/meminfo: memFree=5720356/32770624 swapFree=66986244/67108860
[pid=7751] ppid=7744 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7751/stat : 7751 (xcsp3-exec) S 7744 7751 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475055188 115843072 363 33554432000 4194304 5098028 140725059720288 140725059718392 140555428328060 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32276480 140725059728251 140725059728493 140725059728493 140725059731402 0
/proc/7751/statm: 28282 363 304 221 0 87 0
[pid=7754] ppid=7751 vsize=15619152 memory=220704 CPUtime=112.76 cores=0,2,4,6
/proc/7754/stat : 7754 (java) S 7751 7751 7690 0 -1 1077944320 73682 0 0 0 11255 21 0 0 20 0 19 0 475055188 15994011648 55176 33554432000 4194304 4196468 140727510447312 140727510429856 140161946582775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
/proc/7754/statm: 3904788 55176 3530 1 0 3865888 0
[pid=7754/tid=7756] ppid=7751 vsize=15619152 memory=2460009628929 CPUtime=0.68 cores=0,2,4,6
/proc/7754/task/7756/stat : 7756 (java) S 7751 7751 7690 0 -1 1077944384 10161 0 0 0 64 4 0 0 20 0 19 0 475055188 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161950823552 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7761] ppid=7751 vsize=15619152 memory=8112282956445269571 CPUtime=0.03 cores=0,2,4,6
/proc/7754/task/7761/stat : 7761 (java) S 7751 7751 7690 0 -1 1077944384 1413 0 0 0 3 0 0 0 20 0 19 0 475055189 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161899203472 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7762] ppid=7751 vsize=15619152 memory=222736 CPUtime=0.03 cores=0,2,4,6
/proc/7754/task/7762/stat : 7762 (java) S 7751 7751 7690 0 -1 1077944384 1477 0 0 0 3 0 0 0 20 0 19 0 475055189 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161898150672 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7763] ppid=7751 vsize=15619152 memory=924 CPUtime=0.02 cores=0,2,4,6
/proc/7754/task/7763/stat : 7763 (java) S 7751 7751 7690 0 -1 1077944384 1605 0 0 0 2 0 0 0 20 0 19 0 475055189 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161897098384 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7764] ppid=7751 vsize=15619152 memory=1680 CPUtime=0.03 cores=0,2,4,6
/proc/7754/task/7764/stat : 7764 (java) S 7751 7751 7690 0 -1 1077944384 523 0 0 0 3 0 0 0 20 0 19 0 475055189 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161535892496 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7766] ppid=7751 vsize=15619152 memory=1440 CPUtime=0.04 cores=0,2,4,6
/proc/7754/task/7766/stat : 7766 (java) S 7751 7751 7690 0 -1 1077944384 1500 0 0 0 2 2 0 0 20 0 19 0 475055190 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161415198832 140161946593922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7768] ppid=7751 vsize=15619152 memory=912 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7768/stat : 7768 (java) S 7751 7751 7690 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 475055191 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161414144864 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7770] ppid=7751 vsize=15619152 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7770/stat : 7770 (java) S 7751 7751 7690 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475055191 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161413092480 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7775] ppid=7751 vsize=15619152 memory=2480 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7775/stat : 7775 (java) S 7751 7751 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475055193 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161412040784 140161946601371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7776] ppid=7751 vsize=15619152 memory=1768 CPUtime=4.24 cores=0,2,4,6
/proc/7754/task/7776/stat : 7776 (java) S 7751 7751 7690 0 -1 1077944384 18279 0 0 0 422 2 0 0 20 0 19 0 475055193 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161410988656 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7777] ppid=7751 vsize=15619152 memory=111632 CPUtime=3.94 cores=0,2,4,6
/proc/7754/task/7777/stat : 7777 (java) S 7751 7751 7690 0 -1 1077944384 17447 0 0 0 391 3 0 0 20 0 19 0 475055193 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161409935856 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7778] ppid=7751 vsize=15619152 memory=796 CPUtime=0.74 cores=0,2,4,6
/proc/7754/task/7778/stat : 7778 (java) S 7751 7751 7690 0 -1 1077944384 9257 0 0 0 73 1 0 0 20 0 19 0 475055193 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161408883568 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 62 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7780] ppid=7751 vsize=15619152 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7780/stat : 7780 (java) S 7751 7751 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475055194 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161407831008 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7782] ppid=7751 vsize=15619152 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7782/stat : 7782 (java) S 7751 7751 7690 0 -1 1077944384 763 0 0 0 0 0 0 0 20 0 19 0 475055194 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161406777776 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 61 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=8150] ppid=7751 vsize=15619152 memory=301741373374332954 CPUtime=10.55 cores=0,2,4,6
/proc/7754/task/8150/stat : 8150 (java) R 7751 7751 7690 0 -1 4202560 188 0 0 0 1055 0 0 0 20 0 19 0 475057043 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161390197624 140161585245358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=8151] ppid=7751 vsize=15619152 memory=288230621803970871 CPUtime=10.48 cores=0,2,4,6
/proc/7754/task/8151/stat : 8151 (java) R 7751 7751 7690 0 -1 4202560 680 0 0 0 1048 0 0 0 20 0 19 0 475057043 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161393356544 140161580419747 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=8152] ppid=7751 vsize=15619152 memory=14697383221004840 CPUtime=10.55 cores=0,2,4,6
/proc/7754/task/8152/stat : 8152 (java) R 7751 7751 7690 0 -1 4202560 308 0 0 0 1055 0 0 0 20 0 19 0 475057043 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161397559776 140161584350505 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=8153] ppid=7751 vsize=15619152 memory=4420 CPUtime=10.55 cores=0,2,4,6
/proc/7754/task/8153/stat : 8153 (java) R 7751 7751 7690 0 -1 4202560 573 0 0 0 1055 0 0 0 20 0 19 0 475057043 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161392304296 140161580418960 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
Current children cumulated CPU time: 112.76 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 222156 KiB
[startup+29.6014 s]
/proc/loadavg: 3.98 1.53 1.17 10/236 8185
/proc/meminfo: memFree=5720356/32770624 swapFree=66986244/67108860
[pid=7751] ppid=7744 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7751/stat : 7751 (xcsp3-exec) S 7744 7751 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475055188 115843072 363 33554432000 4194304 5098028 140725059720288 140725059718392 140555428328060 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32276480 140725059728251 140725059728493 140725059728493 140725059731402 0
/proc/7751/statm: 28282 363 304 221 0 87 0
[pid=7754] ppid=7751 vsize=15619152 memory=220704 CPUtime=114.36 cores=0,2,4,6
/proc/7754/stat : 7754 (java) S 7751 7751 7690 0 -1 1077944320 73682 0 0 0 11415 21 0 0 20 0 19 0 475055188 15994011648 55176 33554432000 4194304 4196468 140727510447312 140727510429856 140161946582775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
/proc/7754/statm: 3904788 55176 3530 1 0 3865888 0
[pid=7754/tid=7756] ppid=7751 vsize=15619152 memory=8112282956445269571 CPUtime=0.68 cores=0,2,4,6
/proc/7754/task/7756/stat : 7756 (java) S 7751 7751 7690 0 -1 1077944384 10161 0 0 0 64 4 0 0 20 0 19 0 475055188 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161950823552 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7761] ppid=7751 vsize=15619152 memory=7079774412187127888 CPUtime=0.03 cores=0,2,4,6
/proc/7754/task/7761/stat : 7761 (java) S 7751 7751 7690 0 -1 1077944384 1413 0 0 0 3 0 0 0 20 0 19 0 475055189 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161899203472 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7762] ppid=7751 vsize=15619152 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7754/task/7762/stat : 7762 (java) S 7751 7751 7690 0 -1 1077944384 1477 0 0 0 3 0 0 0 20 0 19 0 475055189 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161898150672 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7763] ppid=7751 vsize=15619152 memory=-2247047206103899990 CPUtime=0.02 cores=0,2,4,6
/proc/7754/task/7763/stat : 7763 (java) S 7751 7751 7690 0 -1 1077944384 1605 0 0 0 2 0 0 0 20 0 19 0 475055189 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161897098384 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7764] ppid=7751 vsize=15619152 memory=2244 CPUtime=0.03 cores=0,2,4,6
/proc/7754/task/7764/stat : 7764 (java) S 7751 7751 7690 0 -1 1077944384 523 0 0 0 3 0 0 0 20 0 19 0 475055189 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161535892496 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7766] ppid=7751 vsize=15619152 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/7754/task/7766/stat : 7766 (java) S 7751 7751 7690 0 -1 1077944384 1500 0 0 0 2 2 0 0 20 0 19 0 475055190 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161415198832 140161946593922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7768] ppid=7751 vsize=15619152 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7768/stat : 7768 (java) S 7751 7751 7690 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 475055191 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161414144864 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7770] ppid=7751 vsize=15619152 memory=222736 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7770/stat : 7770 (java) S 7751 7751 7690 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475055191 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161413092480 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7775] ppid=7751 vsize=15619152 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7775/stat : 7775 (java) S 7751 7751 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475055193 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161412040784 140161946601371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7776] ppid=7751 vsize=15619152 memory=14048 CPUtime=4.24 cores=0,2,4,6
/proc/7754/task/7776/stat : 7776 (java) S 7751 7751 7690 0 -1 1077944384 18279 0 0 0 422 2 0 0 20 0 19 0 475055193 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161410988656 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7777] ppid=7751 vsize=15619152 memory=29404 CPUtime=3.94 cores=0,2,4,6
/proc/7754/task/7777/stat : 7777 (java) S 7751 7751 7690 0 -1 1077944384 17447 0 0 0 391 3 0 0 20 0 19 0 475055193 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161409935856 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7778] ppid=7751 vsize=15619152 memory=2120 CPUtime=0.74 cores=0,2,4,6
/proc/7754/task/7778/stat : 7778 (java) S 7751 7751 7690 0 -1 1077944384 9257 0 0 0 73 1 0 0 20 0 19 0 475055193 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161408883568 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 62 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7780] ppid=7751 vsize=15619152 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7780/stat : 7780 (java) S 7751 7751 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475055194 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161407831008 140161946592981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=7782] ppid=7751 vsize=15619152 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/7754/task/7782/stat : 7782 (java) S 7751 7751 7690 0 -1 1077944384 763 0 0 0 0 0 0 0 20 0 19 0 475055194 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161406777776 140161946593922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 61 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=8150] ppid=7751 vsize=15619152 memory=1416 CPUtime=10.95 cores=0,2,4,6
/proc/7754/task/8150/stat : 8150 (java) R 7751 7751 7690 0 -1 4202560 188 0 0 0 1095 0 0 0 20 0 19 0 475057043 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161390197624 140161586875503 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=8151] ppid=7751 vsize=15619152 memory=1712 CPUtime=10.88 cores=0,2,4,6
/proc/7754/task/8151/stat : 8151 (java) R 7751 7751 7690 0 -1 4202560 680 0 0 0 1088 0 0 0 20 0 19 0 475057043 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161393356544 140161585653168 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=8152] ppid=7751 vsize=15619152 memory=692 CPUtime=10.95 cores=0,2,4,6
/proc/7754/task/8152/stat : 8152 (java) R 7751 7751 7690 0 -1 4202560 308 0 0 0 1095 0 0 0 20 0 19 0 475057043 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161397559776 140161585243536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
[pid=7754/tid=8153] ppid=7751 vsize=15619152 memory=1056 CPUtime=10.95 cores=0,2,4,6
/proc/7754/task/8153/stat : 8153 (java) R 7751 7751 7690 0 -1 4202560 573 0 0 0 1095 0 0 0 20 0 19 0 475057043 15994011648 55176 33554432000 4194304 4196468 140727510447312 140161392304296 140161584354199 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34275328 140727510451183 140727510451354 140727510451354 140727510454223 0
Current children cumulated CPU time: 114.36 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 222156 KiB
Child status: 0
Real time (s): 29.6146
CPU time (s): 114.397
CPU user time (s): 114.169
CPU system time (s): 0.22741
CPU usage (%): 386.285
Max. virtual memory (cumulated for all children) (KiB): 15732280
Max. memory (cumulated for all children) (KiB): 259068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 114.169
system time used= 0.22741
maximum resident set size= 260724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75136
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5723
involuntary context switches= 2517
# summary of solver processes directly reported to runsolver:
# pid: 7751
# total CPU time (s): 114.397
# total CPU user time (s): 114.169
# total CPU system time (s): 0.22741
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.208362 second user time and 0.355449 second system time
The end