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 (13712 MiB free)
memory of node 1: 16384 MiB (13695 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400376-1568694876/watcher-4400376-1568694876 -o /tmp/evaluation-result-4400376-1568694876/solver-4400376-1568694876 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568694194-22970 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1059483327 HOME/instance-4400376-1568694876.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=28622, runsolver pid=28619
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 8.34 7.70 5.03 8/234 28638
/proc/meminfo: memFree=28048296/32770624 swapFree=66959728/67108860
[pid=28622] ppid=28619 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28622/stat : 28622 (xcsp3-exec) S 28619 28622 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445427787 115843072 362 33554432000 4194304 5098028 140720947597728 140720947595832 139682612359804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18284544 140720947602298 140720947602541 140720947602541 140720947605450 0
/proc/28622/statm: 28282 362 304 221 0 87 0
[pid=28624] ppid=28622 vsize=15144776 memory=30304 CPUtime=0.13 cores=0,2,4,6
/proc/28624/stat : 28624 (java) S 28622 28622 22939 0 -1 1077944320 5488 0 0 0 11 2 0 0 20 0 15 0 445427787 15508250624 7576 33554432000 4194304 4196468 140734321296048 140734321278592 140667467992823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
/proc/28624/statm: 3786194 7576 3157 1 0 3748377 0
[pid=28624/tid=28625] ppid=28622 vsize=15144776 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/28624/task/28625/stat : 28625 (java) R 28622 28622 22939 0 -1 4202560 3387 0 0 0 7 1 0 0 20 0 15 0 445427787 15508250624 7576 33554432000 4194304 4196468 140734321296048 140667472225600 140667452073310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28626] ppid=28622 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28626/stat : 28626 (java) S 28622 28622 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445427788 15508250624 7576 33554432000 4194304 4196468 140734321296048 140667060825232 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28627] ppid=28622 vsize=15144776 memory=139746431026816 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28627/stat : 28627 (java) S 28622 28622 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445427788 15508250624 7576 33554432000 4194304 4196468 140734321296048 140667059772432 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28628] ppid=28622 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28628/stat : 28628 (java) S 28622 28622 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445427788 15508250624 7576 33554432000 4194304 4196468 140734321296048 140667058719632 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28629] ppid=28622 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28629/stat : 28629 (java) S 28622 28622 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445427788 15508250624 7576 33554432000 4194304 4196468 140734321296048 140667057666832 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28630] ppid=28622 vsize=15144776 memory=139746431026816 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28630/stat : 28630 (java) S 28622 28622 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445427789 15508250624 7576 33554432000 4194304 4196468 140734321296048 140666936559984 140667468003970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28631] ppid=28622 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28631/stat : 28631 (java) S 28622 28622 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445427790 15508250624 7576 33554432000 4194304 4196468 140734321296048 140666935505952 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28632] ppid=28622 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28632/stat : 28632 (java) S 28622 28622 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445427790 15508250624 7576 33554432000 4194304 4196468 140734321296048 140666934453104 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28633] ppid=28622 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28633/stat : 28633 (java) S 28622 28622 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445427792 15508250624 7576 33554432000 4194304 4196468 140734321296048 140666933401424 140667468011419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28634] ppid=28622 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28634/stat : 28634 (java) R 28622 28622 22939 0 -1 4202560 443 0 0 0 0 0 0 0 20 0 15 0 445427793 15508250624 7576 33554432000 4194304 4196468 140734321296048 140666932349808 140667448406128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28635] ppid=28622 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28635/stat : 28635 (java) R 28622 28622 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445427793 15508250624 7576 33554432000 4194304 4196468 140734321296048 140666931297008 140667468003970 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28636] ppid=28622 vsize=15144776 memory=139746431026816 CPUtime=0.02 cores=0,2,4,6
/proc/28624/task/28636/stat : 28636 (java) S 28622 28622 22939 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 15 0 445427793 15508250624 7576 33554432000 4194304 4196468 140734321296048 140666930244208 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28637] ppid=28622 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28637/stat : 28637 (java) S 28622 28622 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445427793 15508250624 7576 33554432000 4194304 4196468 140734321296048 140666929191648 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28638] ppid=28622 vsize=15144776 memory=139746431026816 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28638/stat : 28638 (java) S 28622 28622 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445427793 15508250624 7576 33554432000 4194304 4196468 140734321296048 140666928138928 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31752 KiB
[startup+0.211581 s]*
/proc/loadavg: 8.34 7.70 5.03 8/234 28638
/proc/meminfo: memFree=28036556/32770624 swapFree=66959728/67108860
[pid=28622] ppid=28619 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28622/stat : 28622 (xcsp3-exec) S 28619 28622 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445427787 115843072 362 33554432000 4194304 5098028 140720947597728 140720947595832 139682612359804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18284544 140720947602298 140720947602541 140720947602541 140720947605450 0
/proc/28622/statm: 28282 362 304 221 0 87 0
[pid=28624] ppid=28622 vsize=15144776 memory=40676 CPUtime=0.35 cores=0,2,4,6
/proc/28624/stat : 28624 (java) S 28622 28622 22939 0 -1 1077944320 8866 0 0 0 31 4 0 0 20 0 15 0 445427787 15508250624 10169 33554432000 4194304 4196468 140734321296048 140734321278592 140667467992823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
/proc/28624/statm: 3786194 10169 3303 1 0 3748377 0
[pid=28624/tid=28625] ppid=28622 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/28624/task/28625/stat : 28625 (java) R 28622 28622 22939 0 -1 4202560 6152 0 0 0 17 3 0 0 20 0 15 0 445427787 15508250624 10169 33554432000 4194304 4196468 140734321296048 140667472226944 140667468014749 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28626] ppid=28622 vsize=15144776 memory=1965946 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28626/stat : 28626 (java) S 28622 28622 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445427788 15508250624 10169 33554432000 4194304 4196468 140734321296048 140667060825232 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28627] ppid=28622 vsize=15144776 memory=139746434379635 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28627/stat : 28627 (java) S 28622 28622 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445427788 15508250624 10169 33554432000 4194304 4196468 140734321296048 140667059772432 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28628] ppid=28622 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28628/stat : 28628 (java) S 28622 28622 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445427788 15508250624 10169 33554432000 4194304 4196468 140734321296048 140667058719632 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28629] ppid=28622 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28629/stat : 28629 (java) S 28622 28622 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445427788 15508250624 10169 33554432000 4194304 4196468 140734321296048 140667057666832 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28630] ppid=28622 vsize=15144776 memory=139746431026816 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28630/stat : 28630 (java) S 28622 28622 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445427789 15508250624 10169 33554432000 4194304 4196468 140734321296048 140666936559984 140667468003970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28631] ppid=28622 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28631/stat : 28631 (java) S 28622 28622 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445427790 15508250624 10169 33554432000 4194304 4196468 140734321296048 140666935505952 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28632] ppid=28622 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28632/stat : 28632 (java) S 28622 28622 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445427790 15508250624 10169 33554432000 4194304 4196468 140734321296048 140666934453104 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28633] ppid=28622 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28633/stat : 28633 (java) S 28622 28622 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445427792 15508250624 10169 33554432000 4194304 4196468 140734321296048 140666933401424 140667468011419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28634] ppid=28622 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28624/task/28634/stat : 28634 (java) S 28622 28622 22939 0 -1 1077944384 553 0 0 0 3 0 0 0 20 0 15 0 445427793 15508250624 10169 33554432000 4194304 4196468 140734321296048 140666932349808 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28635] ppid=28622 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/28624/task/28635/stat : 28635 (java) S 28622 28622 22939 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 15 0 445427793 15508250624 10169 33554432000 4194304 4196468 140734321296048 140666931297008 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28636] ppid=28622 vsize=15144776 memory=139746431026816 CPUtime=0.08 cores=0,2,4,6
/proc/28624/task/28636/stat : 28636 (java) R 28622 28622 22939 0 -1 4202560 776 0 0 0 8 0 0 0 20 0 15 0 445427793 15508250624 10169 33554432000 4194304 4196468 140734321296048 140666930244208 140667468014170 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28637] ppid=28622 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28637/stat : 28637 (java) S 28622 28622 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445427793 15508250624 10169 33554432000 4194304 4196468 140734321296048 140666929191648 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28638] ppid=28622 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28638/stat : 28638 (java) S 28622 28622 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445427793 15508250624 10169 33554432000 4194304 4196468 140734321296048 140666928138928 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42124 KiB
[startup+0.310686 s]*
/proc/loadavg: 8.34 7.70 5.03 7/234 28638
/proc/meminfo: memFree=28028924/32770624 swapFree=66959728/67108860
[pid=28622] ppid=28619 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28622/stat : 28622 (xcsp3-exec) S 28619 28622 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445427787 115843072 362 33554432000 4194304 5098028 140720947597728 140720947595832 139682612359804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18284544 140720947602298 140720947602541 140720947602541 140720947605450 0
/proc/28622/statm: 28282 362 304 221 0 87 0
[pid=28624] ppid=28622 vsize=15149032 memory=49896 CPUtime=0.54 cores=0,2,4,6
/proc/28624/stat : 28624 (java) S 28622 28622 22939 0 -1 1077944320 10292 0 0 0 49 5 0 0 20 0 15 0 445427787 15512608768 12474 33554432000 4194304 4196468 140734321296048 140734321278592 140667467992823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
/proc/28624/statm: 3787258 12474 3370 1 0 3748377 0
[pid=28624/tid=28625] ppid=28622 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/28624/task/28625/stat : 28625 (java) R 28622 28622 22939 0 -1 4202560 7274 0 0 0 26 4 0 0 20 0 15 0 445427787 15512608768 12474 33554432000 4194304 4196468 140734321296048 140667472223936 140667452073310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28626] ppid=28622 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28626/stat : 28626 (java) S 28622 28622 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445427788 15512608768 12474 33554432000 4194304 4196468 140734321296048 140667060825232 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28627] ppid=28622 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28627/stat : 28627 (java) S 28622 28622 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445427788 15512608768 12474 33554432000 4194304 4196468 140734321296048 140667059772432 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28628] ppid=28622 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28628/stat : 28628 (java) S 28622 28622 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445427788 15512608768 12474 33554432000 4194304 4196468 140734321296048 140667058719632 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28629] ppid=28622 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28629/stat : 28629 (java) S 28622 28622 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445427788 15512608768 12474 33554432000 4194304 4196468 140734321296048 140667057666832 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28630] ppid=28622 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28630/stat : 28630 (java) S 28622 28622 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445427789 15512608768 12474 33554432000 4194304 4196468 140734321296048 140666936559984 140667468003970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28631] ppid=28622 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28631/stat : 28631 (java) S 28622 28622 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445427790 15512608768 12474 33554432000 4194304 4196468 140734321296048 140666935505952 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28632] ppid=28622 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28632/stat : 28632 (java) S 28622 28622 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445427790 15512608768 12474 33554432000 4194304 4196468 140734321296048 140666934453104 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28633] ppid=28622 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28633/stat : 28633 (java) S 28622 28622 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445427792 15512608768 12474 33554432000 4194304 4196468 140734321296048 140666933401424 140667468011419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28634] ppid=28622 vsize=15149032 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/28624/task/28634/stat : 28634 (java) R 28622 28622 22939 0 -1 4202560 650 0 0 0 5 0 0 0 20 0 15 0 445427793 15512608768 12474 33554432000 4194304 4196468 140734321296048 140666932330824 140667453119137 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28635] ppid=28622 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28624/task/28635/stat : 28635 (java) S 28622 28622 22939 0 -1 1077944384 135 0 0 0 3 0 0 0 20 0 15 0 445427793 15512608768 12474 33554432000 4194304 4196468 140734321296048 140666931297008 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28636] ppid=28622 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/28624/task/28636/stat : 28636 (java) S 28622 28622 22939 0 -1 1077944384 927 0 0 0 12 0 0 0 20 0 15 0 445427793 15512608768 12474 33554432000 4194304 4196468 140734321296048 140666930244208 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28637] ppid=28622 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28637/stat : 28637 (java) S 28622 28622 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445427793 15512608768 12474 33554432000 4194304 4196468 140734321296048 140666929191648 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28638] ppid=28622 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28638/stat : 28638 (java) S 28622 28622 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445427793 15512608768 12474 33554432000 4194304 4196468 140734321296048 140666928138928 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51344 KiB
[startup+0.704202 s]
/proc/loadavg: 8.34 7.70 5.03 9/234 28638
/proc/meminfo: memFree=28013188/32770624 swapFree=66959728/67108860
[pid=28622] ppid=28619 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28622/stat : 28622 (xcsp3-exec) S 28619 28622 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445427787 115843072 362 33554432000 4194304 5098028 140720947597728 140720947595832 139682612359804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18284544 140720947602298 140720947602541 140720947602541 140720947605450 0
/proc/28622/statm: 28282 362 304 221 0 87 0
[pid=28624] ppid=28622 vsize=15485004 memory=136708 CPUtime=1.69 cores=0,2,4,6
/proc/28624/stat : 28624 (java) S 28622 28622 22939 0 -1 1077944320 15075 0 0 0 162 7 0 0 20 0 19 0 445427787 15856644096 34177 33554432000 4194304 4196468 140734321296048 140734321278592 140667467992823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
/proc/28624/statm: 3871251 34177 3463 1 0 3832351 0
[pid=28624/tid=28625] ppid=28622 vsize=15485004 memory=33 CPUtime=0.52 cores=0,2,4,6
/proc/28624/task/28625/stat : 28625 (java) S 28622 28622 22939 0 -1 1077944384 8754 0 0 0 48 4 0 0 20 0 19 0 445427787 15856644096 34177 33554432000 4194304 4196468 140734321296048 140667472233600 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28626] ppid=28622 vsize=15485004 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28626/stat : 28626 (java) S 28622 28622 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445427788 15856644096 34177 33554432000 4194304 4196468 140734321296048 140667060825232 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28627] ppid=28622 vsize=15485004 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28627/stat : 28627 (java) S 28622 28622 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445427788 15856644096 34177 33554432000 4194304 4196468 140734321296048 140667059772432 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28628] ppid=28622 vsize=15485004 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28628/stat : 28628 (java) S 28622 28622 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445427788 15856644096 34177 33554432000 4194304 4196468 140734321296048 140667058719632 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28629] ppid=28622 vsize=15485004 memory=48276 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28629/stat : 28629 (java) S 28622 28622 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445427788 15856644096 34177 33554432000 4194304 4196468 140734321296048 140667057666832 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28630] ppid=28622 vsize=15485004 memory=988 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28630/stat : 28630 (java) S 28622 28622 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445427789 15856644096 34177 33554432000 4194304 4196468 140734321296048 140666936559984 140667468003970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28631] ppid=28622 vsize=15485004 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28631/stat : 28631 (java) S 28622 28622 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445427790 15856644096 34177 33554432000 4194304 4196468 140734321296048 140666935505952 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28632] ppid=28622 vsize=15485004 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28632/stat : 28632 (java) S 28622 28622 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445427790 15856644096 34177 33554432000 4194304 4196468 140734321296048 140666934453104 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28633] ppid=28622 vsize=15485004 memory=580 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28633/stat : 28633 (java) S 28622 28622 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445427792 15856644096 34177 33554432000 4194304 4196468 140734321296048 140666933401424 140667468011419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28634] ppid=28622 vsize=15485004 memory=1720 CPUtime=0.27 cores=0,2,4,6
/proc/28624/task/28634/stat : 28634 (java) R 28622 28622 22939 0 -1 4202560 1254 0 0 0 27 0 0 0 20 0 19 0 445427793 15856644096 34177 33554432000 4194304 4196468 140734321296048 140666932339488 140667451380045 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28635] ppid=28622 vsize=15485004 memory=10604 CPUtime=0.27 cores=0,2,4,6
/proc/28624/task/28635/stat : 28635 (java) R 28622 28622 22939 0 -1 4202560 1227 0 0 0 27 0 0 0 20 0 19 0 445427793 15856644096 34177 33554432000 4194304 4196468 140734321296048 140666931278024 140667451493181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28636] ppid=28622 vsize=15485004 memory=4160 CPUtime=0.35 cores=0,2,4,6
/proc/28624/task/28636/stat : 28636 (java) S 28622 28622 22939 0 -1 1077944384 1795 0 0 0 35 0 0 0 20 0 19 0 445427793 15856644096 34177 33554432000 4194304 4196468 140734321296048 140666930244208 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28637] ppid=28622 vsize=15485004 memory=776 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28637/stat : 28637 (java) S 28622 28622 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445427793 15856644096 34177 33554432000 4194304 4196468 140734321296048 140666929191648 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28638] ppid=28622 vsize=15485004 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28638/stat : 28638 (java) S 28622 28622 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445427793 15856644096 34177 33554432000 4194304 4196468 140734321296048 140666928138928 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 138156 KiB
[startup+1.50603 s]
/proc/loadavg: 8.34 7.70 5.03 10/238 28702
/proc/meminfo: memFree=27887996/32770624 swapFree=66959728/67108860
[pid=28622] ppid=28619 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28622/stat : 28622 (xcsp3-exec) S 28619 28622 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445427787 115843072 362 33554432000 4194304 5098028 140720947597728 140720947595832 139682612359804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18284544 140720947602298 140720947602541 140720947602541 140720947605450 0
/proc/28622/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/28624/task/28638/stat : 28638 (java) S 28622 28622 22939 0 -1 1077944384 610 0 0 0 0 2 0 0 20 0 19 0 445427793 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666928138928 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28711] ppid=28622 vsize=15551568 memory=2828 CPUtime=168.48 cores=0,2,4,6
/proc/28624/task/28711/stat : 28711 (java) R 28622 28622 22939 0 -1 4202560 841 0 0 0 16848 0 0 0 20 0 19 0 445428064 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666914708288 140667109859487 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28712] ppid=28622 vsize=15551568 memory=6791534058613427641 CPUtime=168.2 cores=0,2,4,6
/proc/28624/task/28712/stat : 28712 (java) R 28622 28622 22939 0 -1 4202560 2065 0 0 0 16820 0 0 0 20 0 19 0 445428064 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666915762088 140667110437404 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28713] ppid=28622 vsize=15551568 memory=2008 CPUtime=168.34 cores=0,2,4,6
/proc/28624/task/28713/stat : 28713 (java) R 28622 28622 22939 0 -1 4202560 2624 0 0 0 16834 0 0 0 20 0 19 0 445428064 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666912604344 140667106065148 0 4 0 16800975 0 0 0 -1 0 0 0 25 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28714] ppid=28622 vsize=15551568 memory=1436 CPUtime=168.69 cores=0,2,4,6
/proc/28624/task/28714/stat : 28714 (java) R 28622 28622 22939 0 -1 4202560 1162 0 0 0 16869 0 0 0 20 0 19 0 445428064 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666917870720 140667109893133 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
Current children cumulated CPU time: 685.55 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 198152 KiB
[startup+173.601 s]
/proc/loadavg: 9.14 8.35 5.74 9/237 28726
/proc/meminfo: memFree=28021620/32770624 swapFree=66959728/67108860
[pid=28622] ppid=28619 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28622/stat : 28622 (xcsp3-exec) S 28619 28622 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445427787 115843072 362 33554432000 4194304 5098028 140720947597728 140720947595832 139682612359804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18284544 140720947602298 140720947602541 140720947602541 140720947605450 0
/proc/28622/statm: 28282 362 304 221 0 87 0
[pid=28624] ppid=28622 vsize=15551568 memory=196704 CPUtime=688.72 cores=0,2,4,6
/proc/28624/stat : 28624 (java) S 28622 28622 22939 0 -1 1077944320 61683 0 0 0 68853 19 0 0 20 0 19 0 445427787 15924805632 49176 33554432000 4194304 4196468 140734321296048 140734321278592 140667467992823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
/proc/28624/statm: 3887892 49176 3518 1 0 3848992 0
[pid=28624/tid=28625] ppid=28622 vsize=15551568 memory=3620 CPUtime=0.52 cores=0,2,4,6
/proc/28624/task/28625/stat : 28625 (java) S 28622 28622 22939 0 -1 1077944384 8819 0 0 0 48 4 0 0 20 0 19 0 445427787 15924805632 49176 33554432000 4194304 4196468 140734321296048 140667472233600 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28626] ppid=28622 vsize=15551568 memory=6791534058613427641 CPUtime=0.14 cores=0,2,4,6
/proc/28624/task/28626/stat : 28626 (java) S 28622 28622 22939 0 -1 1077944384 1078 0 0 0 12 2 0 0 20 0 19 0 445427788 15924805632 49176 33554432000 4194304 4196468 140734321296048 140667060825232 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28627] ppid=28622 vsize=15551568 memory=48276 CPUtime=0.14 cores=0,2,4,6
/proc/28624/task/28627/stat : 28627 (java) S 28622 28622 22939 0 -1 1077944384 2699 0 0 0 12 2 0 0 20 0 19 0 445427788 15924805632 49176 33554432000 4194304 4196468 140734321296048 140667059772432 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28628] ppid=28622 vsize=15551568 memory=988 CPUtime=0.15 cores=0,2,4,6
/proc/28624/task/28628/stat : 28628 (java) S 28622 28622 22939 0 -1 1077944384 1045 0 0 0 13 2 0 0 20 0 19 0 445427788 15924805632 49176 33554432000 4194304 4196468 140734321296048 140667058719632 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28629] ppid=28622 vsize=15551568 memory=2008 CPUtime=0.15 cores=0,2,4,6
/proc/28624/task/28629/stat : 28629 (java) S 28622 28622 22939 0 -1 1077944384 863 0 0 0 13 2 0 0 20 0 19 0 445427788 15924805632 49176 33554432000 4194304 4196468 140734321296048 140667057666832 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28630] ppid=28622 vsize=15551568 memory=1436 CPUtime=0.11 cores=0,2,4,6
/proc/28624/task/28630/stat : 28630 (java) S 28622 28622 22939 0 -1 1077944384 2152 0 0 0 11 0 0 0 20 0 19 0 445427789 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666936559984 140667468003970 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28631] ppid=28622 vsize=15551568 memory=580 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28631/stat : 28631 (java) S 28622 28622 22939 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 445427790 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666935506016 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28632] ppid=28622 vsize=15551568 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28632/stat : 28632 (java) S 28622 28622 22939 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 445427790 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666934453120 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28633] ppid=28622 vsize=15551568 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28633/stat : 28633 (java) S 28622 28622 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445427792 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666933401424 140667468011419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28634] ppid=28622 vsize=15551568 memory=4160 CPUtime=2.47 cores=0,2,4,6
/proc/28624/task/28634/stat : 28634 (java) S 28622 28622 22939 0 -1 1077944384 14218 0 0 0 246 1 0 0 20 0 19 0 445427793 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666932349808 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28635] ppid=28622 vsize=15551568 memory=1216 CPUtime=2.17 cores=0,2,4,6
/proc/28624/task/28635/stat : 28635 (java) S 28622 28622 22939 0 -1 1077944384 13023 0 0 0 216 1 0 0 20 0 19 0 445427793 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666931297008 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28636] ppid=28622 vsize=15551568 memory=984 CPUtime=0.6 cores=0,2,4,6
/proc/28624/task/28636/stat : 28636 (java) S 28622 28622 22939 0 -1 1077944384 7189 0 0 0 60 0 0 0 20 0 19 0 445427793 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666930244208 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28637] ppid=28622 vsize=15551568 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28637/stat : 28637 (java) S 28622 28622 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445427793 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666929191648 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28638] ppid=28622 vsize=15551568 memory=25816 CPUtime=0.02 cores=0,2,4,6
/proc/28624/task/28638/stat : 28638 (java) S 28622 28622 22939 0 -1 1077944384 610 0 0 0 0 2 0 0 20 0 19 0 445427793 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666928138928 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28711] ppid=28622 vsize=15551568 memory=14048 CPUtime=169.27 cores=0,2,4,6
/proc/28624/task/28711/stat : 28711 (java) R 28622 28622 22939 0 -1 4202560 843 0 0 0 16927 0 0 0 20 0 19 0 445428064 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666914708384 140667452608353 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28712] ppid=28622 vsize=15551568 memory=776 CPUtime=168.98 cores=0,2,4,6
/proc/28624/task/28712/stat : 28712 (java) R 28622 28622 22939 0 -1 4202560 2066 0 0 0 16898 0 0 0 20 0 19 0 445428064 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666915764640 140667109858501 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28713] ppid=28622 vsize=15551568 memory=1564 CPUtime=169.13 cores=0,2,4,6
/proc/28624/task/28713/stat : 28713 (java) R 28622 28622 22939 0 -1 4202560 2624 0 0 0 16913 0 0 0 20 0 19 0 445428064 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666912603944 140667109858620 0 4 0 16800975 0 0 0 -1 0 0 0 25 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28714] ppid=28622 vsize=15551568 memory=6060 CPUtime=169.48 cores=0,2,4,6
/proc/28624/task/28714/stat : 28714 (java) R 28622 28622 22939 0 -1 4202560 1162 0 0 0 16948 0 0 0 20 0 19 0 445428064 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666917867616 140667112270749 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
Current children cumulated CPU time: 688.72 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 198152 KiB
[startup+174.001 s]*
/proc/loadavg: 9.14 8.35 5.74 6/237 28726
/proc/meminfo: memFree=28021620/32770624 swapFree=66959728/67108860
[pid=28622] ppid=28619 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28622/stat : 28622 (xcsp3-exec) S 28619 28622 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445427787 115843072 362 33554432000 4194304 5098028 140720947597728 140720947595832 139682612359804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18284544 140720947602298 140720947602541 140720947602541 140720947605450 0
/proc/28622/statm: 28282 362 304 221 0 87 0
[pid=28624] ppid=28622 vsize=15551568 memory=196704 CPUtime=690.34 cores=0,2,4,6
/proc/28624/stat : 28624 (java) S 28622 28622 22939 0 -1 1077944320 61686 0 0 0 69015 19 0 0 20 0 19 0 445427787 15924805632 49176 33554432000 4194304 4196468 140734321296048 140734321278592 140667467992823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
/proc/28624/statm: 3887892 49176 3518 1 0 3848992 0
[pid=28624/tid=28625] ppid=28622 vsize=15551568 memory=6791534058613427641 CPUtime=0.52 cores=0,2,4,6
/proc/28624/task/28625/stat : 28625 (java) S 28622 28622 22939 0 -1 1077944384 8819 0 0 0 48 4 0 0 20 0 19 0 445427787 15924805632 49176 33554432000 4194304 4196468 140734321296048 140667472233600 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28626] ppid=28622 vsize=15551568 memory=1060 CPUtime=0.16 cores=0,2,4,6
/proc/28624/task/28626/stat : 28626 (java) R 28622 28622 22939 0 -1 4202560 1079 0 0 0 13 3 0 0 20 0 19 0 445427788 15924805632 49176 33554432000 4194304 4196468 140734321296048 140667060825232 140667460621031 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28627] ppid=28622 vsize=15551568 memory=1448 CPUtime=0.15 cores=0,2,4,6
/proc/28624/task/28627/stat : 28627 (java) R 28622 28622 22939 0 -1 4202560 2699 0 0 0 13 2 0 0 20 0 19 0 445427788 15924805632 49176 33554432000 4194304 4196468 140734321296048 140667059772432 140667460621031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28628] ppid=28622 vsize=15551568 memory=196704 CPUtime=0.16 cores=0,2,4,6
/proc/28624/task/28628/stat : 28628 (java) R 28622 28622 22939 0 -1 4202560 1045 0 0 0 14 2 0 0 20 0 19 0 445427788 15924805632 49176 33554432000 4194304 4196468 140734321296048 140667058719632 140667460621031 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28629] ppid=28622 vsize=15551568 memory=1448 CPUtime=0.15 cores=0,2,4,6
/proc/28624/task/28629/stat : 28629 (java) R 28622 28622 22939 0 -1 1077944384 863 0 0 0 13 2 0 0 20 0 19 0 445427788 15924805632 49176 33554432000 4194304 4196468 140734321296048 140667057666832 140667468003029 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28630] ppid=28622 vsize=15551568 memory=196704 CPUtime=0.11 cores=0,2,4,6
/proc/28624/task/28630/stat : 28630 (java) S 28622 28622 22939 0 -1 1077944384 2152 0 0 0 11 0 0 0 20 0 19 0 445427789 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666936558496 140667468003029 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28631] ppid=28622 vsize=15551568 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28631/stat : 28631 (java) S 28622 28622 22939 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 445427790 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666935506016 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28632] ppid=28622 vsize=15551568 memory=-8412652169205224307 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28632/stat : 28632 (java) S 28622 28622 22939 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 445427790 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666934453120 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28633] ppid=28622 vsize=15551568 memory=7593461923997313130 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28633/stat : 28633 (java) S 28622 28622 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445427792 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666933401424 140667468011419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28634] ppid=28622 vsize=15551568 memory=6947199801522217811 CPUtime=2.47 cores=0,2,4,6
/proc/28624/task/28634/stat : 28634 (java) S 28622 28622 22939 0 -1 1077944384 14218 0 0 0 246 1 0 0 20 0 19 0 445427793 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666932349808 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28635] ppid=28622 vsize=15551568 memory=7667772434894579539 CPUtime=2.17 cores=0,2,4,6
/proc/28624/task/28635/stat : 28635 (java) S 28622 28622 22939 0 -1 1077944384 13023 0 0 0 216 1 0 0 20 0 19 0 445427793 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666931297008 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28636] ppid=28622 vsize=15551568 memory=4639950512826379884 CPUtime=0.6 cores=0,2,4,6
/proc/28624/task/28636/stat : 28636 (java) S 28622 28622 22939 0 -1 1077944384 7189 0 0 0 60 0 0 0 20 0 19 0 445427793 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666930244208 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28637] ppid=28622 vsize=15551568 memory=4639950512826379884 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28637/stat : 28637 (java) S 28622 28622 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445427793 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666929191648 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28638] ppid=28622 vsize=15551568 memory=7588956138652919140 CPUtime=0.02 cores=0,2,4,6
/proc/28624/task/28638/stat : 28638 (java) S 28622 28622 22939 0 -1 1077944384 610 0 0 0 0 2 0 0 20 0 19 0 445427793 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666928138928 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28711] ppid=28622 vsize=15551568 memory=5796247509590829928 CPUtime=169.67 cores=0,2,4,6
/proc/28624/task/28711/stat : 28711 (java) S 28622 28622 22939 0 -1 1077944384 844 0 0 0 16967 0 0 0 20 0 19 0 445428064 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666914711360 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28712] ppid=28622 vsize=15551568 memory=7012758191102780006 CPUtime=169.37 cores=0,2,4,6
/proc/28624/task/28712/stat : 28712 (java) S 28622 28622 22939 0 -1 1077944384 2066 0 0 0 16937 0 0 0 20 0 19 0 445428064 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666915761760 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28713] ppid=28622 vsize=15551568 memory=7382075341451585640 CPUtime=169.53 cores=0,2,4,6
/proc/28624/task/28713/stat : 28713 (java) S 28622 28622 22939 0 -1 1077944384 2625 0 0 0 16953 0 0 0 20 0 19 0 445428064 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666912603808 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28714] ppid=28622 vsize=15551568 memory=7084285846205786468 CPUtime=169.88 cores=0,2,4,6
/proc/28624/task/28714/stat : 28714 (java) S 28622 28622 22939 0 -1 1077944384 1162 0 0 0 16988 0 0 0 20 0 19 0 445428064 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666917867664 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
Current children cumulated CPU time: 690.34 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 198152 KiB
[startup+174.111 s]
/proc/loadavg: 9.14 8.35 5.74 6/237 28726
/proc/meminfo: memFree=28021620/32770624 swapFree=66959728/67108860
[pid=28622] ppid=28619 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28622/stat : 28622 (xcsp3-exec) S 28619 28622 22939 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445427787 115843072 362 33554432000 4194304 5098028 140720947597728 140720947595832 139682612359804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18284544 140720947602298 140720947602541 140720947602541 140720947605450 0
/proc/28622/statm: 28282 362 304 221 0 87 0
[pid=28624] ppid=28622 vsize=15551568 memory=196704 CPUtime=690.74 cores=0,2,4,6
/proc/28624/stat : 28624 (java) S 28622 28622 22939 0 -1 1077944320 61687 0 0 0 69055 19 0 0 20 0 19 0 445427787 15924805632 49176 33554432000 4194304 4196468 140734321296048 140734321278592 140667467992823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
/proc/28624/statm: 3887892 49176 3518 1 0 3848992 0
[pid=28624/tid=28625] ppid=28622 vsize=15551568 memory=196704 CPUtime=0.52 cores=0,2,4,6
/proc/28624/task/28625/stat : 28625 (java) S 28622 28622 22939 0 -1 1077944384 8819 0 0 0 48 4 0 0 20 0 19 0 445427787 15924805632 49176 33554432000 4194304 4196468 140734321296048 140667472233600 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28626] ppid=28622 vsize=15551568 memory=1448 CPUtime=0.16 cores=0,2,4,6
/proc/28624/task/28626/stat : 28626 (java) S 28622 28622 22939 0 -1 1077944384 1079 0 0 0 13 3 0 0 20 0 19 0 445427788 15924805632 49176 33554432000 4194304 4196468 140734321296048 140667060825232 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28627] ppid=28622 vsize=15551568 memory=196704 CPUtime=0.15 cores=0,2,4,6
/proc/28624/task/28627/stat : 28627 (java) S 28622 28622 22939 0 -1 1077944384 2699 0 0 0 13 2 0 0 20 0 19 0 445427788 15924805632 49176 33554432000 4194304 4196468 140734321296048 140667059772432 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28628] ppid=28622 vsize=15551568 memory=192544 CPUtime=0.16 cores=0,2,4,6
/proc/28624/task/28628/stat : 28628 (java) S 28622 28622 22939 0 -1 1077944384 1045 0 0 0 14 2 0 0 20 0 19 0 445427788 15924805632 49176 33554432000 4194304 4196468 140734321296048 140667058719632 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28629] ppid=28622 vsize=15551568 memory=1448 CPUtime=0.15 cores=0,2,4,6
/proc/28624/task/28629/stat : 28629 (java) S 28622 28622 22939 0 -1 1077944384 863 0 0 0 13 2 0 0 20 0 19 0 445427788 15924805632 49176 33554432000 4194304 4196468 140734321296048 140667057666832 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28630] ppid=28622 vsize=15551568 memory=194656 CPUtime=0.11 cores=0,2,4,6
/proc/28624/task/28630/stat : 28630 (java) S 28622 28622 22939 0 -1 1077944384 2152 0 0 0 11 0 0 0 20 0 19 0 445427789 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666936559984 140667468003970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28631] ppid=28622 vsize=15551568 memory=192544 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28631/stat : 28631 (java) S 28622 28622 22939 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 445427790 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666935506016 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28632] ppid=28622 vsize=15551568 memory=180212 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28632/stat : 28632 (java) S 28622 28622 22939 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 445427790 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666934453120 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28633] ppid=28622 vsize=15551568 memory=180212 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28633/stat : 28633 (java) S 28622 28622 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445427792 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666933401424 140667468011419 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28634] ppid=28622 vsize=15551568 memory=194656 CPUtime=2.47 cores=0,2,4,6
/proc/28624/task/28634/stat : 28634 (java) S 28622 28622 22939 0 -1 1077944384 14218 0 0 0 246 1 0 0 20 0 19 0 445427793 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666932349808 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28635] ppid=28622 vsize=15551568 memory=196704 CPUtime=2.17 cores=0,2,4,6
/proc/28624/task/28635/stat : 28635 (java) S 28622 28622 22939 0 -1 1077944384 13023 0 0 0 216 1 0 0 20 0 19 0 445427793 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666931297008 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 19 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28636] ppid=28622 vsize=15551568 memory=196704 CPUtime=0.6 cores=0,2,4,6
/proc/28624/task/28636/stat : 28636 (java) S 28622 28622 22939 0 -1 1077944384 7189 0 0 0 60 0 0 0 20 0 19 0 445427793 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666930244208 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28637] ppid=28622 vsize=15551568 memory=196704 CPUtime=0 cores=0,2,4,6
/proc/28624/task/28637/stat : 28637 (java) S 28622 28622 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445427793 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666929191648 140667468003029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28638] ppid=28622 vsize=15551568 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/28624/task/28638/stat : 28638 (java) S 28622 28622 22939 0 -1 1077944384 610 0 0 0 0 2 0 0 20 0 19 0 445427793 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666928138928 140667468003970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28711] ppid=28622 vsize=15551568 memory=0 CPUtime=169.77 cores=0,2,4,6
/proc/28624/task/28711/stat : 28711 (java) R 28622 28622 22939 0 -1 4202560 845 0 0 0 16977 0 0 0 20 0 19 0 445428064 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666914711360 140667109858642 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28712] ppid=28622 vsize=15551568 memory=190496 CPUtime=169.47 cores=0,2,4,6
/proc/28624/task/28712/stat : 28712 (java) R 28622 28622 22939 0 -1 4202560 2066 0 0 0 16947 0 0 0 20 0 19 0 445428064 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666915761896 140667112271081 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28713] ppid=28622 vsize=15551568 memory=1448 CPUtime=169.63 cores=0,2,4,6
/proc/28624/task/28713/stat : 28713 (java) R 28622 28622 22939 0 -1 4202560 2625 0 0 0 16963 0 0 0 20 0 19 0 445428064 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666912603696 140667110747782 0 4 0 16800975 0 0 0 -1 4 0 0 25 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
[pid=28624/tid=28714] ppid=28622 vsize=15551568 memory=3620 CPUtime=169.98 cores=0,2,4,6
/proc/28624/task/28714/stat : 28714 (java) R 28622 28622 22939 0 -1 4202560 1162 0 0 0 16998 0 0 0 20 0 19 0 445428064 15924805632 49176 33554432000 4194304 4196468 140734321296048 140666917867800 140667110602938 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13434880 140734321304559 140734321304730 140734321304730 140734321307599 0
Current children cumulated CPU time: 690.74 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 198152 KiB
Child status: 0
Real time (s): 174.198
CPU time (s): 691.074
CPU user time (s): 690.873
CPU system time (s): 0.200879
CPU usage (%): 396.719
Max. virtual memory (cumulated for all children) (KiB): 15664696
Max. memory (cumulated for all children) (KiB): 211488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 690.873
system time used= 0.200879
maximum resident set size= 213096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62728
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11231
involuntary context switches= 13180
# summary of solver processes directly reported to runsolver:
# pid: 28622
# total CPU time (s): 691.074
# total CPU user time (s): 690.873
# total CPU system time (s): 0.200879
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.08994 second user time and 1.94808 second system time
The end