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 (15285 MiB free)
memory of node 1: 16384 MiB (13056 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283950-1503208367/watcher-4283950-1503208367 -o /tmp/evaluation-result-4283950-1503208367/solver-4283950-1503208367 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503172173-21712 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 125197886 HOME/instance-4283950-1503208367.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=29159, runsolver pid=29156
[startup+0.100152 s]*
/proc/loadavg: 2.09 1.91 1.88 2/196 29160
/proc/meminfo: memFree=29022164/32770624 swapFree=67105588/67108860
[pid=29159] ppid=29156 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29159/stat : 29159 (xcsp3-exec) S 29156 29159 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123031703 9740288 345 18446744073709551615 4194304 5098028 140724877403136 140724877401240 140276414276220 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 36741120 140724877406585 140724877406789 140724877406789 140724877410283 0
/proc/29159/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.209728 s]*
/proc/loadavg: 2.09 1.91 1.88 3/210 29174
/proc/meminfo: memFree=29010580/32770624 swapFree=67105588/67108860
[pid=29159] ppid=29156 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29159/stat : 29159 (xcsp3-exec) S 29156 29159 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123031703 9740288 345 18446744073709551615 4194304 5098028 140724877403136 140724877401240 140276414276220 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 36741120 140724877406585 140724877406789 140724877406789 140724877410283 0
/proc/29159/statm: 2378 345 289 221 0 87 0
[pid=29161] ppid=29159 vsize=13974352 memory=22476 CPUtime=0.07 cores=0,2,4,6
/proc/29161/stat : 29161 (java) S 29159 29159 8557 0 -1 1077944320 5044 0 0 0 6 1 0 0 20 0 15 0 123031713 14309736448 5619 18446744073709551615 4194304 4196468 140725128452752 140725128435296 140666636787447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
/proc/29161/statm: 3493588 5619 2715 1 0 3482964 0
[pid=29161/tid=29162] ppid=29159 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=0,2,4,6
/proc/29161/task/29162/stat : 29162 (java) R 29159 29159 8557 0 -1 4202560 3201 0 0 0 5 0 0 0 20 0 15 0 123031714 14309736448 5619 18446744073709551615 4194304 4196468 140725128452752 140666641029728 140666629024574 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29163] ppid=29159 vsize=13974352 memory=8893 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29163/stat : 29163 (java) S 29159 29159 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123031714 14309736448 5619 18446744073709551615 4194304 4196468 140725128452752 140666556202000 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29164] ppid=29159 vsize=13974352 memory=3545370967370319520 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29164/stat : 29164 (java) S 29159 29159 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123031714 14309736448 5619 18446744073709551615 4194304 4196468 140725128452752 140666235514000 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29165] ppid=29159 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29165/stat : 29165 (java) S 29159 29159 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123031714 14309736448 5619 18446744073709551615 4194304 4196468 140725128452752 140666234460944 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29166] ppid=29159 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29166/stat : 29166 (java) S 29159 29159 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123031714 14309736448 5619 18446744073709551615 4194304 4196468 140725128452752 140666233408400 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29167] ppid=29159 vsize=13974352 memory=140622079149696 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29167/stat : 29167 (java) S 29159 29159 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123031716 14309736448 5619 18446744073709551615 4194304 4196468 140725128452752 140666115414256 140666636798594 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29168] ppid=29159 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29168/stat : 29168 (java) S 29159 29159 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123031716 14309736448 5619 18446744073709551615 4194304 4196468 140725128452752 140666114360480 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29169] ppid=29159 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29169/stat : 29169 (java) S 29159 29159 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123031716 14309736448 5619 18446744073709551615 4194304 4196468 140725128452752 140666113307376 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29170] ppid=29159 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29170/stat : 29170 (java) S 29159 29159 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123031719 14309736448 5619 18446744073709551615 4194304 4196468 140725128452752 140666112255952 140666636806043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29171] ppid=29159 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29171/stat : 29171 (java) S 29159 29159 8557 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 123031719 14309736448 5619 18446744073709551615 4194304 4196468 140725128452752 140666111204080 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29172] ppid=29159 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29172/stat : 29172 (java) S 29159 29159 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123031719 14309736448 5619 18446744073709551615 4194304 4196468 140725128452752 140666110151536 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29173] ppid=29159 vsize=13974352 memory=140622079149696 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29173/stat : 29173 (java) R 29159 29159 8557 0 -1 4202560 226 0 0 0 0 0 0 0 20 0 15 0 123031719 14309736448 5619 18446744073709551615 4194304 4196468 140725128452752 140666109098480 140666615713158 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29174] ppid=29159 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29174/stat : 29174 (java) S 29159 29159 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123031719 14309736448 5619 18446744073709551615 4194304 4196468 140725128452752 140666108046176 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29175] ppid=29159 vsize=13974352 memory=140622079149696 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29175/stat : 29175 (java) S 29159 29159 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123031724 14309736448 5619 18446744073709551615 4194304 4196468 140725128452752 140666106993200 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 23856 KiB
[startup+0.311547 s]*
/proc/loadavg: 2.09 1.91 1.88 3/211 29175
/proc/meminfo: memFree=28996392/32770624 swapFree=67105588/67108860
[pid=29159] ppid=29156 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29159/stat : 29159 (xcsp3-exec) S 29156 29159 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123031703 9740288 345 18446744073709551615 4194304 5098028 140724877403136 140724877401240 140276414276220 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 36741120 140724877406585 140724877406789 140724877406789 140724877410283 0
/proc/29159/statm: 2378 345 289 221 0 87 0
[pid=29161] ppid=29159 vsize=13974352 memory=36588 CPUtime=0.25 cores=0,2,4,6
/proc/29161/stat : 29161 (java) S 29159 29159 8557 0 -1 1077944320 8781 0 0 0 22 3 0 0 20 0 15 0 123031713 14309736448 9147 18446744073709551615 4194304 4196468 140725128452752 140725128435296 140666636787447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
/proc/29161/statm: 3493588 9147 2977 1 0 3482964 0
[pid=29161/tid=29162] ppid=29159 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=0,2,4,6
/proc/29161/task/29162/stat : 29162 (java) R 29159 29159 8557 0 -1 4202560 5982 0 0 0 14 1 0 0 20 0 15 0 123031714 14309736448 9147 18446744073709551615 4194304 4196468 140725128452752 140666641020368 140666636809373 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29163] ppid=29159 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29163/stat : 29163 (java) S 29159 29159 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123031714 14309736448 9147 18446744073709551615 4194304 4196468 140725128452752 140666556202000 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29164] ppid=29159 vsize=13974352 memory=140622079149696 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29164/stat : 29164 (java) S 29159 29159 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123031714 14309736448 9147 18446744073709551615 4194304 4196468 140725128452752 140666235514000 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29165] ppid=29159 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29165/stat : 29165 (java) S 29159 29159 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123031714 14309736448 9147 18446744073709551615 4194304 4196468 140725128452752 140666234460944 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29166] ppid=29159 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29166/stat : 29166 (java) S 29159 29159 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123031714 14309736448 9147 18446744073709551615 4194304 4196468 140725128452752 140666233408400 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29167] ppid=29159 vsize=13974352 memory=140622079149696 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29167/stat : 29167 (java) S 29159 29159 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123031716 14309736448 9147 18446744073709551615 4194304 4196468 140725128452752 140666115414256 140666636798594 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29168] ppid=29159 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29168/stat : 29168 (java) S 29159 29159 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123031716 14309736448 9147 18446744073709551615 4194304 4196468 140725128452752 140666114360480 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29169] ppid=29159 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29169/stat : 29169 (java) S 29159 29159 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123031716 14309736448 9147 18446744073709551615 4194304 4196468 140725128452752 140666113307376 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29170] ppid=29159 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29170/stat : 29170 (java) S 29159 29159 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123031719 14309736448 9147 18446744073709551615 4194304 4196468 140725128452752 140666112255952 140666636806043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29171] ppid=29159 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29161/task/29171/stat : 29171 (java) S 29159 29159 8557 0 -1 1077944384 553 0 0 0 1 0 0 0 20 0 15 0 123031719 14309736448 9147 18446744073709551615 4194304 4196468 140725128452752 140666111204080 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29172] ppid=29159 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/29161/task/29172/stat : 29172 (java) S 29159 29159 8557 0 -1 1077944384 192 0 0 0 1 0 0 0 20 0 15 0 123031719 14309736448 9147 18446744073709551615 4194304 4196468 140725128452752 140666110151536 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29173] ppid=29159 vsize=13974352 memory=140622079149696 CPUtime=0.05 cores=0,2,4,6
/proc/29161/task/29173/stat : 29173 (java) R 29159 29159 8557 0 -1 4202560 752 0 0 0 5 0 0 0 20 0 15 0 123031719 14309736448 9147 18446744073709551615 4194304 4196468 140725128452752 140666109095416 140666619192170 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29174] ppid=29159 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29174/stat : 29174 (java) S 29159 29159 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123031719 14309736448 9147 18446744073709551615 4194304 4196468 140725128452752 140666108046176 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29175] ppid=29159 vsize=13974352 memory=140622079149696 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29175/stat : 29175 (java) S 29159 29159 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123031724 14309736448 9147 18446744073709551615 4194304 4196468 140725128452752 140666106993200 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37968 KiB
[startup+0.704427 s]
/proc/loadavg: 2.09 1.91 1.88 4/211 29175
/proc/meminfo: memFree=28984720/32770624 swapFree=67105588/67108860
[pid=29159] ppid=29156 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29159/stat : 29159 (xcsp3-exec) S 29156 29159 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123031703 9740288 345 18446744073709551615 4194304 5098028 140724877403136 140724877401240 140276414276220 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 36741120 140724877406585 140724877406789 140724877406789 140724877410283 0
/proc/29159/statm: 2378 345 289 221 0 87 0
[pid=29161] ppid=29159 vsize=13980732 memory=67252 CPUtime=1.08 cores=0,2,4,6
/proc/29161/stat : 29161 (java) S 29159 29159 8557 0 -1 1077944320 14132 0 0 0 102 6 0 0 20 0 15 0 123031713 14316269568 16813 18446744073709551615 4194304 4196468 140725128452752 140725128435296 140666636787447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
/proc/29161/statm: 3495183 16813 3174 1 0 3483476 0
[pid=29161/tid=29162] ppid=29159 vsize=13980732 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/29161/task/29162/stat : 29162 (java) R 29159 29159 8557 0 -1 1077944384 9342 0 0 0 50 4 0 0 20 0 15 0 123031714 14316269568 16813 18446744073709551615 4194304 4196468 140725128452752 140666641026464 140666636797653 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29163] ppid=29159 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29163/stat : 29163 (java) S 29159 29159 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123031714 14316269568 16813 18446744073709551615 4194304 4196468 140725128452752 140666556202000 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29164] ppid=29159 vsize=13980732 memory=7806816593618429527 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29164/stat : 29164 (java) S 29159 29159 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123031714 14316269568 16813 18446744073709551615 4194304 4196468 140725128452752 140666235514000 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29165] ppid=29159 vsize=13980732 memory=5865465064658194540 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29165/stat : 29165 (java) S 29159 29159 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123031714 14316269568 16813 18446744073709551615 4194304 4196468 140725128452752 140666234460944 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29166] ppid=29159 vsize=13980732 memory=4638778398332698720 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29166/stat : 29166 (java) S 29159 29159 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123031714 14316269568 16813 18446744073709551615 4194304 4196468 140725128452752 140666233408400 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29167] ppid=29159 vsize=13980732 memory=7100839870037596261 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29167/stat : 29167 (java) S 29159 29159 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 123031716 14316269568 16813 18446744073709551615 4194304 4196468 140725128452752 140666115414256 140666636798594 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29168] ppid=29159 vsize=13980732 memory=-8412661042793834637 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29168/stat : 29168 (java) S 29159 29159 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123031716 14316269568 16813 18446744073709551615 4194304 4196468 140725128452752 140666114360480 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29169] ppid=29159 vsize=13980732 memory=4137282616176187523 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29169/stat : 29169 (java) S 29159 29159 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123031716 14316269568 16813 18446744073709551615 4194304 4196468 140725128452752 140666113307376 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29170] ppid=29159 vsize=13980732 memory=-7531822216215565666 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29170/stat : 29170 (java) S 29159 29159 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123031719 14316269568 16813 18446744073709551615 4194304 4196468 140725128452752 140666112255952 140666636806043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29171] ppid=29159 vsize=13980732 memory=7682475212697334586 CPUtime=0.13 cores=0,2,4,6
/proc/29161/task/29171/stat : 29171 (java) R 29159 29159 8557 0 -1 4202560 1126 0 0 0 13 0 0 0 20 0 15 0 123031719 14316269568 16813 18446744073709551615 4194304 4196468 140725128452752 140666111184808 140666621181323 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29172] ppid=29159 vsize=13980732 memory=50392 CPUtime=0.14 cores=0,2,4,6
/proc/29161/task/29172/stat : 29172 (java) R 29159 29159 8557 0 -1 4202560 900 0 0 0 14 0 0 0 20 0 15 0 123031719 14316269568 16813 18446744073709551615 4194304 4196468 140725128452752 140666110134840 140666614534942 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29173] ppid=29159 vsize=13980732 memory=-8774313645642428999 CPUtime=0.24 cores=0,2,4,6
/proc/29161/task/29173/stat : 29173 (java) S 29159 29159 8557 0 -1 1077944384 1483 0 0 0 24 0 0 0 20 0 15 0 123031719 14316269568 16813 18446744073709551615 4194304 4196468 140725128452752 140666109098480 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29174] ppid=29159 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29174/stat : 29174 (java) S 29159 29159 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123031719 14316269568 16813 18446744073709551615 4194304 4196468 140725128452752 140666108046176 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29175] ppid=29159 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29175/stat : 29175 (java) S 29159 29159 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123031724 14316269568 16813 18446744073709551615 4194304 4196468 140725128452752 140666106993200 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 68632 KiB
[startup+1.50081 s]
/proc/loadavg: 2.09 1.91 1.88 5/211 29175
/proc/meminfo: memFree=28918560/32770624 swapFree=67105588/67108860
[pid=29159] ppid=29156 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29159/stat : 29159 (xcsp3-exec) S 29156 29159 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123031703 9740288 345 18446744073709551615 4194304 5098028 140724877403136 140724877401240 140276414276220 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 36741120 140724877406585 140724877406789 140724877406789 140724877410283 0
/proc/29159/statm: 2378 345 289 221 0 87 0
[pid=29161] ppid=29159 vsize=13980732 memory=170276 CPUtime=3.58 cores=0,2,4,6
/proc/29161/stat : 29161 (java) S 29159 29159 8557 0 -1 1077944320 38179 0 0 0 348 10 0 0 20 0 15 0 123031713 14316269568 42569 18446744073709551615 4194304 4196468 140725128452752 140725128435296 140666636787447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
/proc/29161/statm: 3495183 42569 3177 1 0 3483476 0
[pid=29161/tid=29162] ppid=29159 vsize=13980732 memory=-8774313645642428999 CPUtime=1.33 cores=0,2,4,6
/proc/29161/task/29162/stat : 29162 (java) R 29159 29159 8557 0 -1 4202560 9688 0 0 0 128 5 0 0 20 0 15 0 123031714 14316269568 42569 18446744073709551615 4194304 4196468 140725128452752 140666641023776 140666239686784 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29163] ppid=29159 vsize=13980732 memory=3472468917346384449 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29163/stat : 29163 (java) S 29159 29159 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123031714 14316269568 42569 18446744073709551615 4194304 4196468 140725128452752 140666556202000 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29164] ppid=29159 vsize=13980732 memory=7162362706744591138 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29164/stat : 29164 (java) S 29159 29159 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123031714 14316269568 42569 18446744073709551615 4194304 4196468 140725128452752 140666235514000 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29165] ppid=29159 vsize=13980732 memory=4207740135573572611 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29165/stat : 29165 (java) S 29159 29159 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123031714 14316269568 42569 18446744073709551615 4194304 4196468 140725128452752 140666234460944 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29166] ppid=29159 vsize=13980732 memory=3472468917346391268 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29166/stat : 29166 (java) S 29159 29159 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123031714 14316269568 42569 18446744073709551615 4194304 4196468 140725128452752 140666233408400 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29167] ppid=29159 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29167/stat : 29167 (java) S 29159 29159 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 123031716 14316269568 42569 18446744073709551615 4194304 4196468 140725128452752 140666115414256 140666636798594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29168] ppid=29159 vsize=13980732 memory=6945503147706432880 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29168/stat : 29168 (java) S 29159 29159 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123031716 14316269568 42569 18446744073709551615 4194304 4196468 140725128452752 140666114360480 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29169] ppid=29159 vsize=13980732 memory=-6804530832991035292 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29169/stat : 29169 (java) S 29159 29159 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123031716 14316269568 42569 18446744073709551615 4194304 4196468 140725128452752 140666113307376 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29170] ppid=29159 vsize=13980732 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29170/stat : 29170 (java) S 29159 29159 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123031719 14316269568 42569 18446744073709551615 4194304 4196468 140725128452752 140666112255952 140666636806043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29171] ppid=29159 vsize=13980732 memory=-8412652169205224307 CPUtime=0.93 cores=0,2,4,6
/proc/29161/task/29171/stat : 29171 (java) R 29159 29159 8557 0 -1 4202560 12574 0 0 0 91 2 0 0 20 0 15 0 123031719 14316269568 42569 18446744073709551615 4194304 4196468 140725128452752 140666111193792 140666618308629 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29172] ppid=29159 vsize=13980732 memory=-6158907362674458769 CPUtime=0.94 cores=0,2,4,6
/proc/29161/task/29172/stat : 29172 (java) R 29159 29159 8557 0 -1 4202560 10483 0 0 0 93 1 0 0 20 0 15 0 123031719 14316269568 42569 18446744073709551615 4194304 4196468 140725128452752 140666110138080 140666621897496 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29173] ppid=29159 vsize=13980732 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/29161/task/29173/stat : 29173 (java) S 29159 29159 8557 0 -1 1077944384 4125 0 0 0 36 0 0 0 20 0 15 0 123031719 14316269568 42569 18446744073709551615 4194304 4196468 140725128452752 140666109098480 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29174] ppid=29159 vsize=13980732 memory=-1088251628401078322 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29174/stat : 29174 (java) S 29159 29159 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123031719 14316269568 42569 18446744073709551615 4194304 4196468 140725128452752 140666108046176 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29175] ppid=29159 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29175/stat : 29175 (java) S 29159 29159 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123031724 14316269568 42569 18446744073709551615 4194304 4196468 140725128452752 140666106993200 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
################
# More data... #
################
/proc/29161/task/29169/stat : 29169 (java) S 29159 29159 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 123031716 14316269568 61924 18446744073709551615 4194304 4196468 140725128452752 140666113307392 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29170] ppid=29159 vsize=13980732 memory=247696 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29170/stat : 29170 (java) S 29159 29159 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123031719 14316269568 61924 18446744073709551615 4194304 4196468 140725128452752 140666112255952 140666636806043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29171] ppid=29159 vsize=13980732 memory=247696 CPUtime=4.61 cores=0,2,4,6
/proc/29161/task/29171/stat : 29171 (java) S 29159 29159 8557 0 -1 1077944384 28116 0 0 0 457 4 0 0 20 0 15 0 123031719 14316269568 61924 18446744073709551615 4194304 4196468 140725128452752 140666111204080 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29172] ppid=29159 vsize=13980732 memory=247696 CPUtime=5.03 cores=0,2,4,6
/proc/29161/task/29172/stat : 29172 (java) S 29159 29159 8557 0 -1 1077944384 32912 0 0 0 500 3 0 0 20 0 15 0 123031719 14316269568 61924 18446744073709551615 4194304 4196468 140725128452752 140666110151536 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29173] ppid=29159 vsize=13980732 memory=1380 CPUtime=0.78 cores=0,2,4,6
/proc/29161/task/29173/stat : 29173 (java) S 29159 29159 8557 0 -1 1077944384 11482 0 0 0 76 2 0 0 20 0 15 0 123031719 14316269568 61924 18446744073709551615 4194304 4196468 140725128452752 140666109098480 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29174] ppid=29159 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29174/stat : 29174 (java) S 29159 29159 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123031719 14316269568 61924 18446744073709551615 4194304 4196468 140725128452752 140666108046176 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29175] ppid=29159 vsize=13980732 memory=1380 CPUtime=1.38 cores=0,2,4,6
/proc/29161/task/29175/stat : 29175 (java) S 29159 29159 8557 0 -1 1077944384 1740 0 0 0 69 69 0 0 20 0 15 0 123031724 14316269568 61924 18446744073709551615 4194304 4196468 140725128452752 140666106993200 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
Current children cumulated CPU time: 2443.37 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 249076 KiB
[startup+2442.3 s]
/proc/loadavg: 1.40 1.38 1.50 3/211 29418
/proc/meminfo: memFree=30544680/32770624 swapFree=67105588/67108860
[pid=29159] ppid=29156 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29159/stat : 29159 (xcsp3-exec) S 29156 29159 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123031703 9740288 345 18446744073709551615 4194304 5098028 140724877403136 140724877401240 140276414276220 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 36741120 140724877406585 140724877406789 140724877406789 140724877410283 0
/proc/29159/statm: 2378 345 289 221 0 87 0
[pid=29161] ppid=29159 vsize=13980732 memory=232364 CPUtime=2504.74 cores=0,2,4,6
/proc/29161/stat : 29161 (java) S 29159 29159 8557 0 -1 1077944320 238836 0 0 0 250150 324 0 0 20 0 15 0 123031713 14316269568 58091 18446744073709551615 4194304 4196468 140725128452752 140725128435296 140666636787447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
/proc/29161/statm: 3495183 58091 3256 1 0 3483476 0
[pid=29161/tid=29162] ppid=29159 vsize=13980732 memory=232364 CPUtime=2416.33 cores=0,2,4,6
/proc/29161/task/29162/stat : 29162 (java) R 29159 29159 8557 0 -1 4202560 73926 0 0 0 241599 34 0 0 20 0 15 0 123031714 14316269568 58091 18446744073709551615 4194304 4196468 140725128452752 140666641026928 140666243487675 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29163] ppid=29159 vsize=13980732 memory=242052 CPUtime=17.73 cores=0,2,4,6
/proc/29161/task/29163/stat : 29163 (java) S 29159 29159 8557 0 -1 1077944384 12147 0 0 0 1729 44 0 0 20 0 15 0 123031714 14316269568 58091 18446744073709551615 4194304 4196468 140725128452752 140666556202000 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29164] ppid=29159 vsize=13980732 memory=242512 CPUtime=17.74 cores=0,2,4,6
/proc/29161/task/29164/stat : 29164 (java) S 29159 29159 8557 0 -1 1077944384 13843 0 0 0 1726 48 0 0 20 0 15 0 123031714 14316269568 58091 18446744073709551615 4194304 4196468 140725128452752 140666235514000 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29165] ppid=29159 vsize=13980732 memory=235444 CPUtime=17.73 cores=0,2,4,6
/proc/29161/task/29165/stat : 29165 (java) S 29159 29159 8557 0 -1 1077944384 12414 0 0 0 1726 47 0 0 20 0 15 0 123031714 14316269568 58091 18446744073709551615 4194304 4196468 140725128452752 140666234460944 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29166] ppid=29159 vsize=13980732 memory=243592 CPUtime=17.66 cores=0,2,4,6
/proc/29161/task/29166/stat : 29166 (java) S 29159 29159 8557 0 -1 1077944384 13514 0 0 0 1719 47 0 0 20 0 15 0 123031714 14316269568 58091 18446744073709551615 4194304 4196468 140725128452752 140666233408400 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29167] ppid=29159 vsize=13980732 memory=243592 CPUtime=5.55 cores=0,2,4,6
/proc/29161/task/29167/stat : 29167 (java) S 29159 29159 8557 0 -1 1077944384 37367 0 0 0 501 54 0 0 20 0 15 0 123031716 14316269568 58091 18446744073709551615 4194304 4196468 140725128452752 140666115414256 140666636798594 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29168] ppid=29159 vsize=13980732 memory=233392 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29168/stat : 29168 (java) S 29159 29159 8557 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 123031716 14316269568 58091 18446744073709551615 4194304 4196468 140725128452752 140666114360544 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29169] ppid=29159 vsize=13980732 memory=232364 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29169/stat : 29169 (java) S 29159 29159 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 123031716 14316269568 58091 18446744073709551615 4194304 4196468 140725128452752 140666113307392 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29170] ppid=29159 vsize=13980732 memory=232364 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29170/stat : 29170 (java) S 29159 29159 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123031719 14316269568 58091 18446744073709551615 4194304 4196468 140725128452752 140666112255952 140666636806043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29171] ppid=29159 vsize=13980732 memory=1380 CPUtime=4.62 cores=0,2,4,6
/proc/29161/task/29171/stat : 29171 (java) S 29159 29159 8557 0 -1 1077944384 28142 0 0 0 458 4 0 0 20 0 15 0 123031719 14316269568 58091 18446744073709551615 4194304 4196468 140725128452752 140666111204080 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29172] ppid=29159 vsize=13980732 memory=1380 CPUtime=5.06 cores=0,2,4,6
/proc/29161/task/29172/stat : 29172 (java) S 29159 29159 8557 0 -1 1077944384 32915 0 0 0 503 3 0 0 20 0 15 0 123031719 14316269568 58091 18446744073709551615 4194304 4196468 140725128452752 140666110151536 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29173] ppid=29159 vsize=13980732 memory=232364 CPUtime=0.78 cores=0,2,4,6
/proc/29161/task/29173/stat : 29173 (java) S 29159 29159 8557 0 -1 1077944384 11482 0 0 0 76 2 0 0 20 0 15 0 123031719 14316269568 58091 18446744073709551615 4194304 4196468 140725128452752 140666109098480 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29174] ppid=29159 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29174/stat : 29174 (java) S 29159 29159 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123031719 14316269568 58091 18446744073709551615 4194304 4196468 140725128452752 140666108046176 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29175] ppid=29159 vsize=13980732 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/29161/task/29175/stat : 29175 (java) S 29159 29159 8557 0 -1 1077944384 1744 0 0 0 71 72 0 0 20 0 15 0 123031724 14316269568 58091 18446744073709551615 4194304 4196468 140725128452752 140666106993200 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
Current children cumulated CPU time: 2504.74 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 233744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2457.3 s]
/proc/loadavg: 1.53 1.41 1.51 3/211 29419
/proc/meminfo: memFree=30527124/32770624 swapFree=67105588/67108860
[pid=29159] ppid=29156 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29159/stat : 29159 (xcsp3-exec) S 29156 29159 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123031703 9740288 345 18446744073709551615 4194304 5098028 140724877403136 140724877401240 140276414276220 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 36741120 140724877406585 140724877406789 140724877406789 140724877410283 0
/proc/29159/statm: 2378 345 289 221 0 87 0
[pid=29161] ppid=29159 vsize=13980732 memory=232892 CPUtime=2520.05 cores=0,2,4,6
/proc/29161/stat : 29161 (java) S 29159 29159 8557 0 -1 1077944320 239005 0 0 0 251680 325 0 0 20 0 15 0 123031713 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140725128435296 140666636787447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
/proc/29161/statm: 3495183 58223 3256 1 0 3483476 0
[pid=29161/tid=29162] ppid=29159 vsize=13980732 memory=232892 CPUtime=2431.16 cores=0,2,4,6
/proc/29161/task/29162/stat : 29162 (java) R 29159 29159 8557 0 -1 4202560 73985 0 0 0 243082 34 0 0 20 0 15 0 123031714 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666641026992 140666243464032 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29163] ppid=29159 vsize=13980732 memory=232892 CPUtime=17.84 cores=0,2,4,6
/proc/29161/task/29163/stat : 29163 (java) S 29159 29159 8557 0 -1 1077944384 12174 0 0 0 1739 45 0 0 20 0 15 0 123031714 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666556202000 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29164] ppid=29159 vsize=13980732 memory=232892 CPUtime=17.85 cores=0,2,4,6
/proc/29161/task/29164/stat : 29164 (java) S 29159 29159 8557 0 -1 1077944384 13867 0 0 0 1737 48 0 0 20 0 15 0 123031714 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666235514000 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29165] ppid=29159 vsize=13980732 memory=232892 CPUtime=17.84 cores=0,2,4,6
/proc/29161/task/29165/stat : 29165 (java) S 29159 29159 8557 0 -1 1077944384 12442 0 0 0 1737 47 0 0 20 0 15 0 123031714 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666234460944 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29166] ppid=29159 vsize=13980732 memory=233392 CPUtime=17.76 cores=0,2,4,6
/proc/29161/task/29166/stat : 29166 (java) S 29159 29159 8557 0 -1 1077944384 13541 0 0 0 1729 47 0 0 20 0 15 0 123031714 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666233408400 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29167] ppid=29159 vsize=13980732 memory=243592 CPUtime=5.58 cores=0,2,4,6
/proc/29161/task/29167/stat : 29167 (java) S 29159 29159 8557 0 -1 1077944384 37369 0 0 0 504 54 0 0 20 0 15 0 123031716 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666115414256 140666636798594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29168] ppid=29159 vsize=13980732 memory=243592 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29168/stat : 29168 (java) S 29159 29159 8557 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 123031716 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666114360544 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29169] ppid=29159 vsize=13980732 memory=235444 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29169/stat : 29169 (java) S 29159 29159 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 123031716 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666113307392 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29170] ppid=29159 vsize=13980732 memory=242512 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29170/stat : 29170 (java) S 29159 29159 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123031719 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666112255952 140666636806043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29171] ppid=29159 vsize=13980732 memory=242052 CPUtime=4.62 cores=0,2,4,6
/proc/29161/task/29171/stat : 29171 (java) S 29159 29159 8557 0 -1 1077944384 28142 0 0 0 458 4 0 0 20 0 15 0 123031719 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666111204080 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29172] ppid=29159 vsize=13980732 memory=232892 CPUtime=5.06 cores=0,2,4,6
/proc/29161/task/29172/stat : 29172 (java) S 29159 29159 8557 0 -1 1077944384 32915 0 0 0 503 3 0 0 20 0 15 0 123031719 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666110151536 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29173] ppid=29159 vsize=13980732 memory=232892 CPUtime=0.78 cores=0,2,4,6
/proc/29161/task/29173/stat : 29173 (java) S 29159 29159 8557 0 -1 1077944384 11482 0 0 0 76 2 0 0 20 0 15 0 123031719 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666109098480 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29174] ppid=29159 vsize=13980732 memory=232892 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29174/stat : 29174 (java) S 29159 29159 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123031719 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666108046176 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29175] ppid=29159 vsize=13980732 memory=1380 CPUtime=1.43 cores=0,2,4,6
/proc/29161/task/29175/stat : 29175 (java) S 29159 29159 8557 0 -1 1077944384 1746 0 0 0 71 72 0 0 20 0 15 0 123031724 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666106993200 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 234272 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2457.31 s]
# the end of solver process 29159 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.00181 s
[startup+2457.31 s]
# the end of solver process 29161 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.81 s, system=3.25819 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+2457.3 s]
/proc/loadavg: 1.53 1.41 1.51 3/211 29419
/proc/meminfo: memFree=30527124/32770624 swapFree=67105588/67108860
[pid=29159] ppid=29156 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/29159/stat : 29159 (xcsp3-exec) S 29156 29159 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123031703 9740288 345 18446744073709551615 4194304 5098028 140724877403136 140724877401240 140276414276220 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 36741120 140724877406585 140724877406789 140724877406789 140724877410283 0
/proc/29159/statm: 2378 345 289 221 0 87 0
[pid=29161] ppid=29159 vsize=13980732 memory=232892 CPUtime=2520.05 cores=0,2,4,6
/proc/29161/stat : 29161 (java) S 29159 29159 8557 0 -1 1077944320 239005 0 0 0 251680 325 0 0 20 0 15 0 123031713 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140725128435296 140666636787447 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
/proc/29161/statm: 3495183 58223 3256 1 0 3483476 0
[pid=29161/tid=29162] ppid=29159 vsize=13980732 memory=232892 CPUtime=2431.16 cores=0,2,4,6
/proc/29161/task/29162/stat : 29162 (java) R 29159 29159 8557 0 -1 4202560 73985 0 0 0 243082 34 0 0 20 0 15 0 123031714 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666641026992 140666243464032 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29163] ppid=29159 vsize=13980732 memory=232892 CPUtime=17.84 cores=0,2,4,6
/proc/29161/task/29163/stat : 29163 (java) S 29159 29159 8557 0 -1 1077944384 12174 0 0 0 1739 45 0 0 20 0 15 0 123031714 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666556202000 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29164] ppid=29159 vsize=13980732 memory=232892 CPUtime=17.85 cores=0,2,4,6
/proc/29161/task/29164/stat : 29164 (java) S 29159 29159 8557 0 -1 1077944384 13867 0 0 0 1737 48 0 0 20 0 15 0 123031714 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666235514000 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29165] ppid=29159 vsize=13980732 memory=232892 CPUtime=17.84 cores=0,2,4,6
/proc/29161/task/29165/stat : 29165 (java) S 29159 29159 8557 0 -1 1077944384 12442 0 0 0 1737 47 0 0 20 0 15 0 123031714 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666234460944 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29166] ppid=29159 vsize=13980732 memory=233392 CPUtime=17.76 cores=0,2,4,6
/proc/29161/task/29166/stat : 29166 (java) S 29159 29159 8557 0 -1 1077944384 13541 0 0 0 1729 47 0 0 20 0 15 0 123031714 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666233408400 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29167] ppid=29159 vsize=13980732 memory=243592 CPUtime=5.58 cores=0,2,4,6
/proc/29161/task/29167/stat : 29167 (java) S 29159 29159 8557 0 -1 1077944384 37369 0 0 0 504 54 0 0 20 0 15 0 123031716 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666115414256 140666636798594 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29168] ppid=29159 vsize=13980732 memory=243592 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29168/stat : 29168 (java) S 29159 29159 8557 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 123031716 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666114360544 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29169] ppid=29159 vsize=13980732 memory=235444 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29169/stat : 29169 (java) S 29159 29159 8557 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 123031716 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666113307392 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29170] ppid=29159 vsize=13980732 memory=242512 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29170/stat : 29170 (java) S 29159 29159 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123031719 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666112255952 140666636806043 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29171] ppid=29159 vsize=13980732 memory=242052 CPUtime=4.62 cores=0,2,4,6
/proc/29161/task/29171/stat : 29171 (java) S 29159 29159 8557 0 -1 1077944384 28142 0 0 0 458 4 0 0 20 0 15 0 123031719 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666111204080 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29172] ppid=29159 vsize=13980732 memory=232892 CPUtime=5.06 cores=0,2,4,6
/proc/29161/task/29172/stat : 29172 (java) S 29159 29159 8557 0 -1 1077944384 32915 0 0 0 503 3 0 0 20 0 15 0 123031719 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666110151536 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29173] ppid=29159 vsize=13980732 memory=232892 CPUtime=0.78 cores=0,2,4,6
/proc/29161/task/29173/stat : 29173 (java) S 29159 29159 8557 0 -1 1077944384 11482 0 0 0 76 2 0 0 20 0 15 0 123031719 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666109098480 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29174] ppid=29159 vsize=13980732 memory=232892 CPUtime=0 cores=0,2,4,6
/proc/29161/task/29174/stat : 29174 (java) S 29159 29159 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123031719 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666108046176 140666636797653 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
[pid=29161/tid=29175] ppid=29159 vsize=13980732 memory=1380 CPUtime=1.43 cores=0,2,4,6
/proc/29161/task/29175/stat : 29175 (java) S 29159 29159 8557 0 -1 1077944384 1746 0 0 0 71 72 0 0 20 0 15 0 123031724 14316269568 58223 18446744073709551615 4194304 4196468 140725128452752 140666106993200 140666636798594 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25497600 140725128458673 140725128458849 140725128458849 140725128462287 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 234272 KiB
Child status: 143
Real time (s): 2457.31
CPU time (s): 2520.07
CPU user time (s): 2516.81
CPU system time (s): 3.25819
CPU usage (%): 102.554
Max. virtual memory (cumulated for all children) (KiB): 13994200
Max. memory (cumulated for all children) (KiB): 492800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.81
system time used= 3.25819
maximum resident set size= 511676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 239645
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 194136
involuntary context switches= 6372
# summary of solver processes directly reported to runsolver:
# pid: 29159,29161
# total CPU time (s): 2520.07
# total CPU user time (s): 2516.81
# total CPU system time (s): 3.25819
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7572 second user time and 24.3862 second system time
The end