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 (9199 MiB free)
memory of node 1: 16384 MiB (15205 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393289-1568320438/watcher-4393289-1568320438 -o /tmp/evaluation-result-4393289-1568320438/solver-4393289-1568320438 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568309054-15623 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1873344760 HOME/instance-4393289-1568320438.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
solver pid=23599, runsolver pid=23596
Current StackSize limit: 8192 KiB
[startup+0.101121 s]*
/proc/loadavg: 8.69 8.52 8.29 7/233 23615
/proc/meminfo: memFree=24974516/32770624 swapFree=66977612/67108860
[pid=23599] ppid=23596 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23599/stat : 23599 (xcsp3-exec) S 23596 23599 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408301077 115843072 362 33554432000 4194304 5098028 140726364234128 140726364232232 140701280572028 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15745024 140726364238714 140726364238957 140726364238957 140726364241866 0
/proc/23599/statm: 28282 362 304 221 0 87 0
[pid=23601] ppid=23599 vsize=15144768 memory=28976 CPUtime=0.13 cores=0,2,4,6
/proc/23601/stat : 23601 (java) S 23599 23599 15592 0 -1 1077944320 5707 0 0 0 12 1 0 0 20 0 15 0 408301077 15508242432 7244 33554432000 4194304 4196468 140728383978496 140728383961040 140211764436727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
/proc/23601/statm: 3786192 7244 3147 1 0 3748377 0
[pid=23601/tid=23602] ppid=23599 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/23601/task/23602/stat : 23602 (java) R 23599 23599 15592 0 -1 4202560 3573 0 0 0 9 0 0 0 20 0 15 0 408301078 15508242432 7244 33554432000 4194304 4196468 140728383978496 140211768667104 140211764448662 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23603] ppid=23599 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23603/stat : 23603 (java) S 23599 23599 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408301078 15508242432 7244 33554432000 4194304 4196468 140728383978496 140211692477456 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23604] ppid=23599 vsize=15144768 memory=140331037384501 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23604/stat : 23604 (java) S 23599 23599 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408301078 15508242432 7244 33554432000 4194304 4196468 140728383978496 140211355249808 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23605] ppid=23599 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23605/stat : 23605 (java) S 23599 23599 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408301078 15508242432 7244 33554432000 4194304 4196468 140728383978496 140211354196752 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23606] ppid=23599 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23606/stat : 23606 (java) S 23599 23599 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408301078 15508242432 7244 33554432000 4194304 4196468 140728383978496 140211353144208 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23607] ppid=23599 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23607/stat : 23607 (java) S 23599 23599 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408301080 15508242432 7244 33554432000 4194304 4196468 140728383978496 140211300239600 140211764447874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23608] ppid=23599 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23608/stat : 23608 (java) S 23599 23599 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408301080 15508242432 7244 33554432000 4194304 4196468 140728383978496 140211299185824 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23609] ppid=23599 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23609/stat : 23609 (java) S 23599 23599 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408301080 15508242432 7244 33554432000 4194304 4196468 140728383978496 140211298132720 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23610] ppid=23599 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23610/stat : 23610 (java) S 23599 23599 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408301083 15508242432 7244 33554432000 4194304 4196468 140728383978496 140211297081296 140211764455323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23611] ppid=23599 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23611/stat : 23611 (java) S 23599 23599 15592 0 -1 1077944384 337 0 0 0 0 0 0 0 20 0 15 0 408301083 15508242432 7244 33554432000 4194304 4196468 140728383978496 140211296029424 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23612] ppid=23599 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23612/stat : 23612 (java) S 23599 23599 15592 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 408301083 15508242432 7244 33554432000 4194304 4196468 140728383978496 140211294976880 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23613] ppid=23599 vsize=15144768 memory=140331037365888 CPUtime=0.02 cores=0,2,4,6
/proc/23601/task/23613/stat : 23613 (java) R 23599 23599 15592 0 -1 4202560 370 0 0 0 2 0 0 0 20 0 15 0 408301083 15508242432 7244 33554432000 4194304 4196468 140728383978496 140211293923824 140211743066721 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23614] ppid=23599 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23614/stat : 23614 (java) S 23599 23599 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408301083 15508242432 7244 33554432000 4194304 4196468 140728383978496 140211292871520 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23615] ppid=23599 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23615/stat : 23615 (java) S 23599 23599 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408301083 15508242432 7244 33554432000 4194304 4196468 140728383978496 140211291818544 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30424 KiB
[startup+0.210807 s]*
/proc/loadavg: 8.69 8.52 8.29 7/233 23615
/proc/meminfo: memFree=24960508/32770624 swapFree=66977612/67108860
[pid=23599] ppid=23596 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23599/stat : 23599 (xcsp3-exec) S 23596 23599 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408301077 115843072 362 33554432000 4194304 5098028 140726364234128 140726364232232 140701280572028 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15745024 140726364238714 140726364238957 140726364238957 140726364241866 0
/proc/23599/statm: 28282 362 304 221 0 87 0
[pid=23601] ppid=23599 vsize=15144768 memory=40824 CPUtime=0.34 cores=0,2,4,6
/proc/23601/stat : 23601 (java) S 23599 23599 15592 0 -1 1077944320 9455 0 0 0 32 2 0 0 20 0 15 0 408301077 15508242432 10206 33554432000 4194304 4196468 140728383978496 140728383961040 140211764436727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
/proc/23601/statm: 3786192 10206 3312 1 0 3748377 0
[pid=23601/tid=23602] ppid=23599 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/23601/task/23602/stat : 23602 (java) R 23599 23599 15592 0 -1 4202560 6599 0 0 0 18 2 0 0 20 0 15 0 408301078 15508242432 10206 33554432000 4194304 4196468 140728383978496 140211768673776 140211757114741 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23603] ppid=23599 vsize=15144768 memory=1898157 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23603/stat : 23603 (java) S 23599 23599 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408301078 15508242432 10206 33554432000 4194304 4196468 140728383978496 140211692477456 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23604] ppid=23599 vsize=15144768 memory=288370707189077632 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23604/stat : 23604 (java) S 23599 23599 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408301078 15508242432 10206 33554432000 4194304 4196468 140728383978496 140211355249808 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23605] ppid=23599 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23605/stat : 23605 (java) S 23599 23599 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408301078 15508242432 10206 33554432000 4194304 4196468 140728383978496 140211354196752 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23606] ppid=23599 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23606/stat : 23606 (java) S 23599 23599 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408301078 15508242432 10206 33554432000 4194304 4196468 140728383978496 140211353144208 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23607] ppid=23599 vsize=15144768 memory=140331037365888 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23607/stat : 23607 (java) S 23599 23599 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408301080 15508242432 10206 33554432000 4194304 4196468 140728383978496 140211300239600 140211764447874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23608] ppid=23599 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23608/stat : 23608 (java) S 23599 23599 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408301080 15508242432 10206 33554432000 4194304 4196468 140728383978496 140211299185824 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23609] ppid=23599 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23609/stat : 23609 (java) S 23599 23599 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408301080 15508242432 10206 33554432000 4194304 4196468 140728383978496 140211298132720 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23610] ppid=23599 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23610/stat : 23610 (java) S 23599 23599 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408301083 15508242432 10206 33554432000 4194304 4196468 140728383978496 140211297081296 140211764455323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23611] ppid=23599 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23601/task/23611/stat : 23611 (java) S 23599 23599 15592 0 -1 1077944384 603 0 0 0 3 0 0 0 20 0 15 0 408301083 15508242432 10206 33554432000 4194304 4196468 140728383978496 140211296029424 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23612] ppid=23599 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/23601/task/23612/stat : 23612 (java) S 23599 23599 15592 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 15 0 408301083 15508242432 10206 33554432000 4194304 4196468 140728383978496 140211294976880 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23613] ppid=23599 vsize=15144768 memory=140331037365888 CPUtime=0.08 cores=0,2,4,6
/proc/23601/task/23613/stat : 23613 (java) R 23599 23599 15592 0 -1 4202560 783 0 0 0 8 0 0 0 20 0 15 0 408301083 15508242432 10206 33554432000 4194304 4196468 140728383978496 140211293923824 140211764458074 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23614] ppid=23599 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23614/stat : 23614 (java) S 23599 23599 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408301083 15508242432 10206 33554432000 4194304 4196468 140728383978496 140211292871520 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23615] ppid=23599 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23615/stat : 23615 (java) S 23599 23599 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408301083 15508242432 10206 33554432000 4194304 4196468 140728383978496 140211291818544 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42272 KiB
[startup+0.3106 s]*
/proc/loadavg: 8.69 8.52 8.29 8/233 23615
/proc/meminfo: memFree=24952588/32770624 swapFree=66977612/67108860
[pid=23599] ppid=23596 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23599/stat : 23599 (xcsp3-exec) S 23596 23599 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408301077 115843072 362 33554432000 4194304 5098028 140726364234128 140726364232232 140701280572028 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15745024 140726364238714 140726364238957 140726364238957 140726364241866 0
/proc/23599/statm: 28282 362 304 221 0 87 0
[pid=23601] ppid=23599 vsize=15149024 memory=50040 CPUtime=0.53 cores=0,2,4,6
/proc/23601/stat : 23601 (java) S 23599 23599 15592 0 -1 1077944320 10887 0 0 0 50 3 0 0 20 0 15 0 408301077 15512600576 12510 33554432000 4194304 4196468 140728383978496 140728383961040 140211764436727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
/proc/23601/statm: 3787256 12510 3358 1 0 3748377 0
[pid=23601/tid=23602] ppid=23599 vsize=15149024 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/23601/task/23602/stat : 23602 (java) R 23599 23599 15592 0 -1 4202560 7806 0 0 0 27 2 0 0 20 0 15 0 408301078 15512600576 12510 33554432000 4194304 4196468 140728383978496 140211768667840 140211748517214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23603] ppid=23599 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23603/stat : 23603 (java) S 23599 23599 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408301078 15512600576 12510 33554432000 4194304 4196468 140728383978496 140211692477456 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23604] ppid=23599 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23604/stat : 23604 (java) S 23599 23599 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408301078 15512600576 12510 33554432000 4194304 4196468 140728383978496 140211355249808 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23605] ppid=23599 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23605/stat : 23605 (java) S 23599 23599 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408301078 15512600576 12510 33554432000 4194304 4196468 140728383978496 140211354196752 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23606] ppid=23599 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23606/stat : 23606 (java) S 23599 23599 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408301078 15512600576 12510 33554432000 4194304 4196468 140728383978496 140211353144208 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23607] ppid=23599 vsize=15149024 memory=-6945283279944138911 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23607/stat : 23607 (java) S 23599 23599 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408301080 15512600576 12510 33554432000 4194304 4196468 140728383978496 140211300239600 140211764447874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23608] ppid=23599 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23608/stat : 23608 (java) S 23599 23599 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408301080 15512600576 12510 33554432000 4194304 4196468 140728383978496 140211299185824 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23609] ppid=23599 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23609/stat : 23609 (java) S 23599 23599 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408301080 15512600576 12510 33554432000 4194304 4196468 140728383978496 140211298132720 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23610] ppid=23599 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23610/stat : 23610 (java) S 23599 23599 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408301083 15512600576 12510 33554432000 4194304 4196468 140728383978496 140211297081296 140211764455323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23611] ppid=23599 vsize=15149024 memory=7827413994055111515 CPUtime=0.06 cores=0,2,4,6
/proc/23601/task/23611/stat : 23611 (java) S 23599 23599 15592 0 -1 1077944384 725 0 0 0 6 0 0 0 20 0 15 0 408301083 15512600576 12510 33554432000 4194304 4196468 140728383978496 140211296029424 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23612] ppid=23599 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23601/task/23612/stat : 23612 (java) S 23599 23599 15592 0 -1 1077944384 178 0 0 0 3 0 0 0 20 0 15 0 408301083 15512600576 12510 33554432000 4194304 4196468 140728383978496 140211294976880 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23613] ppid=23599 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23601/task/23613/stat : 23613 (java) S 23599 23599 15592 0 -1 1077944384 877 0 0 0 12 0 0 0 20 0 15 0 408301083 15512600576 12510 33554432000 4194304 4196468 140728383978496 140211293923824 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23614] ppid=23599 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23614/stat : 23614 (java) S 23599 23599 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408301083 15512600576 12510 33554432000 4194304 4196468 140728383978496 140211292871520 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23615] ppid=23599 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23615/stat : 23615 (java) S 23599 23599 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408301083 15512600576 12510 33554432000 4194304 4196468 140728383978496 140211291818544 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51488 KiB
[startup+0.700749 s]
/proc/loadavg: 8.69 8.52 8.29 7/233 23615
/proc/meminfo: memFree=24943312/32770624 swapFree=66977612/67108860
[pid=23599] ppid=23596 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23599/stat : 23599 (xcsp3-exec) S 23596 23599 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408301077 115843072 362 33554432000 4194304 5098028 140726364234128 140726364232232 140701280572028 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15745024 140726364238714 140726364238957 140726364238957 140726364241866 0
/proc/23599/statm: 28282 362 304 221 0 87 0
[pid=23601] ppid=23599 vsize=15417404 memory=92056 CPUtime=1.6 cores=0,2,4,6
/proc/23601/stat : 23601 (java) S 23599 23599 15592 0 -1 1077944320 13920 0 0 0 156 4 0 0 20 0 19 0 408301077 15787421696 23014 33554432000 4194304 4196468 140728383978496 140728383961040 140211764436727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
/proc/23601/statm: 3854351 23014 3456 1 0 3815453 0
[pid=23601/tid=23602] ppid=23599 vsize=15417404 memory=-3704326594973231466 CPUtime=0.66 cores=0,2,4,6
/proc/23601/task/23602/stat : 23602 (java) S 23599 23599 15592 0 -1 1077944384 8703 0 0 0 63 3 0 0 20 0 19 0 408301078 15787421696 23014 33554432000 4194304 4196468 140728383978496 140211768677504 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23603] ppid=23599 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23603/stat : 23603 (java) S 23599 23599 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408301078 15787421696 23014 33554432000 4194304 4196468 140728383978496 140211692477456 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23604] ppid=23599 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23604/stat : 23604 (java) S 23599 23599 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408301078 15787421696 23014 33554432000 4194304 4196468 140728383978496 140211355249808 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23605] ppid=23599 vsize=15417404 memory=704 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23605/stat : 23605 (java) S 23599 23599 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408301078 15787421696 23014 33554432000 4194304 4196468 140728383978496 140211354196752 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23606] ppid=23599 vsize=15417404 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23606/stat : 23606 (java) S 23599 23599 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408301078 15787421696 23014 33554432000 4194304 4196468 140728383978496 140211353144208 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23607] ppid=23599 vsize=15417404 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23607/stat : 23607 (java) S 23599 23599 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 408301080 15787421696 23014 33554432000 4194304 4196468 140728383978496 140211300239600 140211764447874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23608] ppid=23599 vsize=15417404 memory=780 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23608/stat : 23608 (java) S 23599 23599 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408301080 15787421696 23014 33554432000 4194304 4196468 140728383978496 140211299185824 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23609] ppid=23599 vsize=15417404 memory=3252 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23609/stat : 23609 (java) S 23599 23599 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 408301080 15787421696 23014 33554432000 4194304 4196468 140728383978496 140211298132720 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23610] ppid=23599 vsize=15417404 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23610/stat : 23610 (java) S 23599 23599 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408301083 15787421696 23014 33554432000 4194304 4196468 140728383978496 140211297081296 140211764455323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23611] ppid=23599 vsize=15417404 memory=5952 CPUtime=0.26 cores=0,2,4,6
/proc/23601/task/23611/stat : 23611 (java) S 23599 23599 15592 0 -1 1077944384 1210 0 0 0 26 0 0 0 20 0 19 0 408301083 15787421696 23014 33554432000 4194304 4196468 140728383978496 140211296029424 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23612] ppid=23599 vsize=15417404 memory=7552 CPUtime=0.23 cores=0,2,4,6
/proc/23601/task/23612/stat : 23612 (java) S 23599 23599 15592 0 -1 1077944384 774 0 0 0 23 0 0 0 20 0 19 0 408301083 15787421696 23014 33554432000 4194304 4196468 140728383978496 140211294976880 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23613] ppid=23599 vsize=15417404 memory=2832 CPUtime=0.4 cores=0,2,4,6
/proc/23601/task/23613/stat : 23613 (java) S 23599 23599 15592 0 -1 1077944384 1795 0 0 0 40 0 0 0 20 0 19 0 408301083 15787421696 23014 33554432000 4194304 4196468 140728383978496 140211293923824 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23614] ppid=23599 vsize=15417404 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23614/stat : 23614 (java) S 23599 23599 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408301083 15787421696 23014 33554432000 4194304 4196468 140728383978496 140211292871520 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23615] ppid=23599 vsize=15417404 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23615/stat : 23615 (java) S 23599 23599 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408301083 15787421696 23014 33554432000 4194304 4196468 140728383978496 140211291818544 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 93504 KiB
[startup+1.50147 s]
/proc/loadavg: 8.71 8.53 8.30 12/237 23631
/proc/meminfo: memFree=24882812/32770624 swapFree=66977612/67108860
[pid=23599] ppid=23596 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23599/stat : 23599 (xcsp3-exec) S 23596 23599 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408301077 115843072 362 33554432000 4194304 5098028 140726364234128 140726364232232 140701280572028 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15745024 140726364238714 140726364238957 140726364238957 140726364241866 0
/proc/23599/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 205992 KiB
[startup+20.0015 s]*
/proc/loadavg: 8.64 8.52 8.30 9/238 23663
/proc/meminfo: memFree=24775348/32770624 swapFree=66977612/67108860
[pid=23599] ppid=23596 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23599/stat : 23599 (xcsp3-exec) S 23596 23599 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408301077 115843072 362 33554432000 4194304 5098028 140726364234128 140726364232232 140701280572028 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15745024 140726364238714 140726364238957 140726364238957 140726364241866 0
/proc/23599/statm: 28282 362 304 221 0 87 0
[pid=23601] ppid=23599 vsize=15483968 memory=199920 CPUtime=78.31 cores=0,2,4,6
/proc/23601/stat : 23601 (java) S 23599 23599 15592 0 -1 1077944320 30290 0 0 0 7822 9 0 0 20 0 19 0 408301077 15855583232 49980 33554432000 4194304 4196468 140728383978496 140728383961040 140211764436727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
/proc/23601/statm: 3870992 49980 3523 1 0 3832094 0
[pid=23601/tid=23602] ppid=23599 vsize=15483968 memory=8317482817917895235 CPUtime=0.67 cores=0,2,4,6
/proc/23601/task/23602/stat : 23602 (java) S 23599 23599 15592 0 -1 1077944384 8705 0 0 0 64 3 0 0 20 0 19 0 408301078 15855583232 49980 33554432000 4194304 4196468 140728383978496 140211768677504 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23603] ppid=23599 vsize=15483968 memory=1056 CPUtime=0.02 cores=0,2,4,6
/proc/23601/task/23603/stat : 23603 (java) S 23599 23599 15592 0 -1 1077944384 1548 0 0 0 2 0 0 0 20 0 19 0 408301078 15855583232 49980 33554432000 4194304 4196468 140728383978496 140211692477456 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23604] ppid=23599 vsize=15483968 memory=1556 CPUtime=0.02 cores=0,2,4,6
/proc/23601/task/23604/stat : 23604 (java) S 23599 23599 15592 0 -1 1077944384 499 0 0 0 2 0 0 0 20 0 19 0 408301078 15855583232 49980 33554432000 4194304 4196468 140728383978496 140211355249808 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23605] ppid=23599 vsize=15483968 memory=780 CPUtime=0.02 cores=0,2,4,6
/proc/23601/task/23605/stat : 23605 (java) S 23599 23599 15592 0 -1 1077944384 518 0 0 0 2 0 0 0 20 0 19 0 408301078 15855583232 49980 33554432000 4194304 4196468 140728383978496 140211354196752 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23606] ppid=23599 vsize=15483968 memory=3252 CPUtime=0.02 cores=0,2,4,6
/proc/23601/task/23606/stat : 23606 (java) S 23599 23599 15592 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 19 0 408301078 15855583232 49980 33554432000 4194304 4196468 140728383978496 140211353144208 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23607] ppid=23599 vsize=15483968 memory=1112 CPUtime=0.01 cores=0,2,4,6
/proc/23601/task/23607/stat : 23607 (java) S 23599 23599 15592 0 -1 1077944384 915 0 0 0 1 0 0 0 20 0 19 0 408301080 15855583232 49980 33554432000 4194304 4196468 140728383978496 140211300239600 140211764447874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23608] ppid=23599 vsize=15483968 memory=5952 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23608/stat : 23608 (java) S 23599 23599 15592 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 408301080 15855583232 49980 33554432000 4194304 4196468 140728383978496 140211299185888 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23609] ppid=23599 vsize=15483968 memory=7552 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23609/stat : 23609 (java) S 23599 23599 15592 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 408301080 15855583232 49980 33554432000 4194304 4196468 140728383978496 140211298132736 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23610] ppid=23599 vsize=15483968 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23610/stat : 23610 (java) S 23599 23599 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408301083 15855583232 49980 33554432000 4194304 4196468 140728383978496 140211297081296 140211764455323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23611] ppid=23599 vsize=15483968 memory=1084 CPUtime=1.3 cores=0,2,4,6
/proc/23601/task/23611/stat : 23611 (java) S 23599 23599 15592 0 -1 1077944384 4920 0 0 0 130 0 0 0 20 0 19 0 408301083 15855583232 49980 33554432000 4194304 4196468 140728383978496 140211296029424 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23612] ppid=23599 vsize=15483968 memory=14012 CPUtime=1.48 cores=0,2,4,6
/proc/23601/task/23612/stat : 23612 (java) S 23599 23599 15592 0 -1 1077944384 5151 0 0 0 148 0 0 0 20 0 19 0 408301083 15855583232 49980 33554432000 4194304 4196468 140728383978496 140211294976880 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23613] ppid=23599 vsize=15483968 memory=14048 CPUtime=0.56 cores=0,2,4,6
/proc/23601/task/23613/stat : 23613 (java) S 23599 23599 15592 0 -1 1077944384 3470 0 0 0 56 0 0 0 20 0 19 0 408301083 15855583232 49980 33554432000 4194304 4196468 140728383978496 140211293923824 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23614] ppid=23599 vsize=15483968 memory=20244 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23614/stat : 23614 (java) S 23599 23599 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408301083 15855583232 49980 33554432000 4194304 4196468 140728383978496 140211292871520 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23615] ppid=23599 vsize=15483968 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23615/stat : 23615 (java) S 23599 23599 15592 0 -1 1077944384 362 0 0 0 0 0 0 0 20 0 19 0 408301083 15855583232 49980 33554432000 4194304 4196468 140728383978496 140211291818544 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23657] ppid=23599 vsize=15483968 memory=532 CPUtime=18.11 cores=0,2,4,6
/proc/23601/task/23657/stat : 23657 (java) R 23599 23599 15592 0 -1 4202560 225 0 0 0 1811 0 0 0 20 0 19 0 408301227 15855583232 49980 33554432000 4194304 4196468 140728383978496 140211213122728 140211377373295 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23658] ppid=23599 vsize=15483968 memory=1564 CPUtime=18.08 cores=0,2,4,6
/proc/23601/task/23658/stat : 23658 (java) R 23599 23599 15592 0 -1 4202560 620 0 0 0 1808 0 0 0 20 0 19 0 408301227 15855583232 49980 33554432000 4194304 4196468 140728383978496 140211214177848 140211750504852 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23659] ppid=23599 vsize=15483968 memory=924 CPUtime=17.95 cores=0,2,4,6
/proc/23601/task/23659/stat : 23659 (java) R 23599 23599 15592 0 -1 4202560 225 0 0 0 1795 0 0 0 20 0 19 0 408301227 15855583232 49980 33554432000 4194304 4196468 140728383978496 140211289063448 140211376903167 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23660] ppid=23599 vsize=15483968 memory=1756 CPUtime=18.05 cores=0,2,4,6
/proc/23601/task/23660/stat : 23660 (java) R 23599 23599 15592 0 -1 4202560 724 0 0 0 1805 0 0 0 20 0 19 0 408301228 15855583232 49980 33554432000 4194304 4196468 140728383978496 140211211021296 140211377373484 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
Current children cumulated CPU time: 78.31 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 201368 KiB
[startup+20.4015 s]
/proc/loadavg: 8.64 8.52 8.30 9/238 23663
/proc/meminfo: memFree=24775348/32770624 swapFree=66977612/67108860
[pid=23599] ppid=23596 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23599/stat : 23599 (xcsp3-exec) S 23596 23599 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408301077 115843072 362 33554432000 4194304 5098028 140726364234128 140726364232232 140701280572028 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15745024 140726364238714 140726364238957 140726364238957 140726364241866 0
/proc/23599/statm: 28282 362 304 221 0 87 0
[pid=23601] ppid=23599 vsize=15483968 memory=198384 CPUtime=79.87 cores=0,2,4,6
/proc/23601/stat : 23601 (java) S 23599 23599 15592 0 -1 1077944320 30295 0 0 0 7978 9 0 0 20 0 19 0 408301077 15855583232 49596 33554432000 4194304 4196468 140728383978496 140728383961040 140211764436727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
/proc/23601/statm: 3870992 49596 3523 1 0 3832094 0
[pid=23601/tid=23602] ppid=23599 vsize=15483968 memory=8305307729386299488 CPUtime=0.67 cores=0,2,4,6
/proc/23601/task/23602/stat : 23602 (java) S 23599 23599 15592 0 -1 1077944384 8705 0 0 0 64 3 0 0 20 0 19 0 408301078 15855583232 49596 33554432000 4194304 4196468 140728383978496 140211768677504 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23603] ppid=23599 vsize=15483968 memory=8305307729386299488 CPUtime=0.02 cores=0,2,4,6
/proc/23601/task/23603/stat : 23603 (java) S 23599 23599 15592 0 -1 1077944384 1548 0 0 0 2 0 0 0 20 0 19 0 408301078 15855583232 49596 33554432000 4194304 4196468 140728383978496 140211692477456 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23604] ppid=23599 vsize=15483968 memory=8764164798296004766 CPUtime=0.02 cores=0,2,4,6
/proc/23601/task/23604/stat : 23604 (java) S 23599 23599 15592 0 -1 1077944384 499 0 0 0 2 0 0 0 20 0 19 0 408301078 15855583232 49596 33554432000 4194304 4196468 140728383978496 140211355249808 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23605] ppid=23599 vsize=15483968 memory=-7027408097459412384 CPUtime=0.02 cores=0,2,4,6
/proc/23601/task/23605/stat : 23605 (java) S 23599 23599 15592 0 -1 1077944384 519 0 0 0 2 0 0 0 20 0 19 0 408301078 15855583232 49596 33554432000 4194304 4196468 140728383978496 140211354196752 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23606] ppid=23599 vsize=15483968 memory=6944663189525129274 CPUtime=0.02 cores=0,2,4,6
/proc/23601/task/23606/stat : 23606 (java) S 23599 23599 15592 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 19 0 408301078 15855583232 49596 33554432000 4194304 4196468 140728383978496 140211353144208 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23607] ppid=23599 vsize=15483968 memory=6944938067429517988 CPUtime=0.01 cores=0,2,4,6
/proc/23601/task/23607/stat : 23607 (java) S 23599 23599 15592 0 -1 1077944384 915 0 0 0 1 0 0 0 20 0 19 0 408301080 15855583232 49596 33554432000 4194304 4196468 140728383978496 140211300239600 140211764447874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23608] ppid=23599 vsize=15483968 memory=4783210246294233184 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23608/stat : 23608 (java) S 23599 23599 15592 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 408301080 15855583232 49596 33554432000 4194304 4196468 140728383978496 140211299185888 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23609] ppid=23599 vsize=15483968 memory=8317482817917895235 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23609/stat : 23609 (java) S 23599 23599 15592 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 408301080 15855583232 49596 33554432000 4194304 4196468 140728383978496 140211298132736 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23610] ppid=23599 vsize=15483968 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23610/stat : 23610 (java) S 23599 23599 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408301083 15855583232 49596 33554432000 4194304 4196468 140728383978496 140211297081296 140211764455323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23611] ppid=23599 vsize=15483968 memory=15824382723368999 CPUtime=1.3 cores=0,2,4,6
/proc/23601/task/23611/stat : 23611 (java) S 23599 23599 15592 0 -1 1077944384 4920 0 0 0 130 0 0 0 20 0 19 0 408301083 15855583232 49596 33554432000 4194304 4196468 140728383978496 140211296029424 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23612] ppid=23599 vsize=15483968 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/23601/task/23612/stat : 23612 (java) S 23599 23599 15592 0 -1 1077944384 5151 0 0 0 148 0 0 0 20 0 19 0 408301083 15855583232 49596 33554432000 4194304 4196468 140728383978496 140211294976880 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23613] ppid=23599 vsize=15483968 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/23601/task/23613/stat : 23613 (java) S 23599 23599 15592 0 -1 1077944384 3470 0 0 0 56 0 0 0 20 0 19 0 408301083 15855583232 49596 33554432000 4194304 4196468 140728383978496 140211293923824 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23614] ppid=23599 vsize=15483968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23614/stat : 23614 (java) S 23599 23599 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408301083 15855583232 49596 33554432000 4194304 4196468 140728383978496 140211292871520 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23615] ppid=23599 vsize=15483968 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23615/stat : 23615 (java) S 23599 23599 15592 0 -1 1077944384 363 0 0 0 0 0 0 0 20 0 19 0 408301083 15855583232 49596 33554432000 4194304 4196468 140728383978496 140211291818544 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23657] ppid=23599 vsize=15483968 memory=0 CPUtime=18.5 cores=0,2,4,6
/proc/23601/task/23657/stat : 23657 (java) R 23599 23599 15592 0 -1 4202560 225 0 0 0 1850 0 0 0 20 0 19 0 408301227 15855583232 49596 33554432000 4194304 4196468 140728383978496 140211213122992 140211377373423 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23658] ppid=23599 vsize=15483968 memory=0 CPUtime=18.47 cores=0,2,4,6
/proc/23601/task/23658/stat : 23658 (java) R 23599 23599 15592 0 -1 4202560 622 0 0 0 1847 0 0 0 20 0 19 0 408301227 15855583232 49596 33554432000 4194304 4196468 140728383978496 140211214178912 140211377373295 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23659] ppid=23599 vsize=15483968 memory=0 CPUtime=18.34 cores=0,2,4,6
/proc/23601/task/23659/stat : 23659 (java) R 23599 23599 15592 0 -1 4202560 225 0 0 0 1834 0 0 0 20 0 19 0 408301227 15855583232 49596 33554432000 4194304 4196468 140728383978496 140211289063824 140211376902515 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23660] ppid=23599 vsize=15483968 memory=0 CPUtime=18.44 cores=0,2,4,6
/proc/23601/task/23660/stat : 23660 (java) R 23599 23599 15592 0 -1 4202560 724 0 0 0 1844 0 0 0 20 0 19 0 408301228 15855583232 49596 33554432000 4194304 4196468 140728383978496 140211211019256 140211748813840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
Current children cumulated CPU time: 79.87 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 199832 KiB
[startup+20.6015 s]
/proc/loadavg: 8.64 8.52 8.30 9/238 23663
/proc/meminfo: memFree=24775348/32770624 swapFree=66977612/67108860
[pid=23599] ppid=23596 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23599/stat : 23599 (xcsp3-exec) S 23596 23599 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408301077 115843072 362 33554432000 4194304 5098028 140726364234128 140726364232232 140701280572028 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15745024 140726364238714 140726364238957 140726364238957 140726364241866 0
/proc/23599/statm: 28282 362 304 221 0 87 0
[pid=23601] ppid=23599 vsize=15483968 memory=198388 CPUtime=80.66 cores=0,2,4,6
/proc/23601/stat : 23601 (java) S 23599 23599 15592 0 -1 1077944320 30422 0 0 0 8057 9 0 0 20 0 19 0 408301077 15855583232 49597 33554432000 4194304 4196468 140728383978496 140728383961040 140211764436727 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
/proc/23601/statm: 3870992 49597 3523 1 0 3832094 0
[pid=23601/tid=23602] ppid=23599 vsize=15483968 memory=916 CPUtime=0.67 cores=0,2,4,6
/proc/23601/task/23602/stat : 23602 (java) S 23599 23599 15592 0 -1 1077944384 8705 0 0 0 64 3 0 0 20 0 19 0 408301078 15855583232 49597 33554432000 4194304 4196468 140728383978496 140211768677504 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23603] ppid=23599 vsize=15483968 memory=3848 CPUtime=0.02 cores=0,2,4,6
/proc/23601/task/23603/stat : 23603 (java) S 23599 23599 15592 0 -1 1077944384 1548 0 0 0 2 0 0 0 20 0 19 0 408301078 15855583232 49597 33554432000 4194304 4196468 140728383978496 140211692477456 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23604] ppid=23599 vsize=15483968 memory=3176 CPUtime=0.02 cores=0,2,4,6
/proc/23601/task/23604/stat : 23604 (java) S 23599 23599 15592 0 -1 1077944384 499 0 0 0 2 0 0 0 20 0 19 0 408301078 15855583232 49597 33554432000 4194304 4196468 140728383978496 140211355249808 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23605] ppid=23599 vsize=15483968 memory=2596 CPUtime=0.02 cores=0,2,4,6
/proc/23601/task/23605/stat : 23605 (java) S 23599 23599 15592 0 -1 1077944384 519 0 0 0 2 0 0 0 20 0 19 0 408301078 15855583232 49597 33554432000 4194304 4196468 140728383978496 140211354196752 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23606] ppid=23599 vsize=15483968 memory=4100 CPUtime=0.02 cores=0,2,4,6
/proc/23601/task/23606/stat : 23606 (java) S 23599 23599 15592 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 19 0 408301078 15855583232 49597 33554432000 4194304 4196468 140728383978496 140211353144208 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23607] ppid=23599 vsize=15483968 memory=1412 CPUtime=0.01 cores=0,2,4,6
/proc/23601/task/23607/stat : 23607 (java) S 23599 23599 15592 0 -1 1077944384 915 0 0 0 1 0 0 0 20 0 19 0 408301080 15855583232 49597 33554432000 4194304 4196468 140728383978496 140211300239600 140211764447874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23608] ppid=23599 vsize=15483968 memory=3232 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23608/stat : 23608 (java) S 23599 23599 15592 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 408301080 15855583232 49597 33554432000 4194304 4196468 140728383978496 140211299185888 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23609] ppid=23599 vsize=15483968 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23609/stat : 23609 (java) S 23599 23599 15592 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 408301080 15855583232 49597 33554432000 4194304 4196468 140728383978496 140211298132736 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23610] ppid=23599 vsize=15483968 memory=190364 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23610/stat : 23610 (java) S 23599 23599 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408301083 15855583232 49597 33554432000 4194304 4196468 140728383978496 140211297081296 140211764455323 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23611] ppid=23599 vsize=15483968 memory=1408 CPUtime=1.3 cores=0,2,4,6
/proc/23601/task/23611/stat : 23611 (java) S 23599 23599 15592 0 -1 1077944384 4920 0 0 0 130 0 0 0 20 0 19 0 408301083 15855583232 49597 33554432000 4194304 4196468 140728383978496 140211296029424 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23612] ppid=23599 vsize=15483968 memory=2768 CPUtime=1.48 cores=0,2,4,6
/proc/23601/task/23612/stat : 23612 (java) S 23599 23599 15592 0 -1 1077944384 5151 0 0 0 148 0 0 0 20 0 19 0 408301083 15855583232 49597 33554432000 4194304 4196468 140728383978496 140211294976880 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23613] ppid=23599 vsize=15483968 memory=1448 CPUtime=0.56 cores=0,2,4,6
/proc/23601/task/23613/stat : 23613 (java) S 23599 23599 15592 0 -1 1077944384 3594 0 0 0 56 0 0 0 20 0 19 0 408301083 15855583232 49597 33554432000 4194304 4196468 140728383978496 140211293923824 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23614] ppid=23599 vsize=15483968 memory=205568 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23614/stat : 23614 (java) S 23599 23599 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408301083 15855583232 49597 33554432000 4194304 4196468 140728383978496 140211292871520 140211764446933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23615] ppid=23599 vsize=15483968 memory=1164 CPUtime=0 cores=0,2,4,6
/proc/23601/task/23615/stat : 23615 (java) S 23599 23599 15592 0 -1 1077944384 363 0 0 0 0 0 0 0 20 0 19 0 408301083 15855583232 49597 33554432000 4194304 4196468 140728383978496 140211291818544 140211764447874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23657] ppid=23599 vsize=15483968 memory=2465 CPUtime=18.7 cores=0,2,4,6
/proc/23601/task/23657/stat : 23657 (java) R 23599 23599 15592 0 -1 4202560 227 0 0 0 1870 0 0 0 20 0 19 0 408301227 15855583232 49597 33554432000 4194304 4196468 140728383978496 140211213126400 140211377373453 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23658] ppid=23599 vsize=15483968 memory=3472328296227679313 CPUtime=18.67 cores=0,2,4,6
/proc/23601/task/23658/stat : 23658 (java) R 23599 23599 15592 0 -1 4202560 622 0 0 0 1867 0 0 0 20 0 19 0 408301227 15855583232 49597 33554432000 4194304 4196468 140728383978496 140211214180000 140211749646534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23659] ppid=23599 vsize=15483968 memory=0 CPUtime=18.54 cores=0,2,4,6
/proc/23601/task/23659/stat : 23659 (java) R 23599 23599 15592 0 -1 4202560 225 0 0 0 1854 0 0 0 20 0 19 0 408301227 15855583232 49597 33554432000 4194304 4196468 140728383978496 140211289063960 140211377529516 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
[pid=23601/tid=23660] ppid=23599 vsize=15483968 memory=0 CPUtime=18.64 cores=0,2,4,6
/proc/23601/task/23660/stat : 23660 (java) R 23599 23599 15592 0 -1 4202560 725 0 0 0 1864 0 0 0 20 0 19 0 408301228 15855583232 49597 33554432000 4194304 4196468 140728383978496 140211211023144 140211377373453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33476608 140728383984623 140728383984794 140728383984794 140728383987663 0
Current children cumulated CPU time: 80.66 s
Current children cumulated vsize: 15597096 KiB
Current children cumulated memory: 199836 KiB
[startup+20.7008 s]
/proc/loadavg: 8.64 8.52 8.30 9/238 23663
/proc/meminfo: memFree=24775348/32770624 swapFree=66977612/67108860
[pid=23599] ppid=23596 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/23599/stat : 23599 (xcsp3-exec) S 23596 23599 15592 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408301077 115843072 362 33554432000 4194304 5098028 140726364234128 140726364232232 140701280572028 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15745024 140726364238714 140726364238957 140726364238957 140726364241866 0
/proc/23599/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 0
Real time (s): 20.7036
CPU time (s): 80.979
CPU user time (s): 80.8767
CPU system time (s): 0.102372
CPU usage (%): 391.135
Max. virtual memory (cumulated for all children) (KiB): 15597096
Max. memory (cumulated for all children) (KiB): 210712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.8767
system time used= 0.102372
maximum resident set size= 210180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31868
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3333
involuntary context switches= 1426
# summary of solver processes directly reported to runsolver:
# pid: 23599
# total CPU time (s): 80.979
# total CPU user time (s): 80.8767
# total CPU system time (s): 0.102372
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.179008 second user time and 0.247275 second system time
The end