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 (15404 MiB free)
memory of node 1: 16384 MiB (15280 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268991-1502834169/watcher-4268991-1502834169 -o /tmp/evaluation-result-4268991-1502834169/solver-4268991-1502834169 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24470 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1429922796 HOME/instance-4268991-1502834169.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25610, runsolver pid=25607
[startup+0.100152 s]*
/proc/loadavg: 1.79 1.92 1.92 2/201 25611
/proc/meminfo: memFree=31421596/32770624 swapFree=67108764/67108860
[pid=25610] ppid=25607 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25610/stat : 25610 (xcsp3-exec) S 25607 25610 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 130923500 9740288 345 18446744073709551615 4194304 5098028 140727767824784 140727767822888 140001440633468 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 35258368 140727767830904 140727767831109 140727767831109 140727767834603 0
/proc/25610/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
[startup+0.209793 s]*
/proc/loadavg: 1.79 1.92 1.92 2/215 25625
/proc/meminfo: memFree=31411956/32770624 swapFree=67108764/67108860
[pid=25610] ppid=25607 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25610/stat : 25610 (xcsp3-exec) S 25607 25610 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 130923500 9740288 345 18446744073709551615 4194304 5098028 140727767824784 140727767822888 140001440633468 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 35258368 140727767830904 140727767831109 140727767831109 140727767834603 0
/proc/25610/statm: 2378 345 289 221 0 87 0
[pid=25612] ppid=25610 vsize=13907304 memory=20660 CPUtime=0.05 cores=0,2,4,6
/proc/25612/stat : 25612 (java) S 25610 25610 4674 0 -1 1077944320 4558 0 0 0 5 0 0 0 20 0 14 0 130923510 14241079296 5165 18446744073709551615 4194304 4196468 140725769698992 140725769681536 140249828040439 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
/proc/25612/statm: 3476826 5165 2579 1 0 3466323 0
[pid=25612/tid=25613] ppid=25610 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=0,2,4,6
/proc/25612/task/25613/stat : 25613 (java) D 25610 25610 4674 0 -1 4202560 2730 0 0 0 4 0 0 0 20 0 14 0 130923510 14241079296 5165 18446744073709551615 4194304 4196468 140725769698992 140249832277920 140249828062461 0 4 1 16800974 18446744071580418449 0 0 -1 2 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25614] ppid=25610 vsize=13907304 memory=12630 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25614/stat : 25614 (java) S 25610 25610 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 130923511 14241079296 5165 18446744073709551615 4194304 4196468 140725769698992 140249747454608 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25615] ppid=25610 vsize=13907304 memory=140113288271069 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25615/stat : 25615 (java) S 25610 25610 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 130923511 14241079296 5165 18446744073709551615 4194304 4196468 140725769698992 140249746401808 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25616] ppid=25610 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25616/stat : 25616 (java) S 25610 25610 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 130923511 14241079296 5165 18446744073709551615 4194304 4196468 140725769698992 140249745349008 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25617] ppid=25610 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25617/stat : 25617 (java) S 25610 25610 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 130923511 14241079296 5165 18446744073709551615 4194304 4196468 140725769698992 140249744296208 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25618] ppid=25610 vsize=13907304 memory=140113288246912 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25618/stat : 25618 (java) S 25610 25610 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 130923512 14241079296 5165 18446744073709551615 4194304 4196468 140725769698992 140249306471280 140249828051586 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25619] ppid=25610 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25619/stat : 25619 (java) S 25610 25610 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 130923513 14241079296 5165 18446744073709551615 4194304 4196468 140725769698992 140249305417248 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25620] ppid=25610 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25620/stat : 25620 (java) S 25610 25610 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 130923513 14241079296 5165 18446744073709551615 4194304 4196468 140725769698992 140249304364400 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25621] ppid=25610 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25621/stat : 25621 (java) S 25610 25610 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 130923515 14241079296 5165 18446744073709551615 4194304 4196468 140725769698992 140249303312720 140249828059035 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25622] ppid=25610 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25622/stat : 25622 (java) S 25610 25610 4674 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 14 0 130923515 14241079296 5165 18446744073709551615 4194304 4196468 140725769698992 140249302260080 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25623] ppid=25610 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25623/stat : 25623 (java) S 25610 25610 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 130923515 14241079296 5165 18446744073709551615 4194304 4196468 140725769698992 140249301207280 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25624] ppid=25610 vsize=13907304 memory=140113288246912 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25624/stat : 25624 (java) S 25610 25610 4674 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 14 0 130923515 14241079296 5165 18446744073709551615 4194304 4196468 140725769698992 140249300154480 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25625] ppid=25610 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25625/stat : 25625 (java) S 25610 25610 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 130923516 14241079296 5165 18446744073709551615 4194304 4196468 140725769698992 140249299101920 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22040 KiB
[startup+0.312011 s]*
/proc/loadavg: 1.79 1.92 1.92 4/216 25626
/proc/meminfo: memFree=31401936/32770624 swapFree=67108764/67108860
[pid=25610] ppid=25607 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25610/stat : 25610 (xcsp3-exec) S 25607 25610 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 130923500 9740288 345 18446744073709551615 4194304 5098028 140727767824784 140727767822888 140001440633468 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 35258368 140727767830904 140727767831109 140727767831109 140727767834603 0
/proc/25610/statm: 2378 345 289 221 0 87 0
[pid=25612] ppid=25610 vsize=13975376 memory=35856 CPUtime=0.22 cores=0,2,4,6
/proc/25612/stat : 25612 (java) S 25610 25610 4674 0 -1 1077944320 7833 0 0 0 20 2 0 0 20 0 15 0 130923510 14310785024 8964 18446744073709551615 4194304 4196468 140725769698992 140725769681536 140249828040439 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
/proc/25612/statm: 3493844 8964 2978 1 0 3483220 0
[pid=25612/tid=25613] ppid=25610 vsize=13975376 memory=-8774313645642428999 CPUtime=0.14 cores=0,2,4,6
/proc/25612/task/25613/stat : 25613 (java) R 25610 25610 4674 0 -1 4202560 5097 0 0 0 13 1 0 0 20 0 15 0 130923510 14310785024 8745 18446744073709551615 4194304 4196468 140725769698992 140249832262816 140249820720157 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25614] ppid=25610 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25614/stat : 25614 (java) S 25610 25610 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130923511 14310785024 8745 18446744073709551615 4194304 4196468 140725769698992 140249747454608 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25615] ppid=25610 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25615/stat : 25615 (java) S 25610 25610 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 130923511 14310785024 8745 18446744073709551615 4194304 4196468 140725769698992 140249746401808 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25616] ppid=25610 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25616/stat : 25616 (java) S 25610 25610 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130923511 14310785024 8810 18446744073709551615 4194304 4196468 140725769698992 140249745349008 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25617] ppid=25610 vsize=13975376 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25617/stat : 25617 (java) S 25610 25610 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 130923511 14310785024 8810 18446744073709551615 4194304 4196468 140725769698992 140249744296208 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25618] ppid=25610 vsize=13975376 memory=140113288246912 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25618/stat : 25618 (java) S 25610 25610 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 130923512 14310785024 8810 18446744073709551615 4194304 4196468 140725769698992 140249306471280 140249828051586 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25619] ppid=25610 vsize=13975376 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25619/stat : 25619 (java) S 25610 25610 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 130923513 14310785024 8810 18446744073709551615 4194304 4196468 140725769698992 140249305417248 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25620] ppid=25610 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25620/stat : 25620 (java) S 25610 25610 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 130923513 14310785024 8876 18446744073709551615 4194304 4196468 140725769698992 140249304364400 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25621] ppid=25610 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25621/stat : 25621 (java) S 25610 25610 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130923515 14310785024 8876 18446744073709551615 4194304 4196468 140725769698992 140249303312720 140249828059035 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25622] ppid=25610 vsize=13975376 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25612/task/25622/stat : 25622 (java) S 25610 25610 4674 0 -1 1077944384 508 0 0 0 1 0 0 0 20 0 15 0 130923515 14310785024 8876 18446744073709551615 4194304 4196468 140725769698992 140249302260080 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25623] ppid=25610 vsize=13975376 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/25612/task/25623/stat : 25623 (java) S 25610 25610 4674 0 -1 1077944384 248 0 0 0 1 0 0 0 20 0 15 0 130923515 14310785024 8876 18446744073709551615 4194304 4196468 140725769698992 140249301207280 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25624] ppid=25610 vsize=13975376 memory=140113288246912 CPUtime=0.05 cores=0,2,4,6
/proc/25612/task/25624/stat : 25624 (java) S 25610 25610 4674 0 -1 1077944384 697 0 0 0 5 0 0 0 20 0 15 0 130923515 14310785024 8942 18446744073709551615 4194304 4196468 140725769698992 140249300154480 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25625] ppid=25610 vsize=13975376 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25625/stat : 25625 (java) S 25610 25610 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130923516 14310785024 8942 18446744073709551615 4194304 4196468 140725769698992 140249299101920 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25626] ppid=25610 vsize=13975376 memory=140113288246912 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25626/stat : 25626 (java) S 25610 25610 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130923523 14310785024 8942 18446744073709551615 4194304 4196468 140725769698992 140249298050224 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 37236 KiB
[startup+0.70074 s]
/proc/loadavg: 1.79 1.92 1.92 4/216 25626
/proc/meminfo: memFree=31386308/32770624 swapFree=67108764/67108860
[pid=25610] ppid=25607 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25610/stat : 25610 (xcsp3-exec) S 25607 25610 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 130923500 9740288 345 18446744073709551615 4194304 5098028 140727767824784 140727767822888 140001440633468 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 35258368 140727767830904 140727767831109 140727767831109 140727767834603 0
/proc/25610/statm: 2378 345 289 221 0 87 0
[pid=25612] ppid=25610 vsize=13980732 memory=61668 CPUtime=1.1 cores=0,2,4,6
/proc/25612/stat : 25612 (java) S 25610 25610 4674 0 -1 1077944320 12514 0 0 0 105 5 0 0 20 0 15 0 130923510 14316269568 15417 18446744073709551615 4194304 4196468 140725769698992 140725769681536 140249828040439 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
/proc/25612/statm: 3495183 15417 3169 1 0 3483476 0
[pid=25612/tid=25613] ppid=25610 vsize=13980732 memory=7079773321651509609 CPUtime=0.51 cores=0,2,4,6
/proc/25612/task/25613/stat : 25613 (java) R 25610 25610 4674 0 -1 4202560 8020 0 0 0 48 3 0 0 20 0 15 0 130923510 14316269568 15417 18446744073709551615 4194304 4196468 140725769698992 140249832276648 140249425576580 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25614] ppid=25610 vsize=13980732 memory=7445382919563400036 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25614/stat : 25614 (java) S 25610 25610 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130923511 14316269568 15417 18446744073709551615 4194304 4196468 140725769698992 140249747454608 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25615] ppid=25610 vsize=13980732 memory=6226596351323422817 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25615/stat : 25615 (java) S 25610 25610 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 130923511 14316269568 15417 18446744073709551615 4194304 4196468 140725769698992 140249746401808 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25616] ppid=25610 vsize=13980732 memory=-7380238523246298790 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25616/stat : 25616 (java) S 25610 25610 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130923511 14316269568 15417 18446744073709551615 4194304 4196468 140725769698992 140249745349008 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25617] ppid=25610 vsize=13980732 memory=8514726395714825349 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25617/stat : 25617 (java) S 25610 25610 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 130923511 14316269568 15417 18446744073709551615 4194304 4196468 140725769698992 140249744296208 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25618] ppid=25610 vsize=13980732 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25618/stat : 25618 (java) S 25610 25610 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 130923512 14316269568 15417 18446744073709551615 4194304 4196468 140725769698992 140249306471280 140249828051586 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25619] ppid=25610 vsize=13980732 memory=-7233780906022726806 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25619/stat : 25619 (java) S 25610 25610 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 130923513 14316269568 15417 18446744073709551615 4194304 4196468 140725769698992 140249305417248 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25620] ppid=25610 vsize=13980732 memory=6944665225511868275 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25620/stat : 25620 (java) S 25610 25610 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 130923513 14316269568 15417 18446744073709551615 4194304 4196468 140725769698992 140249304364400 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25621] ppid=25610 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25621/stat : 25621 (java) S 25610 25610 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130923515 14316269568 15417 18446744073709551615 4194304 4196468 140725769698992 140249303312720 140249828059035 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25622] ppid=25610 vsize=13980732 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/25612/task/25622/stat : 25622 (java) R 25610 25610 4674 0 -1 4202560 1067 0 0 0 16 0 0 0 20 0 15 0 130923515 14316269568 15417 18446744073709551615 4194304 4196468 140725769698992 140249302249552 140249805635184 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25623] ppid=25610 vsize=13980732 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/25612/task/25623/stat : 25623 (java) R 25610 25610 4674 0 -1 4202560 788 0 0 0 16 0 0 0 20 0 15 0 130923515 14316269568 15417 18446744073709551615 4194304 4196468 140725769698992 140249301200304 140249814101752 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25624] ppid=25610 vsize=13980732 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/25612/task/25624/stat : 25624 (java) S 25610 25610 4674 0 -1 1077944384 1330 0 0 0 24 0 0 0 20 0 15 0 130923515 14316269568 15417 18446744073709551615 4194304 4196468 140725769698992 140249300154480 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25625] ppid=25610 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25625/stat : 25625 (java) S 25610 25610 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130923516 14316269568 15417 18446744073709551615 4194304 4196468 140725769698992 140249299101920 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25626] ppid=25610 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25626/stat : 25626 (java) S 25610 25610 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130923523 14316269568 15417 18446744073709551615 4194304 4196468 140725769698992 140249298050224 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 63048 KiB
[startup+1.50081 s]
/proc/loadavg: 1.79 1.92 1.92 5/216 25626
/proc/meminfo: memFree=31368664/32770624 swapFree=67108764/67108860
[pid=25610] ppid=25607 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25610/stat : 25610 (xcsp3-exec) S 25607 25610 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 130923500 9740288 345 18446744073709551615 4194304 5098028 140727767824784 140727767822888 140001440633468 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 35258368 140727767830904 140727767831109 140727767831109 140727767834603 0
/proc/25610/statm: 2378 345 289 221 0 87 0
[pid=25612] ppid=25610 vsize=13980732 memory=75756 CPUtime=3.55 cores=0,2,4,6
/proc/25612/stat : 25612 (java) S 25610 25610 4674 0 -1 1077944320 21423 0 0 0 349 6 0 0 20 0 15 0 130923510 14316269568 18939 18446744073709551615 4194304 4196468 140725769698992 140725769681536 140249828040439 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
/proc/25612/statm: 3495183 18939 3178 1 0 3483476 0
[pid=25612/tid=25613] ppid=25610 vsize=13980732 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/25612/task/25613/stat : 25613 (java) R 25610 25610 4674 0 -1 4202560 8331 0 0 0 128 3 0 0 20 0 15 0 130923510 14316269568 18939 18446744073709551615 4194304 4196468 140725769698992 140249832278264 140249425338602 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25614] ppid=25610 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25614/stat : 25614 (java) S 25610 25610 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130923511 14316269568 18939 18446744073709551615 4194304 4196468 140725769698992 140249747454608 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25615] ppid=25610 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25615/stat : 25615 (java) S 25610 25610 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 130923511 14316269568 18939 18446744073709551615 4194304 4196468 140725769698992 140249746401808 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25616] ppid=25610 vsize=13980732 memory=280226350001824 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25616/stat : 25616 (java) S 25610 25610 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 130923511 14316269568 18939 18446744073709551615 4194304 4196468 140725769698992 140249745349008 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25617] ppid=25610 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25617/stat : 25617 (java) S 25610 25610 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 130923511 14316269568 18939 18446744073709551615 4194304 4196468 140725769698992 140249744296208 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25618] ppid=25610 vsize=13980732 memory=140113175015040 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25618/stat : 25618 (java) S 25610 25610 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 130923512 14316269568 18939 18446744073709551615 4194304 4196468 140725769698992 140249306471280 140249828051586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25619] ppid=25610 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25619/stat : 25619 (java) S 25610 25610 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 130923513 14316269568 18939 18446744073709551615 4194304 4196468 140725769698992 140249305417248 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25620] ppid=25610 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25620/stat : 25620 (java) S 25610 25610 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 130923513 14316269568 18939 18446744073709551615 4194304 4196468 140725769698992 140249304364400 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25621] ppid=25610 vsize=13980732 memory=280226350023904 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25621/stat : 25621 (java) S 25610 25610 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130923515 14316269568 18939 18446744073709551615 4194304 4196468 140725769698992 140249303312720 140249828059035 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25622] ppid=25610 vsize=13980732 memory=82 CPUtime=0.96 cores=0,2,4,6
/proc/25612/task/25622/stat : 25622 (java) R 25610 25610 4674 0 -1 4202560 5870 0 0 0 96 0 0 0 20 0 15 0 130923515 14316269568 18939 18446744073709551615 4194304 4196468 140725769698992 140249302252568 140249811526585 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25623] ppid=25610 vsize=13980732 memory=140113174826045 CPUtime=0.95 cores=0,2,4,6
/proc/25612/task/25623/stat : 25623 (java) R 25610 25610 4674 0 -1 4202560 4248 0 0 0 95 0 0 0 20 0 15 0 130923515 14316269568 18939 18446744073709551615 4194304 4196468 140725769698992 140249301193160 140249809585040 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25624] ppid=25610 vsize=13980732 memory=280226349609904 CPUtime=0.3 cores=0,2,4,6
/proc/25612/task/25624/stat : 25624 (java) S 25610 25610 4674 0 -1 1077944384 1658 0 0 0 29 1 0 0 20 0 15 0 130923515 14316269568 18939 18446744073709551615 4194304 4196468 140725769698992 140249300154480 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25625] ppid=25610 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25625/stat : 25625 (java) S 25610 25610 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130923516 14316269568 18939 18446744073709551615 4194304 4196468 140725769698992 140249299101920 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25626] ppid=25610 vsize=13980732 memory=280226349533632 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25626/stat : 25626 (java) S 25610 25610 4674 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 130923523 14316269568 18939 18446744073709551615 4194304 4196468 140725769698992 140249298050224 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
Current children cumulated CPU time: 3.55 s
Current children cumulated vsize: 13990244 KiB
################
# More data... #
################
/proc/25612/task/25620/stat : 25620 (java) S 25610 25610 4674 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 130923513 14316269568 1734363 18446744073709551615 4194304 4196468 140725769698992 140249304364400 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25621] ppid=25610 vsize=13980732 memory=5897248 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25621/stat : 25621 (java) S 25610 25610 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130923515 14316269568 1734363 18446744073709551615 4194304 4196468 140725769698992 140249303312720 140249828059035 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25622] ppid=25610 vsize=13980732 memory=6417436 CPUtime=2.33 cores=0,2,4,6
/proc/25612/task/25622/stat : 25622 (java) S 25610 25610 4674 0 -1 1077944384 16821 0 0 0 231 2 0 0 20 0 15 0 130923515 14316269568 1734363 18446744073709551615 4194304 4196468 140725769698992 140249302260080 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25623] ppid=25610 vsize=13980732 memory=6789440 CPUtime=2.4 cores=0,2,4,6
/proc/25612/task/25623/stat : 25623 (java) S 25610 25610 4674 0 -1 1077944384 15087 0 0 0 239 1 0 0 20 0 15 0 130923515 14316269568 1734363 18446744073709551615 4194304 4196468 140725769698992 140249301207280 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25624] ppid=25610 vsize=13980732 memory=6863456 CPUtime=0.46 cores=0,2,4,6
/proc/25612/task/25624/stat : 25624 (java) S 25610 25610 4674 0 -1 1077944384 5754 0 0 0 44 2 0 0 20 0 15 0 130923515 14316269568 1734363 18446744073709551615 4194304 4196468 140725769698992 140249300154480 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25625] ppid=25610 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25625/stat : 25625 (java) S 25610 25610 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130923516 14316269568 1734363 18446744073709551615 4194304 4196468 140725769698992 140249299101920 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25626] ppid=25610 vsize=13980732 memory=1380 CPUtime=0.73 cores=0,2,4,6
/proc/25612/task/25626/stat : 25626 (java) S 25610 25610 4674 0 -1 1077944384 1379 0 0 0 32 41 0 0 20 0 15 0 130923523 14316269568 1734363 18446744073709551615 4194304 4196468 140725769698992 140249298050224 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
Current children cumulated CPU time: 2455.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6938832 KiB
[startup+2502.3 s]
/proc/loadavg: 1.82 1.86 1.80 3/216 25898
/proc/meminfo: memFree=29505888/32770624 swapFree=67108764/67108860
[pid=25610] ppid=25607 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25610/stat : 25610 (xcsp3-exec) S 25607 25610 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 130923500 9740288 345 18446744073709551615 4194304 5098028 140727767824784 140727767822888 140001440633468 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 35258368 140727767830904 140727767831109 140727767831109 140727767834603 0
/proc/25610/statm: 2378 345 289 221 0 87 0
[pid=25612] ppid=25610 vsize=13980732 memory=483740 CPUtime=2515.86 cores=0,2,4,6
/proc/25612/stat : 25612 (java) S 25610 25610 4674 0 -1 1077944320 183251 0 0 0 250872 714 0 0 20 0 15 0 130923510 14316269568 120935 18446744073709551615 4194304 4196468 140725769698992 140725769681536 140249828040439 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
/proc/25612/statm: 3495183 120935 3242 1 0 3483476 0
[pid=25612/tid=25613] ppid=25610 vsize=13980732 memory=1661844 CPUtime=2497.39 cores=0,2,4,6
/proc/25612/task/25613/stat : 25613 (java) R 25610 25610 4674 0 -1 4202560 102856 0 0 0 249113 626 0 0 20 0 15 0 130923510 14316269568 120935 18446744073709551615 4194304 4196468 140725769698992 140249832279856 140249425924128 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25614] ppid=25610 vsize=13980732 memory=1853048 CPUtime=2.76 cores=0,2,4,6
/proc/25612/task/25614/stat : 25614 (java) S 25610 25610 4674 0 -1 1077944384 5784 0 0 0 269 7 0 0 20 0 15 0 130923511 14316269568 120935 18446744073709551615 4194304 4196468 140725769698992 140249747454608 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25615] ppid=25610 vsize=13980732 memory=2574712 CPUtime=2.76 cores=0,2,4,6
/proc/25612/task/25615/stat : 25615 (java) S 25610 25610 4674 0 -1 1077944384 7872 0 0 0 268 8 0 0 20 0 15 0 130923511 14316269568 120935 18446744073709551615 4194304 4196468 140725769698992 140249746401808 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25616] ppid=25610 vsize=13980732 memory=3070080 CPUtime=2.77 cores=0,2,4,6
/proc/25612/task/25616/stat : 25616 (java) S 25610 25610 4674 0 -1 1077944384 5070 0 0 0 269 8 0 0 20 0 15 0 130923511 14316269568 120935 18446744073709551615 4194304 4196468 140725769698992 140249745349008 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25617] ppid=25610 vsize=13980732 memory=1380 CPUtime=2.77 cores=0,2,4,6
/proc/25612/task/25617/stat : 25617 (java) S 25610 25610 4674 0 -1 1077944384 6766 0 0 0 268 9 0 0 20 0 15 0 130923511 14316269568 120935 18446744073709551615 4194304 4196468 140725769698992 140249744296208 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25618] ppid=25610 vsize=13980732 memory=1396616 CPUtime=1.38 cores=0,2,4,6
/proc/25612/task/25618/stat : 25618 (java) S 25610 25610 4674 0 -1 1077944384 14468 0 0 0 113 25 0 0 20 0 15 0 130923512 14316269568 120935 18446744073709551615 4194304 4196468 140725769698992 140249306471280 140249828051586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25619] ppid=25610 vsize=13980732 memory=483740 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25619/stat : 25619 (java) S 25610 25610 4674 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 130923513 14316269568 120935 18446744073709551615 4194304 4196468 140725769698992 140249305417248 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25620] ppid=25610 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25620/stat : 25620 (java) S 25610 25610 4674 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 130923513 14316269568 120935 18446744073709551615 4194304 4196468 140725769698992 140249304364400 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25621] ppid=25610 vsize=13980732 memory=4148 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25621/stat : 25621 (java) S 25610 25610 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130923515 14316269568 120935 18446744073709551615 4194304 4196468 140725769698992 140249303312720 140249828059035 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25622] ppid=25610 vsize=13980732 memory=64000 CPUtime=2.33 cores=0,2,4,6
/proc/25612/task/25622/stat : 25622 (java) S 25610 25610 4674 0 -1 1077944384 16826 0 0 0 231 2 0 0 20 0 15 0 130923515 14316269568 120935 18446744073709551615 4194304 4196468 140725769698992 140249302260080 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25623] ppid=25610 vsize=13980732 memory=2003144 CPUtime=2.4 cores=0,2,4,6
/proc/25612/task/25623/stat : 25623 (java) S 25610 25610 4674 0 -1 1077944384 15091 0 0 0 239 1 0 0 20 0 15 0 130923515 14316269568 120935 18446744073709551615 4194304 4196468 140725769698992 140249301207280 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25624] ppid=25610 vsize=13980732 memory=1380 CPUtime=0.46 cores=0,2,4,6
/proc/25612/task/25624/stat : 25624 (java) S 25610 25610 4674 0 -1 1077944384 5759 0 0 0 44 2 0 0 20 0 15 0 130923515 14316269568 120935 18446744073709551615 4194304 4196468 140725769698992 140249300154480 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25625] ppid=25610 vsize=13980732 memory=2383508 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25625/stat : 25625 (java) S 25610 25610 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130923516 14316269568 120935 18446744073709551615 4194304 4196468 140725769698992 140249299101920 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25626] ppid=25610 vsize=13980732 memory=2422568 CPUtime=0.76 cores=0,2,4,6
/proc/25612/task/25626/stat : 25626 (java) S 25610 25610 4674 0 -1 1077944384 1409 0 0 0 33 43 0 0 20 0 15 0 130923523 14316269568 120935 18446744073709551615 4194304 4196468 140725769698992 140249298050224 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
Current children cumulated CPU time: 2515.86 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 485120 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2506.5 s]
/proc/loadavg: 1.84 1.87 1.80 3/216 25899
/proc/meminfo: memFree=29417084/32770624 swapFree=67108764/67108860
[pid=25610] ppid=25607 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25610/stat : 25610 (xcsp3-exec) S 25607 25610 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 130923500 9740288 345 18446744073709551615 4194304 5098028 140727767824784 140727767822888 140001440633468 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 35258368 140727767830904 140727767831109 140727767831109 140727767834603 0
/proc/25610/statm: 2378 345 289 221 0 87 0
[pid=25612] ppid=25610 vsize=13980732 memory=559800 CPUtime=2520.06 cores=0,2,4,6
/proc/25612/stat : 25612 (java) S 25610 25610 4674 0 -1 1077944320 183369 0 0 0 251291 715 0 0 20 0 15 0 130923510 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140725769681536 140249828040439 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
/proc/25612/statm: 3495183 139950 3242 1 0 3483476 0
[pid=25612/tid=25613] ppid=25610 vsize=13980732 memory=559800 CPUtime=2501.59 cores=0,2,4,6
/proc/25612/task/25613/stat : 25613 (java) R 25610 25610 4674 0 -1 4202560 102969 0 0 0 249532 627 0 0 20 0 15 0 130923510 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249832279968 140249426483186 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25614] ppid=25610 vsize=13980732 memory=559800 CPUtime=2.76 cores=0,2,4,6
/proc/25612/task/25614/stat : 25614 (java) S 25610 25610 4674 0 -1 1077944384 5788 0 0 0 269 7 0 0 20 0 15 0 130923511 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249747454608 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25615] ppid=25610 vsize=13980732 memory=1380 CPUtime=2.76 cores=0,2,4,6
/proc/25612/task/25615/stat : 25615 (java) S 25610 25610 4674 0 -1 1077944384 7873 0 0 0 268 8 0 0 20 0 15 0 130923511 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249746401808 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25616] ppid=25610 vsize=13980732 memory=522788 CPUtime=2.77 cores=0,2,4,6
/proc/25612/task/25616/stat : 25616 (java) S 25610 25610 4674 0 -1 1077944384 5070 0 0 0 269 8 0 0 20 0 15 0 130923511 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249745349008 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25617] ppid=25610 vsize=13980732 memory=3070080 CPUtime=2.77 cores=0,2,4,6
/proc/25612/task/25617/stat : 25617 (java) S 25610 25610 4674 0 -1 1077944384 6766 0 0 0 268 9 0 0 20 0 15 0 130923511 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249744296208 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25618] ppid=25610 vsize=13980732 memory=2574712 CPUtime=1.38 cores=0,2,4,6
/proc/25612/task/25618/stat : 25618 (java) S 25610 25610 4674 0 -1 1077944384 14468 0 0 0 113 25 0 0 20 0 15 0 130923512 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249306471280 140249828051586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25619] ppid=25610 vsize=13980732 memory=1853048 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25619/stat : 25619 (java) S 25610 25610 4674 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 130923513 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249305417248 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25620] ppid=25610 vsize=13980732 memory=1661844 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25620/stat : 25620 (java) S 25610 25610 4674 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 130923513 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249304364400 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25621] ppid=25610 vsize=13980732 memory=522788 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25621/stat : 25621 (java) S 25610 25610 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130923515 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249303312720 140249828059035 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25622] ppid=25610 vsize=13980732 memory=559800 CPUtime=2.33 cores=0,2,4,6
/proc/25612/task/25622/stat : 25622 (java) S 25610 25610 4674 0 -1 1077944384 16826 0 0 0 231 2 0 0 20 0 15 0 130923515 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249302260080 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25623] ppid=25610 vsize=13980732 memory=1380 CPUtime=2.4 cores=0,2,4,6
/proc/25612/task/25623/stat : 25623 (java) S 25610 25610 4674 0 -1 1077944384 15091 0 0 0 239 1 0 0 20 0 15 0 130923515 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249301207280 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25624] ppid=25610 vsize=13980732 memory=1396616 CPUtime=0.46 cores=0,2,4,6
/proc/25612/task/25624/stat : 25624 (java) S 25610 25610 4674 0 -1 1077944384 5759 0 0 0 44 2 0 0 20 0 15 0 130923515 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249300154480 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25625] ppid=25610 vsize=13980732 memory=2574712 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25625/stat : 25625 (java) S 25610 25610 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130923516 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249299101920 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25626] ppid=25610 vsize=13980732 memory=1380 CPUtime=0.76 cores=0,2,4,6
/proc/25612/task/25626/stat : 25626 (java) S 25610 25610 4674 0 -1 1077944384 1409 0 0 0 33 43 0 0 20 0 15 0 130923523 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249298050224 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 561180 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2506.51 s]
# the end of solver process 25610 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001816 s, system=0 s
[startup+2506.51 s]
# the end of solver process 25612 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.93 s, system=7.16229 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
[startup+2506.5 s]
/proc/loadavg: 1.84 1.87 1.80 3/216 25899
/proc/meminfo: memFree=29417084/32770624 swapFree=67108764/67108860
[pid=25610] ppid=25607 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25610/stat : 25610 (xcsp3-exec) S 25607 25610 4674 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 130923500 9740288 345 18446744073709551615 4194304 5098028 140727767824784 140727767822888 140001440633468 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 35258368 140727767830904 140727767831109 140727767831109 140727767834603 0
/proc/25610/statm: 2378 345 289 221 0 87 0
[pid=25612] ppid=25610 vsize=13980732 memory=559800 CPUtime=2520.06 cores=0,2,4,6
/proc/25612/stat : 25612 (java) S 25610 25610 4674 0 -1 1077944320 183369 0 0 0 251291 715 0 0 20 0 15 0 130923510 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140725769681536 140249828040439 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
/proc/25612/statm: 3495183 139950 3242 1 0 3483476 0
[pid=25612/tid=25613] ppid=25610 vsize=13980732 memory=559800 CPUtime=2501.59 cores=0,2,4,6
/proc/25612/task/25613/stat : 25613 (java) R 25610 25610 4674 0 -1 4202560 102969 0 0 0 249532 627 0 0 20 0 15 0 130923510 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249832279968 140249426483186 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25614] ppid=25610 vsize=13980732 memory=559800 CPUtime=2.76 cores=0,2,4,6
/proc/25612/task/25614/stat : 25614 (java) S 25610 25610 4674 0 -1 1077944384 5788 0 0 0 269 7 0 0 20 0 15 0 130923511 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249747454608 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25615] ppid=25610 vsize=13980732 memory=1380 CPUtime=2.76 cores=0,2,4,6
/proc/25612/task/25615/stat : 25615 (java) S 25610 25610 4674 0 -1 1077944384 7873 0 0 0 268 8 0 0 20 0 15 0 130923511 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249746401808 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25616] ppid=25610 vsize=13980732 memory=522788 CPUtime=2.77 cores=0,2,4,6
/proc/25612/task/25616/stat : 25616 (java) S 25610 25610 4674 0 -1 1077944384 5070 0 0 0 269 8 0 0 20 0 15 0 130923511 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249745349008 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25617] ppid=25610 vsize=13980732 memory=3070080 CPUtime=2.77 cores=0,2,4,6
/proc/25612/task/25617/stat : 25617 (java) S 25610 25610 4674 0 -1 1077944384 6766 0 0 0 268 9 0 0 20 0 15 0 130923511 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249744296208 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25618] ppid=25610 vsize=13980732 memory=2574712 CPUtime=1.38 cores=0,2,4,6
/proc/25612/task/25618/stat : 25618 (java) S 25610 25610 4674 0 -1 1077944384 14468 0 0 0 113 25 0 0 20 0 15 0 130923512 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249306471280 140249828051586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25619] ppid=25610 vsize=13980732 memory=1853048 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25619/stat : 25619 (java) S 25610 25610 4674 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 130923513 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249305417248 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25620] ppid=25610 vsize=13980732 memory=1661844 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25620/stat : 25620 (java) S 25610 25610 4674 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 130923513 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249304364400 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25621] ppid=25610 vsize=13980732 memory=522788 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25621/stat : 25621 (java) S 25610 25610 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130923515 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249303312720 140249828059035 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25622] ppid=25610 vsize=13980732 memory=559800 CPUtime=2.33 cores=0,2,4,6
/proc/25612/task/25622/stat : 25622 (java) S 25610 25610 4674 0 -1 1077944384 16826 0 0 0 231 2 0 0 20 0 15 0 130923515 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249302260080 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25623] ppid=25610 vsize=13980732 memory=1380 CPUtime=2.4 cores=0,2,4,6
/proc/25612/task/25623/stat : 25623 (java) S 25610 25610 4674 0 -1 1077944384 15091 0 0 0 239 1 0 0 20 0 15 0 130923515 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249301207280 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25624] ppid=25610 vsize=13980732 memory=1396616 CPUtime=0.46 cores=0,2,4,6
/proc/25612/task/25624/stat : 25624 (java) S 25610 25610 4674 0 -1 1077944384 5759 0 0 0 44 2 0 0 20 0 15 0 130923515 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249300154480 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25625] ppid=25610 vsize=13980732 memory=2574712 CPUtime=0 cores=0,2,4,6
/proc/25612/task/25625/stat : 25625 (java) S 25610 25610 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 130923516 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249299101920 140249828050645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
[pid=25612/tid=25626] ppid=25610 vsize=13980732 memory=1380 CPUtime=0.76 cores=0,2,4,6
/proc/25612/task/25626/stat : 25626 (java) S 25610 25610 4674 0 -1 1077944384 1409 0 0 0 33 43 0 0 20 0 15 0 130923523 14316269568 139950 18446744073709551615 4194304 4196468 140725769698992 140249298050224 140249828051586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 7839744 140725769703857 140725769704033 140725769704033 140725769707471 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 561180 KiB
Child status: 143
Real time (s): 2506.51
CPU time (s): 2520.09
CPU user time (s): 2512.93
CPU system time (s): 7.16229
CPU usage (%): 100.542
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 6938832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.93
system time used= 7.16229
maximum resident set size= 6953836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184016
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78893
involuntary context switches= 5535
# summary of solver processes directly reported to runsolver:
# pid: 25610,25612
# total CPU time (s): 2520.09
# total CPU user time (s): 2512.93
# total CPU system time (s): 7.16229
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2353 second user time and 22.4594 second system time
The end