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 (11095 MiB free)
memory of node 1: 16384 MiB (13765 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393139-1568320959/watcher-4393139-1568320959 -o /tmp/evaluation-result-4393139-1568320959/solver-4393139-1568320959 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11622 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1971309309 HOME/instance-4393139-1568320959.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=23791, runsolver pid=23788
Current StackSize limit: 8192 KiB
[startup+0.100684 s]*
/proc/loadavg: 7.45 8.38 8.29 7/235 23807
/proc/meminfo: memFree=25440544/32770624 swapFree=66952812/67108860
[pid=23791] ppid=23788 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23791/stat : 23791 (xcsp3-exec) S 23788 23791 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408037863 115843072 363 33554432000 4194304 5098028 140727255374496 140727255372600 140255274443388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20221952 140727255376762 140727255377005 140727255377005 140727255379914 0
/proc/23791/statm: 28282 363 304 221 0 87 0
[pid=23793] ppid=23791 vsize=15144768 memory=29636 CPUtime=0.13 cores=0,2,4,6
/proc/23793/stat : 23793 (java) S 23791 23791 11591 0 -1 1077944320 5826 0 0 0 11 2 0 0 20 0 15 0 408037864 15508242432 7409 33554432000 4194304 4196468 140725305391296 140725305373840 140636738322167 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
/proc/23793/statm: 3786192 7409 3150 1 0 3748377 0
[pid=23793/tid=23794] ppid=23791 vsize=15144768 memory=7100839861464564850 CPUtime=0.09 cores=0,2,4,6
/proc/23793/task/23794/stat : 23794 (java) R 23791 23791 11591 0 -1 4202560 3726 0 0 0 8 1 0 0 20 0 15 0 408037864 15508242432 7409 33554432000 4194304 4196468 140725305391296 140636742554344 140636722402654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23795] ppid=23791 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23795/stat : 23795 (java) S 23791 23791 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408037865 15508242432 7409 33554432000 4194304 4196468 140725305391296 140636331105296 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23796] ppid=23791 vsize=15144768 memory=140396246742656 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23796/stat : 23796 (java) S 23791 23791 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408037865 15508242432 7409 33554432000 4194304 4196468 140725305391296 140636330052752 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23797] ppid=23791 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23797/stat : 23797 (java) S 23791 23791 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408037865 15508242432 7409 33554432000 4194304 4196468 140725305391296 140636328999696 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23798] ppid=23791 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23798/stat : 23798 (java) S 23791 23791 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408037865 15508242432 7409 33554432000 4194304 4196468 140725305391296 140636327947152 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23799] ppid=23791 vsize=15144768 memory=140396246742656 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23799/stat : 23799 (java) S 23791 23791 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408037866 15508242432 7409 33554432000 4194304 4196468 140725305391296 140636206848240 140636738333314 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23800] ppid=23791 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23800/stat : 23800 (java) S 23791 23791 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408037867 15508242432 7409 33554432000 4194304 4196468 140725305391296 140636205794464 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23801] ppid=23791 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23801/stat : 23801 (java) S 23791 23791 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408037867 15508242432 7409 33554432000 4194304 4196468 140725305391296 140636204741360 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23802] ppid=23791 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23802/stat : 23802 (java) S 23791 23791 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408037869 15508242432 7409 33554432000 4194304 4196468 140725305391296 140636203689936 140636738340763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23803] ppid=23791 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23803/stat : 23803 (java) R 23791 23791 11591 0 -1 4202560 442 0 0 0 0 0 0 0 20 0 15 0 408037869 15508242432 7409 33554432000 4194304 4196468 140725305391296 140636202638064 140636723988320 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23804] ppid=23791 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23804/stat : 23804 (java) R 23791 23791 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408037869 15508242432 7409 33554432000 4194304 4196468 140725305391296 140636201585520 140636738333314 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23805] ppid=23791 vsize=15144768 memory=140396246742656 CPUtime=0.02 cores=0,2,4,6
/proc/23793/task/23805/stat : 23805 (java) R 23791 23791 11591 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 15 0 408037869 15508242432 7409 33554432000 4194304 4196468 140725305391296 140636200532464 140636717330744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23806] ppid=23791 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23806/stat : 23806 (java) S 23791 23791 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408037870 15508242432 7409 33554432000 4194304 4196468 140725305391296 140636199480160 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23807] ppid=23791 vsize=15144768 memory=140396246742656 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23807/stat : 23807 (java) S 23791 23791 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408037870 15508242432 7409 33554432000 4194304 4196468 140725305391296 140636198427184 140636738333314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31088 KiB
[startup+0.210804 s]*
/proc/loadavg: 7.45 8.38 8.29 6/235 23807
/proc/meminfo: memFree=25427984/32770624 swapFree=66952812/67108860
[pid=23791] ppid=23788 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23791/stat : 23791 (xcsp3-exec) S 23788 23791 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408037863 115843072 363 33554432000 4194304 5098028 140727255374496 140727255372600 140255274443388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20221952 140727255376762 140727255377005 140727255377005 140727255379914 0
/proc/23791/statm: 28282 363 304 221 0 87 0
[pid=23793] ppid=23791 vsize=15144768 memory=40892 CPUtime=0.34 cores=0,2,4,6
/proc/23793/stat : 23793 (java) S 23791 23791 11591 0 -1 1077944320 9421 0 0 0 31 3 0 0 20 0 15 0 408037864 15508242432 10223 33554432000 4194304 4196468 140725305391296 140725305373840 140636738322167 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
/proc/23793/statm: 3786192 10223 3308 1 0 3748377 0
[pid=23793/tid=23794] ppid=23791 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/23793/task/23794/stat : 23794 (java) R 23791 23791 11591 0 -1 4202560 6610 0 0 0 18 2 0 0 20 0 15 0 408037864 15508242432 10223 33554432000 4194304 4196468 140725305391296 140636742556224 140636738334102 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23795] ppid=23791 vsize=15144768 memory=13655 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23795/stat : 23795 (java) S 23791 23791 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408037865 15508242432 10223 33554432000 4194304 4196468 140725305391296 140636331105296 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23796] ppid=23791 vsize=15144768 memory=140396246760272 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23796/stat : 23796 (java) S 23791 23791 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408037865 15508242432 10223 33554432000 4194304 4196468 140725305391296 140636330052752 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23797] ppid=23791 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23797/stat : 23797 (java) S 23791 23791 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408037865 15508242432 10223 33554432000 4194304 4196468 140725305391296 140636328999696 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23798] ppid=23791 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23798/stat : 23798 (java) S 23791 23791 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408037865 15508242432 10223 33554432000 4194304 4196468 140725305391296 140636327947152 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23799] ppid=23791 vsize=15144768 memory=140396246742656 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23799/stat : 23799 (java) S 23791 23791 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408037866 15508242432 10223 33554432000 4194304 4196468 140725305391296 140636206848240 140636738333314 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23800] ppid=23791 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23800/stat : 23800 (java) S 23791 23791 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408037867 15508242432 10223 33554432000 4194304 4196468 140725305391296 140636205794464 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23801] ppid=23791 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23801/stat : 23801 (java) S 23791 23791 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408037867 15508242432 10223 33554432000 4194304 4196468 140725305391296 140636204741360 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23802] ppid=23791 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23802/stat : 23802 (java) S 23791 23791 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408037869 15508242432 10223 33554432000 4194304 4196468 140725305391296 140636203689936 140636738340763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23803] ppid=23791 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23793/task/23803/stat : 23803 (java) S 23791 23791 11591 0 -1 1077944384 484 0 0 0 2 0 0 0 20 0 15 0 408037869 15508242432 10223 33554432000 4194304 4196468 140725305391296 140636202638064 140636738333314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23804] ppid=23791 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23793/task/23804/stat : 23804 (java) S 23791 23791 11591 0 -1 1077944384 263 0 0 0 2 0 0 0 20 0 15 0 408037869 15508242432 10223 33554432000 4194304 4196468 140725305391296 140636201585520 140636738333314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23805] ppid=23791 vsize=15144768 memory=140396246742656 CPUtime=0.08 cores=0,2,4,6
/proc/23793/task/23805/stat : 23805 (java) R 23791 23791 11591 0 -1 4202560 758 0 0 0 8 0 0 0 20 0 15 0 408037869 15508242432 10223 33554432000 4194304 4196468 140725305391296 140636200532464 140636730559294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23806] ppid=23791 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23806/stat : 23806 (java) S 23791 23791 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408037870 15508242432 10223 33554432000 4194304 4196468 140725305391296 140636199480160 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23807] ppid=23791 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23807/stat : 23807 (java) S 23791 23791 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408037870 15508242432 10223 33554432000 4194304 4196468 140725305391296 140636198427184 140636738333314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42344 KiB
[startup+0.310738 s]*
/proc/loadavg: 7.45 8.38 8.29 8/235 23807
/proc/meminfo: memFree=25422276/32770624 swapFree=66952812/67108860
[pid=23791] ppid=23788 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23791/stat : 23791 (xcsp3-exec) S 23788 23791 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408037863 115843072 363 33554432000 4194304 5098028 140727255374496 140727255372600 140255274443388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20221952 140727255376762 140727255377005 140727255377005 140727255379914 0
/proc/23791/statm: 28282 363 304 221 0 87 0
[pid=23793] ppid=23791 vsize=15149024 memory=50028 CPUtime=0.53 cores=0,2,4,6
/proc/23793/stat : 23793 (java) S 23791 23791 11591 0 -1 1077944320 10822 0 0 0 49 4 0 0 20 0 15 0 408037864 15512600576 12507 33554432000 4194304 4196468 140725305391296 140725305373840 140636738322167 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
/proc/23793/statm: 3787256 12507 3363 1 0 3748377 0
[pid=23793/tid=23794] ppid=23791 vsize=15149024 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/23793/task/23794/stat : 23794 (java) R 23791 23791 11591 0 -1 4202560 7754 0 0 0 26 3 0 0 20 0 15 0 408037864 15512600576 12507 33554432000 4194304 4196468 140725305391296 140636742553280 140636738344093 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23795] ppid=23791 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23795/stat : 23795 (java) S 23791 23791 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408037865 15512600576 12507 33554432000 4194304 4196468 140725305391296 140636331105296 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23796] ppid=23791 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23796/stat : 23796 (java) S 23791 23791 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408037865 15512600576 12507 33554432000 4194304 4196468 140725305391296 140636330052752 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23797] ppid=23791 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23797/stat : 23797 (java) S 23791 23791 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408037865 15512600576 12507 33554432000 4194304 4196468 140725305391296 140636328999696 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23798] ppid=23791 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23798/stat : 23798 (java) S 23791 23791 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408037865 15512600576 12507 33554432000 4194304 4196468 140725305391296 140636327947152 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23799] ppid=23791 vsize=15149024 memory=-7017622378923016351 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23799/stat : 23799 (java) S 23791 23791 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408037866 15512600576 12507 33554432000 4194304 4196468 140725305391296 140636206848240 140636738333314 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23800] ppid=23791 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23800/stat : 23800 (java) S 23791 23791 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408037867 15512600576 12507 33554432000 4194304 4196468 140725305391296 140636205794464 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23801] ppid=23791 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23801/stat : 23801 (java) S 23791 23791 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408037867 15512600576 12507 33554432000 4194304 4196468 140725305391296 140636204741360 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23802] ppid=23791 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23802/stat : 23802 (java) S 23791 23791 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408037869 15512600576 12507 33554432000 4194304 4196468 140725305391296 140636203689936 140636738340763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23803] ppid=23791 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/23793/task/23803/stat : 23803 (java) R 23791 23791 11591 0 -1 4202560 627 0 0 0 4 0 0 0 20 0 15 0 408037869 15512600576 12507 33554432000 4194304 4196468 140725305391296 140636202628448 140636717568208 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23804] ppid=23791 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/23793/task/23804/stat : 23804 (java) S 23791 23791 11591 0 -1 1077944384 274 0 0 0 4 0 0 0 20 0 15 0 408037869 15512600576 12507 33554432000 4194304 4196468 140725305391296 140636201585520 140636738333314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23805] ppid=23791 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23793/task/23805/stat : 23805 (java) S 23791 23791 11591 0 -1 1077944384 862 0 0 0 12 0 0 0 20 0 15 0 408037869 15512600576 12507 33554432000 4194304 4196468 140725305391296 140636200532464 140636738333314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23806] ppid=23791 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23806/stat : 23806 (java) S 23791 23791 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408037870 15512600576 12507 33554432000 4194304 4196468 140725305391296 140636199480160 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23807] ppid=23791 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23807/stat : 23807 (java) S 23791 23791 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408037870 15512600576 12507 33554432000 4194304 4196468 140725305391296 140636198427184 140636738333314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51480 KiB
[startup+0.706877 s]
/proc/loadavg: 7.45 8.38 8.29 9/235 23807
/proc/meminfo: memFree=25403092/32770624 swapFree=66952812/67108860
[pid=23791] ppid=23788 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23791/stat : 23791 (xcsp3-exec) S 23788 23791 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408037863 115843072 363 33554432000 4194304 5098028 140727255374496 140727255372600 140255274443388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20221952 140727255376762 140727255377005 140727255377005 140727255379914 0
/proc/23791/statm: 28282 363 304 221 0 87 0
[pid=23793] ppid=23791 vsize=15151148 memory=100660 CPUtime=1.75 cores=0,2,4,6
/proc/23793/stat : 23793 (java) S 23791 23791 11591 0 -1 1077944320 14351 0 0 0 168 7 0 0 20 0 15 0 408037864 15514775552 25165 33554432000 4194304 4196468 140725305391296 140725305373840 140636738322167 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
/proc/23793/statm: 3787787 25165 3444 1 0 3748889 0
[pid=23793/tid=23794] ppid=23791 vsize=15151148 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/23793/task/23794/stat : 23794 (java) R 23791 23791 11591 0 -1 4202560 8602 0 0 0 63 5 0 0 20 0 15 0 408037864 15514775552 25165 33554432000 4194304 4196468 140725305391296 140636742559768 140636376068126 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23795] ppid=23791 vsize=15151148 memory=38080 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23795/stat : 23795 (java) S 23791 23791 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408037865 15514775552 25165 33554432000 4194304 4196468 140725305391296 140636331105296 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23796] ppid=23791 vsize=15151148 memory=992 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23796/stat : 23796 (java) S 23791 23791 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408037865 15514775552 25165 33554432000 4194304 4196468 140725305391296 140636330052752 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23797] ppid=23791 vsize=15151148 memory=2044 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23797/stat : 23797 (java) S 23791 23791 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408037865 15514775552 25165 33554432000 4194304 4196468 140725305391296 140636328999696 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23798] ppid=23791 vsize=15151148 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23798/stat : 23798 (java) S 23791 23791 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408037865 15514775552 25165 33554432000 4194304 4196468 140725305391296 140636327947152 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23799] ppid=23791 vsize=15151148 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23799/stat : 23799 (java) S 23791 23791 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408037866 15514775552 25165 33554432000 4194304 4196468 140725305391296 140636206848240 140636738333314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23800] ppid=23791 vsize=15151148 memory=752 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23800/stat : 23800 (java) S 23791 23791 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408037867 15514775552 25165 33554432000 4194304 4196468 140725305391296 140636205794464 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23801] ppid=23791 vsize=15151148 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23801/stat : 23801 (java) S 23791 23791 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408037867 15514775552 25165 33554432000 4194304 4196468 140725305391296 140636204741360 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23802] ppid=23791 vsize=15151148 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23802/stat : 23802 (java) S 23791 23791 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408037869 15514775552 25165 33554432000 4194304 4196468 140725305391296 140636203689936 140636738340763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23803] ppid=23791 vsize=15151148 memory=944 CPUtime=0.35 cores=0,2,4,6
/proc/23793/task/23803/stat : 23803 (java) R 23791 23791 11591 0 -1 4202560 1434 0 0 0 35 0 0 0 20 0 15 0 408037869 15514775552 25165 33554432000 4194304 4196468 140725305391296 140636202627664 140636717569594 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23804] ppid=23791 vsize=15151148 memory=4004 CPUtime=0.32 cores=0,2,4,6
/proc/23793/task/23804/stat : 23804 (java) R 23791 23791 11591 0 -1 4202560 1103 0 0 0 32 0 0 0 20 0 15 0 408037869 15514775552 25165 33554432000 4194304 4196468 140725305391296 140636201575440 140636717549750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23805] ppid=23791 vsize=15151148 memory=780 CPUtime=0.36 cores=0,2,4,6
/proc/23793/task/23805/stat : 23805 (java) R 23791 23791 11591 0 -1 4202560 1905 0 0 0 36 0 0 0 20 0 15 0 408037869 15514775552 25165 33554432000 4194304 4196468 140725305391296 140636200524864 140636722565770 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23806] ppid=23791 vsize=15151148 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23806/stat : 23806 (java) S 23791 23791 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408037870 15514775552 25165 33554432000 4194304 4196468 140725305391296 140636199480160 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23807] ppid=23791 vsize=15151148 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23807/stat : 23807 (java) S 23791 23791 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408037870 15514775552 25165 33554432000 4194304 4196468 140725305391296 140636198427184 140636738333314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 102112 KiB
[startup+1.50088 s]
/proc/loadavg: 7.45 8.38 8.29 10/235 23807
/proc/meminfo: memFree=25241320/32770624 swapFree=66952812/67108860
[pid=23791] ppid=23788 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23791/stat : 23791 (xcsp3-exec) S 23788 23791 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408037863 115843072 363 33554432000 4194304 5098028 140727255374496 140727255372600 140255274443388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20221952 140727255376762 140727255377005 140727255377005 140727255379914 0
/proc/23791/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/23793/stat : 23793 (java) S 23791 23791 11591 0 -1 1077944320 82855 0 0 0 207690 95 0 0 20 0 19 0 408037864 15787421696 874067 33554432000 4194304 4196468 140725305391296 140725305373840 140636738322167 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
/proc/23793/statm: 3854351 874067 3530 1 0 3815453 0
[pid=23793/tid=23794] ppid=23791 vsize=15417404 memory=3496268 CPUtime=1.35 cores=0,2,4,6
/proc/23793/task/23794/stat : 23794 (java) S 23791 23791 11591 0 -1 1077944384 9206 0 0 0 129 6 0 0 20 0 19 0 408037864 15787421696 874067 33554432000 4194304 4196468 140725305391296 140636742562944 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23795] ppid=23791 vsize=15417404 memory=3496268 CPUtime=0.25 cores=0,2,4,6
/proc/23793/task/23795/stat : 23795 (java) S 23791 23791 11591 0 -1 1077944384 3202 0 0 0 18 7 0 0 20 0 19 0 408037865 15787421696 874067 33554432000 4194304 4196468 140725305391296 140636331105296 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23796] ppid=23791 vsize=15417404 memory=3496268 CPUtime=0.27 cores=0,2,4,6
/proc/23793/task/23796/stat : 23796 (java) S 23791 23791 11591 0 -1 1077944384 1092 0 0 0 19 8 0 0 20 0 19 0 408037865 15787421696 874067 33554432000 4194304 4196468 140725305391296 140636330052752 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23797] ppid=23791 vsize=15417404 memory=3496268 CPUtime=0.28 cores=0,2,4,6
/proc/23793/task/23797/stat : 23797 (java) S 23791 23791 11591 0 -1 1077944384 1311 0 0 0 20 8 0 0 20 0 19 0 408037865 15787421696 874067 33554432000 4194304 4196468 140725305391296 140636328999696 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23798] ppid=23791 vsize=15417404 memory=3496268 CPUtime=0.25 cores=0,2,4,6
/proc/23793/task/23798/stat : 23798 (java) S 23791 23791 11591 0 -1 1077944384 2349 0 0 0 19 6 0 0 20 0 19 0 408037865 15787421696 874067 33554432000 4194304 4196468 140725305391296 140636327947152 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23799] ppid=23791 vsize=15417404 memory=3496268 CPUtime=0.03 cores=0,2,4,6
/proc/23793/task/23799/stat : 23799 (java) S 23791 23791 11591 0 -1 1077944384 3533 0 0 0 2 1 0 0 20 0 19 0 408037866 15787421696 874067 33554432000 4194304 4196468 140725305391296 140636206848240 140636738333314 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23800] ppid=23791 vsize=15417404 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23800/stat : 23800 (java) S 23791 23791 11591 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 408037867 15787421696 874067 33554432000 4194304 4196468 140725305391296 140636205794528 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23801] ppid=23791 vsize=15417404 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23801/stat : 23801 (java) S 23791 23791 11591 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408037867 15787421696 874067 33554432000 4194304 4196468 140725305391296 140636204741376 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23802] ppid=23791 vsize=15417404 memory=111636 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23802/stat : 23802 (java) S 23791 23791 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408037869 15787421696 874067 33554432000 4194304 4196468 140725305391296 140636203689936 140636738340763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23803] ppid=23791 vsize=15417404 memory=804 CPUtime=2.73 cores=0,2,4,6
/proc/23793/task/23803/stat : 23803 (java) S 23791 23791 11591 0 -1 1077944384 13413 0 0 0 272 1 0 0 20 0 19 0 408037869 15787421696 874067 33554432000 4194304 4196468 140725305391296 140636202638064 140636738333314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23804] ppid=23791 vsize=15417404 memory=1452 CPUtime=2.57 cores=0,2,4,6
/proc/23793/task/23804/stat : 23804 (java) S 23791 23791 11591 0 -1 1077944384 11113 0 0 0 256 1 0 0 20 0 19 0 408037869 15787421696 874067 33554432000 4194304 4196468 140725305391296 140636201585520 140636738333314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23805] ppid=23791 vsize=15417404 memory=3496268 CPUtime=0.74 cores=0,2,4,6
/proc/23793/task/23805/stat : 23805 (java) S 23791 23791 11591 0 -1 1077944384 10087 0 0 0 73 1 0 0 20 0 19 0 408037869 15787421696 874067 33554432000 4194304 4196468 140725305391296 140636200532464 140636738333314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23806] ppid=23791 vsize=15417404 memory=3496268 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23806/stat : 23806 (java) S 23791 23791 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408037870 15787421696 874067 33554432000 4194304 4196468 140725305391296 140636199480160 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23807] ppid=23791 vsize=15417404 memory=1452 CPUtime=0.15 cores=0,2,4,6
/proc/23793/task/23807/stat : 23807 (java) S 23791 23791 11591 0 -1 1077944384 651 0 0 0 0 15 0 0 20 0 19 0 408037870 15787421696 874067 33554432000 4194304 4196468 140725305391296 140636198427184 140636738333314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23808] ppid=23791 vsize=15417404 memory=3496268 CPUtime=518.88 cores=0,2,4,6
/proc/23793/task/23808/stat : 23808 (java) R 23791 23791 11591 0 -1 4202560 2173 0 0 0 51887 1 0 0 20 0 19 0 408038015 15787421696 874067 33554432000 4194304 4196468 140725305391296 140636189215768 140636380586981 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23809] ppid=23791 vsize=15417404 memory=1452 CPUtime=514.97 cores=0,2,4,6
/proc/23793/task/23809/stat : 23809 (java) R 23791 23791 11591 0 -1 4202560 12375 0 0 0 51461 36 0 0 20 0 19 0 408038015 15787421696 874067 33554432000 4194304 4196468 140725305391296 140636188163832 140636378835336 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23810] ppid=23791 vsize=15417404 memory=1452 CPUtime=516.8 cores=0,2,4,6
/proc/23793/task/23810/stat : 23810 (java) R 23791 23791 11591 0 -1 4202560 1113 0 0 0 51680 0 0 0 20 0 19 0 408038015 15787421696 874067 33554432000 4194304 4196468 140725305391296 140636187111040 140636380586922 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23811] ppid=23791 vsize=15417404 memory=3496268 CPUtime=518.41 cores=0,2,4,6
/proc/23793/task/23811/stat : 23811 (java) R 23791 23791 11591 0 -1 4202560 9937 0 0 0 51830 11 0 0 20 0 19 0 408038015 15787421696 874067 33554432000 4194304 4196468 140725305391296 140636186059256 140636378153771 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
Current children cumulated CPU time: 2077.85 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3497720 KiB
[startup+582.301 s]
/proc/loadavg: 8.12 8.40 8.38 9/240 23945
/proc/meminfo: memFree=21841920/32770624 swapFree=66952812/67108860
[pid=23791] ppid=23788 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23791/stat : 23791 (xcsp3-exec) S 23788 23791 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408037863 115843072 363 33554432000 4194304 5098028 140727255374496 140727255372600 140255274443388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20221952 140727255376762 140727255377005 140727255377005 140727255379914 0
/proc/23791/statm: 28282 363 304 221 0 87 0
[pid=23793] ppid=23791 vsize=15417404 memory=3497288 CPUtime=2316.74 cores=0,2,4,6
/proc/23793/stat : 23793 (java) S 23791 23791 11591 0 -1 1077944320 85828 0 0 0 231579 95 0 0 20 0 19 0 408037864 15787421696 874322 33554432000 4194304 4196468 140725305391296 140725305373840 140636738322167 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
/proc/23793/statm: 3854351 874322 3530 1 0 3815453 0
[pid=23793/tid=23794] ppid=23791 vsize=15417404 memory=3497288 CPUtime=1.35 cores=0,2,4,6
/proc/23793/task/23794/stat : 23794 (java) S 23791 23791 11591 0 -1 1077944384 9206 0 0 0 129 6 0 0 20 0 19 0 408037864 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636742562944 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23795] ppid=23791 vsize=15417404 memory=1452 CPUtime=0.25 cores=0,2,4,6
/proc/23793/task/23795/stat : 23795 (java) S 23791 23791 11591 0 -1 1077944384 3292 0 0 0 18 7 0 0 20 0 19 0 408037865 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636331105296 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23796] ppid=23791 vsize=15417404 memory=1452 CPUtime=0.27 cores=0,2,4,6
/proc/23793/task/23796/stat : 23796 (java) S 23791 23791 11591 0 -1 1077944384 1122 0 0 0 19 8 0 0 20 0 19 0 408037865 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636330052752 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23797] ppid=23791 vsize=15417404 memory=3497288 CPUtime=0.28 cores=0,2,4,6
/proc/23793/task/23797/stat : 23797 (java) S 23791 23791 11591 0 -1 1077944384 1436 0 0 0 20 8 0 0 20 0 19 0 408037865 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636328999696 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23798] ppid=23791 vsize=15417404 memory=3612 CPUtime=0.26 cores=0,2,4,6
/proc/23793/task/23798/stat : 23798 (java) S 23791 23791 11591 0 -1 1077944384 2734 0 0 0 20 6 0 0 20 0 19 0 408037865 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636327947152 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23799] ppid=23791 vsize=15417404 memory=3497288 CPUtime=0.03 cores=0,2,4,6
/proc/23793/task/23799/stat : 23799 (java) S 23791 23791 11591 0 -1 1077944384 3704 0 0 0 2 1 0 0 20 0 19 0 408037866 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636206848240 140636738333314 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23800] ppid=23791 vsize=15417404 memory=3612 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23800/stat : 23800 (java) S 23791 23791 11591 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 408037867 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636205794528 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23801] ppid=23791 vsize=15417404 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23801/stat : 23801 (java) S 23791 23791 11591 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408037867 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636204741376 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23802] ppid=23791 vsize=15417404 memory=3408 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23802/stat : 23802 (java) S 23791 23791 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408037869 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636203689936 140636738340763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23803] ppid=23791 vsize=15417404 memory=1452 CPUtime=2.73 cores=0,2,4,6
/proc/23793/task/23803/stat : 23803 (java) S 23791 23791 11591 0 -1 1077944384 13417 0 0 0 272 1 0 0 20 0 19 0 408037869 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636202638064 140636738333314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23804] ppid=23791 vsize=15417404 memory=1452 CPUtime=2.57 cores=0,2,4,6
/proc/23793/task/23804/stat : 23804 (java) S 23791 23791 11591 0 -1 1077944384 11115 0 0 0 256 1 0 0 20 0 19 0 408037869 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636201585520 140636738333314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23805] ppid=23791 vsize=15417404 memory=3497288 CPUtime=0.74 cores=0,2,4,6
/proc/23793/task/23805/stat : 23805 (java) S 23791 23791 11591 0 -1 1077944384 10095 0 0 0 73 1 0 0 20 0 19 0 408037869 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636200532464 140636738333314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23806] ppid=23791 vsize=15417404 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23806/stat : 23806 (java) S 23791 23791 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408037870 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636199480160 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23807] ppid=23791 vsize=15417404 memory=3612 CPUtime=0.17 cores=0,2,4,6
/proc/23793/task/23807/stat : 23807 (java) S 23791 23791 11591 0 -1 1077944384 680 0 0 0 0 17 0 0 20 0 19 0 408037870 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636198427184 140636738333314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23808] ppid=23791 vsize=15417404 memory=38088 CPUtime=578.43 cores=0,2,4,6
/proc/23793/task/23808/stat : 23808 (java) R 23791 23791 11591 0 -1 4202560 2382 0 0 0 57842 1 0 0 20 0 19 0 408038015 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636189220136 140636380587780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23809] ppid=23791 vsize=15417404 memory=1452 CPUtime=574.94 cores=0,2,4,6
/proc/23793/task/23809/stat : 23809 (java) R 23791 23791 11591 0 -1 4202560 13737 0 0 0 57458 36 0 0 20 0 19 0 408038015 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636188168200 140636380586906 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23810] ppid=23791 vsize=15417404 memory=3497288 CPUtime=576.17 cores=0,2,4,6
/proc/23793/task/23810/stat : 23810 (java) R 23791 23791 11591 0 -1 4202560 1188 0 0 0 57617 0 0 0 20 0 19 0 408038015 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636187115088 140636378835251 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23811] ppid=23791 vsize=15417404 memory=3497288 CPUtime=578.39 cores=0,2,4,6
/proc/23793/task/23811/stat : 23811 (java) R 23791 23791 11591 0 -1 4202560 10420 0 0 0 57827 12 0 0 20 0 19 0 408038015 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636186063120 140636380586999 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
Current children cumulated CPU time: 2316.74 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3498740 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.401 s]
/proc/loadavg: 8.05 8.34 8.36 9/240 23951
/proc/meminfo: memFree=21841004/32770624 swapFree=66952812/67108860
[pid=23791] ppid=23788 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23791/stat : 23791 (xcsp3-exec) S 23788 23791 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408037863 115843072 363 33554432000 4194304 5098028 140727255374496 140727255372600 140255274443388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 20221952 140727255376762 140727255377005 140727255377005 140727255379914 0
/proc/23791/statm: 28282 363 304 221 0 87 0
[pid=23793] ppid=23791 vsize=15417404 memory=3497288 CPUtime=2520.2 cores=0,2,4,6
/proc/23793/stat : 23793 (java) S 23791 23791 11591 0 -1 1077944320 87609 0 0 0 251924 96 0 0 20 0 19 0 408037864 15787421696 874322 33554432000 4194304 4196468 140725305391296 140725305373840 140636738322167 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
/proc/23793/statm: 3854351 874322 3530 1 0 3815453 0
[pid=23793/tid=23794] ppid=23791 vsize=15417404 memory=303430223234596890 CPUtime=1.35 cores=0,2,4,6
/proc/23793/task/23794/stat : 23794 (java) S 23791 23791 11591 0 -1 1077944384 9206 0 0 0 129 6 0 0 20 0 19 0 408037864 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636742562944 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23795] ppid=23791 vsize=15417404 memory=303430266251378998 CPUtime=0.25 cores=0,2,4,6
/proc/23793/task/23795/stat : 23795 (java) S 23791 23791 11591 0 -1 1077944384 3292 0 0 0 18 7 0 0 20 0 19 0 408037865 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636331105296 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23796] ppid=23791 vsize=15417404 memory=14135532779211192 CPUtime=0.27 cores=0,2,4,6
/proc/23793/task/23796/stat : 23796 (java) S 23791 23791 11591 0 -1 1077944384 1122 0 0 0 19 8 0 0 20 0 19 0 408037865 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636330052752 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23797] ppid=23791 vsize=15417404 memory=-5921431000321636112 CPUtime=0.28 cores=0,2,4,6
/proc/23793/task/23797/stat : 23797 (java) S 23791 23791 11591 0 -1 1077944384 1436 0 0 0 20 8 0 0 20 0 19 0 408037865 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636328999696 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23798] ppid=23791 vsize=15417404 memory=-3252517613199061085 CPUtime=0.26 cores=0,2,4,6
/proc/23793/task/23798/stat : 23798 (java) S 23791 23791 11591 0 -1 1077944384 2734 0 0 0 20 6 0 0 20 0 19 0 408037865 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636327947152 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23799] ppid=23791 vsize=15417404 memory=-3967418655009478193 CPUtime=0.03 cores=0,2,4,6
/proc/23793/task/23799/stat : 23799 (java) S 23791 23791 11591 0 -1 1077944384 3709 0 0 0 2 1 0 0 20 0 19 0 408037866 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636206848240 140636738333314 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23800] ppid=23791 vsize=15417404 memory=5787477641288517003 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23800/stat : 23800 (java) S 23791 23791 11591 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 408037867 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636205794528 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23801] ppid=23791 vsize=15417404 memory=-8961168018402230209 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23801/stat : 23801 (java) S 23791 23791 11591 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 408037867 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636204741376 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23802] ppid=23791 vsize=15417404 memory=-8253362762722141311 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23802/stat : 23802 (java) S 23791 23791 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408037869 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636203689936 140636738340763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23803] ppid=23791 vsize=15417404 memory=7100839861465685612 CPUtime=2.73 cores=0,2,4,6
/proc/23793/task/23803/stat : 23803 (java) S 23791 23791 11591 0 -1 1077944384 13421 0 0 0 272 1 0 0 20 0 19 0 408037869 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636202638064 140636738333314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23804] ppid=23791 vsize=15417404 memory=-7175204567652784766 CPUtime=2.57 cores=0,2,4,6
/proc/23793/task/23804/stat : 23804 (java) S 23791 23791 11591 0 -1 1077944384 11117 0 0 0 256 1 0 0 20 0 19 0 408037869 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636201585520 140636738333314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23805] ppid=23791 vsize=15417404 memory=3054156605268465310 CPUtime=0.74 cores=0,2,4,6
/proc/23793/task/23805/stat : 23805 (java) S 23791 23791 11591 0 -1 1077944384 10103 0 0 0 73 1 0 0 20 0 19 0 408037869 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636200532464 140636738333314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23806] ppid=23791 vsize=15417404 memory=4713745541279610410 CPUtime=0 cores=0,2,4,6
/proc/23793/task/23806/stat : 23806 (java) S 23791 23791 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408037870 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636199480160 140636738332373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23807] ppid=23791 vsize=15417404 memory=-6654736624941163865 CPUtime=0.19 cores=0,2,4,6
/proc/23793/task/23807/stat : 23807 (java) S 23791 23791 11591 0 -1 1077944384 706 0 0 0 0 19 0 0 20 0 19 0 408037870 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636198427184 140636738333314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23808] ppid=23791 vsize=15417404 memory=924 CPUtime=629.52 cores=0,2,4,6
/proc/23793/task/23808/stat : 23808 (java) R 23791 23791 11591 0 -1 4202560 2578 0 0 0 62951 1 0 0 20 0 19 0 408038015 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636189220136 140636380587012 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23809] ppid=23791 vsize=15417404 memory=3612 CPUtime=626.04 cores=0,2,4,6
/proc/23793/task/23809/stat : 23809 (java) R 23791 23791 11591 0 -1 4202560 14853 0 0 0 62567 37 0 0 20 0 19 0 408038015 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636188168200 140636379698372 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23810] ppid=23791 vsize=15417404 memory=38088 CPUtime=626.36 cores=0,2,4,6
/proc/23793/task/23810/stat : 23810 (java) R 23791 23791 11591 0 -1 4202560 1253 0 0 0 62636 0 0 0 20 0 19 0 408038015 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636187115088 140636378717376 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
[pid=23793/tid=23811] ppid=23791 vsize=15417404 memory=992 CPUtime=629.46 cores=0,2,4,6
/proc/23793/task/23811/stat : 23811 (java) R 23791 23791 11591 0 -1 4202560 10779 0 0 0 62934 12 0 0 20 0 19 0 408038015 15787421696 874322 33554432000 4194304 4196468 140725305391296 140636186063120 140636379698486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11182080 140725305398255 140725305398426 140725305398426 140725305401295 0
Current children cumulated CPU time: 2520.2 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3498740 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.433 s]
# the end of solver process 23791 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000773 s, system=0.001546 s
[startup+633.5 s]
# the end of solver process 23793 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.56 s, system=0.983622 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 633.5
CPU time (s): 2520.55
CPU user time (s): 2519.56
CPU system time (s): 0.983622
CPU usage (%): 397.876
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 3498740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.56
system time used= 0.983622
maximum resident set size= 3498976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89090
page faults= 0
swaps= 0
block input operations= 0
block output operations= 712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16596
involuntary context switches= 38712
# summary of solver processes directly reported to runsolver:
# pid: 23791,23793
# total CPU time (s): 2520.55
# total CPU user time (s): 2519.56
# total CPU system time (s): 0.983622
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.87482 second user time and 7.12641 second system time
The end