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 (4570 MiB free)
memory of node 1: 16384 MiB (6951 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404219-1568990069/watcher-4404219-1568990069 -o /var/tmp/evaluation-result-4404219-1568990069/solver-4404219-1568990069 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1568989977-29018 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 71627717 HOME/instance-4404219-1568990069.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29373, runsolver pid=29370
Current StackSize limit: 8192 KiB
[startup+0.103043 s]*
/proc/loadavg: 4.96 2.29 1.75 5/230 29389
/proc/meminfo: memFree=11777404/32770624 swapFree=66956676/67108860
[pid=29373] ppid=29370 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29373/stat : 29373 (xcsp3-exec) S 29370 29373 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475245532 115843072 363 33554432000 4194304 5098028 140722536263936 140722536262040 140519364067964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28598272 140722536268632 140722536268889 140722536268889 140722536271814 0
/proc/29373/statm: 28282 363 304 221 0 87 0
[pid=29375] ppid=29373 vsize=15144776 memory=28148 CPUtime=0.11 cores=1,3,5,7
/proc/29375/stat : 29375 (java) S 29373 29373 28986 0 -1 1077944320 5526 0 0 0 10 1 0 0 20 0 15 0 475245532 15508250624 7037 33554432000 4194304 4196468 140732115119680 140732115102224 140615471791863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
/proc/29375/statm: 3786194 7037 3113 1 0 3748377 0
[pid=29375/tid=29376] ppid=29373 vsize=15144776 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/29375/task/29376/stat : 29376 (java) R 29373 29373 28986 0 -1 4202560 3525 0 0 0 7 1 0 0 20 0 15 0 475245532 15508250624 7103 33554432000 4194304 4196468 140732115119680 140615476025136 140615455835493 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29377] ppid=29373 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29377/stat : 29377 (java) S 29373 29373 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475245533 15508250624 7103 33554432000 4194304 4196468 140732115119680 140615424411920 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29378] ppid=29373 vsize=15144776 memory=140497935328896 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29378/stat : 29378 (java) S 29373 29373 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475245533 15508250624 7103 33554432000 4194304 4196468 140732115119680 140615423359376 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29379] ppid=29373 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29379/stat : 29379 (java) S 29373 29373 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475245533 15508250624 7103 33554432000 4194304 4196468 140732115119680 140615422306832 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29380] ppid=29373 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29380/stat : 29380 (java) S 29373 29373 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475245533 15508250624 7103 33554432000 4194304 4196468 140732115119680 140615421254288 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29381] ppid=29373 vsize=15144776 memory=140497935328896 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29381/stat : 29381 (java) S 29373 29373 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475245534 15508250624 7103 33554432000 4194304 4196468 140732115119680 140614805977584 140615471803010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29382] ppid=29373 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29382/stat : 29382 (java) S 29373 29373 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475245535 15508250624 7103 33554432000 4194304 4196468 140732115119680 140614804923808 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29383] ppid=29373 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29383/stat : 29383 (java) S 29373 29373 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475245535 15508250624 7103 33554432000 4194304 4196468 140732115119680 140614803871216 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29384] ppid=29373 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29384/stat : 29384 (java) S 29373 29373 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475245537 15508250624 7103 33554432000 4194304 4196468 140732115119680 140614802819792 140615471810459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29385] ppid=29373 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29385/stat : 29385 (java) S 29373 29373 28986 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 475245537 15508250624 7103 33554432000 4194304 4196468 140732115119680 140614801766384 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29386] ppid=29373 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29386/stat : 29386 (java) S 29373 29373 28986 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 475245537 15508250624 7103 33554432000 4194304 4196468 140732115119680 140614800713840 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29387] ppid=29373 vsize=15144776 memory=140497935328896 CPUtime=0.01 cores=1,3,5,7
/proc/29375/task/29387/stat : 29387 (java) S 29373 29373 28986 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 15 0 475245537 15508250624 7103 33554432000 4194304 4196468 140732115119680 140614799661296 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29388] ppid=29373 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29388/stat : 29388 (java) S 29373 29373 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475245538 15508250624 7103 33554432000 4194304 4196468 140732115119680 140614798608992 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29389] ppid=29373 vsize=15144776 memory=140497935328896 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29389/stat : 29389 (java) S 29373 29373 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475245539 15508250624 7103 33554432000 4194304 4196468 140732115119680 140614797556528 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29600 KiB
[startup+0.21052 s]*
/proc/loadavg: 4.96 2.29 1.75 6/230 29389
/proc/meminfo: memFree=11759140/32770624 swapFree=66956676/67108860
[pid=29373] ppid=29370 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29373/stat : 29373 (xcsp3-exec) S 29370 29373 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475245532 115843072 363 33554432000 4194304 5098028 140722536263936 140722536262040 140519364067964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28598272 140722536268632 140722536268889 140722536268889 140722536271814 0
/proc/29373/statm: 28282 363 304 221 0 87 0
[pid=29375] ppid=29373 vsize=15144776 memory=40840 CPUtime=0.32 cores=1,3,5,7
/proc/29375/stat : 29375 (java) S 29373 29373 28986 0 -1 1077944320 9438 0 0 0 29 3 0 0 20 0 15 0 475245532 15508250624 10210 33554432000 4194304 4196468 140732115119680 140732115102224 140615471791863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
/proc/29375/statm: 3786194 10210 3292 1 0 3748377 0
[pid=29375/tid=29376] ppid=29373 vsize=15144776 memory=7883960649037381690 CPUtime=0.18 cores=1,3,5,7
/proc/29375/task/29376/stat : 29376 (java) R 29373 29373 28986 0 -1 4202560 6563 0 0 0 16 2 0 0 20 0 15 0 475245532 15508250624 10210 33554432000 4194304 4196468 140732115119680 140615476023776 140615471813789 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29377] ppid=29373 vsize=15144776 memory=1943324 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29377/stat : 29377 (java) S 29373 29373 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475245533 15508250624 10210 33554432000 4194304 4196468 140732115119680 140615424411920 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29378] ppid=29373 vsize=15144776 memory=140497935357627 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29378/stat : 29378 (java) S 29373 29373 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475245533 15508250624 10210 33554432000 4194304 4196468 140732115119680 140615423359376 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29379] ppid=29373 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29379/stat : 29379 (java) S 29373 29373 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475245533 15508250624 10210 33554432000 4194304 4196468 140732115119680 140615422306832 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29380] ppid=29373 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29380/stat : 29380 (java) S 29373 29373 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475245533 15508250624 10210 33554432000 4194304 4196468 140732115119680 140615421254288 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29381] ppid=29373 vsize=15144776 memory=140497935328896 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29381/stat : 29381 (java) S 29373 29373 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475245534 15508250624 10210 33554432000 4194304 4196468 140732115119680 140614805977584 140615471803010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29382] ppid=29373 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29382/stat : 29382 (java) S 29373 29373 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475245535 15508250624 10210 33554432000 4194304 4196468 140732115119680 140614804923808 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29383] ppid=29373 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29383/stat : 29383 (java) S 29373 29373 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475245535 15508250624 10210 33554432000 4194304 4196468 140732115119680 140614803871216 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29384] ppid=29373 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29384/stat : 29384 (java) S 29373 29373 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475245537 15508250624 10210 33554432000 4194304 4196468 140732115119680 140614802819792 140615471810459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29385] ppid=29373 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29375/task/29385/stat : 29385 (java) S 29373 29373 28986 0 -1 1077944384 612 0 0 0 2 0 0 0 20 0 15 0 475245537 15508250624 10210 33554432000 4194304 4196468 140732115119680 140614801766384 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29386] ppid=29373 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/29375/task/29386/stat : 29386 (java) S 29373 29373 28986 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 15 0 475245537 15508250624 10210 33554432000 4194304 4196468 140732115119680 140614800713840 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29387] ppid=29373 vsize=15144776 memory=140497935328896 CPUtime=0.07 cores=1,3,5,7
/proc/29375/task/29387/stat : 29387 (java) R 29373 29373 28986 0 -1 4202560 775 0 0 0 7 0 0 0 20 0 15 0 475245537 15508250624 10210 33554432000 4194304 4196468 140732115119680 140614799657248 140615449925383 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29388] ppid=29373 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29388/stat : 29388 (java) S 29373 29373 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475245538 15508250624 10210 33554432000 4194304 4196468 140732115119680 140614798608992 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29389] ppid=29373 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29389/stat : 29389 (java) S 29373 29373 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475245539 15508250624 10210 33554432000 4194304 4196468 140732115119680 140614797556528 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42292 KiB
[startup+0.310767 s]*
/proc/loadavg: 4.96 2.29 1.75 7/230 29389
/proc/meminfo: memFree=11740376/32770624 swapFree=66956676/67108860
[pid=29373] ppid=29370 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29373/stat : 29373 (xcsp3-exec) S 29370 29373 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475245532 115843072 363 33554432000 4194304 5098028 140722536263936 140722536262040 140519364067964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28598272 140722536268632 140722536268889 140722536268889 140722536271814 0
/proc/29373/statm: 28282 363 304 221 0 87 0
[pid=29375] ppid=29373 vsize=15149032 memory=49256 CPUtime=0.51 cores=1,3,5,7
/proc/29375/stat : 29375 (java) S 29373 29373 28986 0 -1 1077944320 10639 0 0 0 47 4 0 0 20 0 15 0 475245532 15512608768 12314 33554432000 4194304 4196468 140732115119680 140732115102224 140615471791863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
/proc/29375/statm: 3787258 12314 3325 1 0 3748377 0
[pid=29375/tid=29376] ppid=29373 vsize=15149032 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/29375/task/29376/stat : 29376 (java) R 29373 29373 28986 0 -1 4202560 7640 0 0 0 26 3 0 0 20 0 15 0 475245532 15512608768 12314 33554432000 4194304 4196468 140732115119680 140615476025648 140615455872350 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29377] ppid=29373 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29377/stat : 29377 (java) S 29373 29373 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475245533 15512608768 12314 33554432000 4194304 4196468 140732115119680 140615424411920 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29378] ppid=29373 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29378/stat : 29378 (java) S 29373 29373 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475245533 15512608768 12314 33554432000 4194304 4196468 140732115119680 140615423359376 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29379] ppid=29373 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29379/stat : 29379 (java) S 29373 29373 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475245533 15512608768 12314 33554432000 4194304 4196468 140732115119680 140615422306832 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29380] ppid=29373 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29380/stat : 29380 (java) S 29373 29373 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475245533 15512608768 12314 33554432000 4194304 4196468 140732115119680 140615421254288 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29381] ppid=29373 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29381/stat : 29381 (java) S 29373 29373 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475245534 15512608768 12314 33554432000 4194304 4196468 140732115119680 140614805977584 140615471803010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29382] ppid=29373 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29382/stat : 29382 (java) S 29373 29373 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475245535 15512608768 12314 33554432000 4194304 4196468 140732115119680 140614804923808 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29383] ppid=29373 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29383/stat : 29383 (java) S 29373 29373 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475245535 15512608768 12314 33554432000 4194304 4196468 140732115119680 140614803871216 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29384] ppid=29373 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29384/stat : 29384 (java) S 29373 29373 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475245537 15512608768 12314 33554432000 4194304 4196468 140732115119680 140614802819792 140615471810459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29385] ppid=29373 vsize=15149032 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/29375/task/29385/stat : 29385 (java) S 29373 29373 28986 0 -1 1077944384 633 0 0 0 4 0 0 0 20 0 15 0 475245537 15512608768 12314 33554432000 4194304 4196468 140732115119680 140614801766384 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29386] ppid=29373 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/29375/task/29386/stat : 29386 (java) S 29373 29373 28986 0 -1 1077944384 186 0 0 0 3 0 0 0 20 0 15 0 475245537 15512608768 12314 33554432000 4194304 4196468 140732115119680 140614800713840 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29387] ppid=29373 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/29375/task/29387/stat : 29387 (java) S 29373 29373 28986 0 -1 1077944384 873 0 0 0 12 0 0 0 20 0 15 0 475245537 15512608768 12314 33554432000 4194304 4196468 140732115119680 140614799661296 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29388] ppid=29373 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29388/stat : 29388 (java) S 29373 29373 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475245538 15512608768 12314 33554432000 4194304 4196468 140732115119680 140614798608992 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29389] ppid=29373 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29389/stat : 29389 (java) S 29373 29373 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475245539 15512608768 12314 33554432000 4194304 4196468 140732115119680 140614797556528 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50708 KiB
[startup+0.702497 s]
/proc/loadavg: 4.96 2.29 1.75 6/230 29389
/proc/meminfo: memFree=11698264/32770624 swapFree=66956676/67108860
[pid=29373] ppid=29370 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29373/stat : 29373 (xcsp3-exec) S 29370 29373 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475245532 115843072 363 33554432000 4194304 5098028 140722536263936 140722536262040 140519364067964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28598272 140722536268632 140722536268889 140722536268889 140722536271814 0
/proc/29373/statm: 28282 363 304 221 0 87 0
[pid=29375] ppid=29373 vsize=15151156 memory=95812 CPUtime=1.7 cores=1,3,5,7
/proc/29375/stat : 29375 (java) S 29373 29373 28986 0 -1 1077944320 14595 0 0 0 164 6 0 0 20 0 15 0 475245532 15514783744 23953 33554432000 4194304 4196468 140732115119680 140732115102224 140615471791863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
/proc/29375/statm: 3787789 23953 3441 1 0 3748889 0
[pid=29375/tid=29376] ppid=29373 vsize=15151156 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/29375/task/29376/stat : 29376 (java) R 29373 29373 28986 0 -1 4202560 9017 0 0 0 63 4 0 0 20 0 15 0 475245532 15514783744 23953 33554432000 4194304 4196468 140732115119680 140615476009616 140615439393291 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29377] ppid=29373 vsize=15151156 memory=288230600314300172 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29377/stat : 29377 (java) S 29373 29373 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475245533 15514783744 23953 33554432000 4194304 4196468 140732115119680 140615424411920 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29378] ppid=29373 vsize=15151156 memory=16106952818009964 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29378/stat : 29378 (java) S 29373 29373 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475245533 15514783744 23953 33554432000 4194304 4196468 140732115119680 140615423359376 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29379] ppid=29373 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29379/stat : 29379 (java) S 29373 29373 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475245533 15514783744 23953 33554432000 4194304 4196468 140732115119680 140615422306832 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29380] ppid=29373 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29380/stat : 29380 (java) S 29373 29373 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475245533 15514783744 23953 33554432000 4194304 4196468 140732115119680 140615421254288 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29381] ppid=29373 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29381/stat : 29381 (java) S 29373 29373 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475245534 15514783744 23953 33554432000 4194304 4196468 140732115119680 140614805977584 140615471803010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29382] ppid=29373 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29382/stat : 29382 (java) S 29373 29373 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475245535 15514783744 23953 33554432000 4194304 4196468 140732115119680 140614804923808 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29383] ppid=29373 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29383/stat : 29383 (java) S 29373 29373 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475245535 15514783744 23953 33554432000 4194304 4196468 140732115119680 140614803871216 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29384] ppid=29373 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29384/stat : 29384 (java) S 29373 29373 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475245537 15514783744 23953 33554432000 4194304 4196468 140732115119680 140614802819792 140615471810459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29385] ppid=29373 vsize=15151156 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/29375/task/29385/stat : 29385 (java) R 29373 29373 28986 0 -1 4202560 1597 0 0 0 34 0 0 0 20 0 15 0 475245537 15514783744 23953 33554432000 4194304 4196468 140732115119680 140614801747400 140615457219424 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29386] ppid=29373 vsize=15151156 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/29375/task/29386/stat : 29386 (java) S 29373 29373 28986 0 -1 1077944384 960 0 0 0 31 0 0 0 20 0 15 0 475245537 15514783744 23953 33554432000 4194304 4196468 140732115119680 140614800713840 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29387] ppid=29373 vsize=15151156 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/29375/task/29387/stat : 29387 (java) S 29373 29373 28986 0 -1 1077944384 1717 0 0 0 34 0 0 0 20 0 15 0 475245537 15514783744 23953 33554432000 4194304 4196468 140732115119680 140614799661296 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29388] ppid=29373 vsize=15151156 memory=7739225284652066674 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29388/stat : 29388 (java) S 29373 29373 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475245538 15514783744 23953 33554432000 4194304 4196468 140732115119680 140614798608992 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29389] ppid=29373 vsize=15151156 memory=7669173225608800621 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29389/stat : 29389 (java) S 29373 29373 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475245539 15514783744 23953 33554432000 4194304 4196468 140732115119680 140614797556528 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 97264 KiB
[startup+1.50154 s]
/proc/loadavg: 4.96 2.29 1.75 8/234 29401
/proc/meminfo: memFree=11560684/32770624 swapFree=66956676/67108860
[pid=29373] ppid=29370 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29373/stat : 29373 (xcsp3-exec) S 29370 29373 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475245532 115843072 363 33554432000 4194304 5098028 140722536263936 140722536262040 140519364067964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28598272 140722536268632 140722536268889 140722536268889 140722536271814 0
/proc/29373/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/29375/stat : 29375 (java) S 29373 29373 28986 0 -1 1077944320 88211 0 0 0 206728 82 0 0 20 0 19 0 475245532 15790579712 201871 33554432000 4194304 4196468 140732115119680 140732115102224 140615471791863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
/proc/29375/statm: 3855122 201871 3557 1 0 3816222 0
[pid=29375/tid=29376] ppid=29373 vsize=15420488 memory=1088 CPUtime=1.69 cores=1,3,5,7
/proc/29375/task/29376/stat : 29376 (java) S 29373 29373 28986 0 -1 1077944384 12103 0 0 0 163 6 0 0 20 0 19 0 475245532 15790579712 201871 33554432000 4194304 4196468 140732115119680 140615476032640 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29377] ppid=29373 vsize=15420488 memory=988 CPUtime=1.86 cores=1,3,5,7
/proc/29375/task/29377/stat : 29377 (java) S 29373 29373 28986 0 -1 1077944384 2854 0 0 0 172 14 0 0 20 0 19 0 475245533 15790579712 201871 33554432000 4194304 4196468 140732115119680 140615424411920 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29378] ppid=29373 vsize=15420488 memory=807484 CPUtime=1.86 cores=1,3,5,7
/proc/29375/task/29378/stat : 29378 (java) S 29373 29373 28986 0 -1 1077944384 4488 0 0 0 174 12 0 0 20 0 19 0 475245533 15790579712 201871 33554432000 4194304 4196468 140732115119680 140615423359376 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29379] ppid=29373 vsize=15420488 memory=1452 CPUtime=1.87 cores=1,3,5,7
/proc/29375/task/29379/stat : 29379 (java) S 29373 29373 28986 0 -1 1077944384 2765 0 0 0 175 12 0 0 20 0 19 0 475245533 15790579712 201871 33554432000 4194304 4196468 140732115119680 140615422306832 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29380] ppid=29373 vsize=15420488 memory=807460 CPUtime=1.87 cores=1,3,5,7
/proc/29375/task/29380/stat : 29380 (java) S 29373 29373 28986 0 -1 1077944384 2492 0 0 0 176 11 0 0 20 0 19 0 475245533 15790579712 201871 33554432000 4194304 4196468 140732115119680 140615421254288 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29381] ppid=29373 vsize=15420488 memory=3620 CPUtime=1.14 cores=1,3,5,7
/proc/29375/task/29381/stat : 29381 (java) S 29373 29373 28986 0 -1 1077944384 11841 0 0 0 102 12 0 0 20 0 19 0 475245534 15790579712 201871 33554432000 4194304 4196468 140732115119680 140614805977584 140615471803010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29382] ppid=29373 vsize=15420488 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29382/stat : 29382 (java) S 29373 29373 28986 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 475245535 15790579712 201871 33554432000 4194304 4196468 140732115119680 140614804923872 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29383] ppid=29373 vsize=15420488 memory=807460 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29383/stat : 29383 (java) S 29373 29373 28986 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 475245535 15790579712 201871 33554432000 4194304 4196468 140732115119680 140614803871232 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29384] ppid=29373 vsize=15420488 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29384/stat : 29384 (java) S 29373 29373 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475245537 15790579712 201871 33554432000 4194304 4196468 140732115119680 140614802819792 140615471810459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29385] ppid=29373 vsize=15420488 memory=807460 CPUtime=3.18 cores=1,3,5,7
/proc/29375/task/29385/stat : 29385 (java) S 29373 29373 28986 0 -1 1077944384 14833 0 0 0 317 1 0 0 20 0 19 0 475245537 15790579712 201871 33554432000 4194304 4196468 140732115119680 140614801766384 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29386] ppid=29373 vsize=15420488 memory=4100 CPUtime=2.63 cores=1,3,5,7
/proc/29375/task/29386/stat : 29386 (java) S 29373 29373 28986 0 -1 1077944384 13025 0 0 0 261 2 0 0 20 0 19 0 475245537 15790579712 201871 33554432000 4194304 4196468 140732115119680 140614800713840 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29387] ppid=29373 vsize=15420488 memory=1804 CPUtime=0.9 cores=1,3,5,7
/proc/29375/task/29387/stat : 29387 (java) S 29373 29373 28986 0 -1 1077944384 8662 0 0 0 88 2 0 0 20 0 19 0 475245537 15790579712 201871 33554432000 4194304 4196468 140732115119680 140614799661296 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29388] ppid=29373 vsize=15420488 memory=920 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29388/stat : 29388 (java) S 29373 29373 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475245538 15790579712 201871 33554432000 4194304 4196468 140732115119680 140614798608992 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29389] ppid=29373 vsize=15420488 memory=807460 CPUtime=0.16 cores=1,3,5,7
/proc/29375/task/29389/stat : 29389 (java) R 29373 29373 28986 0 -1 1077944384 469 0 0 0 16 0 0 0 20 0 19 0 475245539 15790579712 201871 33554432000 4194304 4196468 140732115119680 140614797556528 140615471803010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29406] ppid=29373 vsize=15420488 memory=807484 CPUtime=513.19 cores=1,3,5,7
/proc/29375/task/29406/stat : 29406 (java) R 29373 29373 28986 0 -1 4202560 2539 0 0 0 51317 2 0 0 20 0 19 0 475245714 15790579712 201871 33554432000 4194304 4196468 140732115119680 140614784363272 140615106368359 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29407] ppid=29373 vsize=15420488 memory=1428 CPUtime=512.58 cores=1,3,5,7
/proc/29375/task/29407/stat : 29407 (java) R 29373 29373 28986 0 -1 4202560 3022 0 0 0 51254 4 0 0 20 0 19 0 475245715 15790579712 201871 33554432000 4194304 4196468 140732115119680 140614788574976 140615106885703 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29408] ppid=29373 vsize=15420488 memory=1728 CPUtime=512.3 cores=1,3,5,7
/proc/29375/task/29408/stat : 29408 (java) R 29373 29373 28986 0 -1 4202560 4611 0 0 0 51226 4 0 0 20 0 19 0 475245715 15790579712 201871 33554432000 4194304 4196468 140732115119680 140614786471888 140615106368277 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29409] ppid=29373 vsize=15420488 memory=1056 CPUtime=512.58 cores=1,3,5,7
/proc/29375/task/29409/stat : 29409 (java) R 29373 29373 28986 0 -1 4202560 3008 0 0 0 51255 3 0 0 20 0 19 0 475245715 15790579712 201871 33554432000 4194304 4196468 140732115119680 140614785417208 140615106000572 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
Current children cumulated CPU time: 2068.1 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 808936 KiB
[startup+582.302 s]
/proc/loadavg: 8.08 7.48 4.84 9/238 30021
/proc/meminfo: memFree=8848564/32770624 swapFree=66956676/67108860
[pid=29373] ppid=29370 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29373/stat : 29373 (xcsp3-exec) S 29370 29373 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475245532 115843072 363 33554432000 4194304 5098028 140722536263936 140722536262040 140519364067964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28598272 140722536268632 140722536268889 140722536268889 140722536271814 0
/proc/29373/statm: 28282 363 304 221 0 87 0
[pid=29375] ppid=29373 vsize=15420488 memory=804236 CPUtime=2305.81 cores=1,3,5,7
/proc/29375/stat : 29375 (java) S 29373 29373 28986 0 -1 1077944320 95030 0 0 0 230494 87 0 0 20 0 19 0 475245532 15790579712 201059 33554432000 4194304 4196468 140732115119680 140732115102224 140615471791863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
/proc/29375/statm: 3855122 201059 3557 1 0 3816222 0
[pid=29375/tid=29376] ppid=29373 vsize=15420488 memory=-8412652160765825907 CPUtime=1.69 cores=1,3,5,7
/proc/29375/task/29376/stat : 29376 (java) S 29373 29373 28986 0 -1 1077944384 12103 0 0 0 163 6 0 0 20 0 19 0 475245532 15790579712 201059 33554432000 4194304 4196468 140732115119680 140615476032640 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29377] ppid=29373 vsize=15420488 memory=7897517683652307531 CPUtime=2.11 cores=1,3,5,7
/proc/29375/task/29377/stat : 29377 (java) S 29373 29373 28986 0 -1 1077944384 3654 0 0 0 196 15 0 0 20 0 19 0 475245533 15790579712 201059 33554432000 4194304 4196468 140732115119680 140615424411920 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29378] ppid=29373 vsize=15420488 memory=8514726395715349656 CPUtime=2.12 cores=1,3,5,7
/proc/29375/task/29378/stat : 29378 (java) S 29373 29373 28986 0 -1 1077944384 4631 0 0 0 199 13 0 0 20 0 19 0 475245533 15790579712 201059 33554432000 4194304 4196468 140732115119680 140615423359376 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29379] ppid=29373 vsize=15420488 memory=7100839878645619564 CPUtime=2.11 cores=1,3,5,7
/proc/29375/task/29379/stat : 29379 (java) S 29373 29373 28986 0 -1 1077944384 3192 0 0 0 199 12 0 0 20 0 19 0 475245533 15790579712 201059 33554432000 4194304 4196468 140732115119680 140615422306832 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29380] ppid=29373 vsize=15420488 memory=1732 CPUtime=2.13 cores=1,3,5,7
/proc/29375/task/29380/stat : 29380 (java) S 29373 29373 28986 0 -1 1077944384 2821 0 0 0 201 12 0 0 20 0 19 0 475245533 15790579712 201059 33554432000 4194304 4196468 140732115119680 140615421254288 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29381] ppid=29373 vsize=15420488 memory=1088 CPUtime=1.29 cores=1,3,5,7
/proc/29375/task/29381/stat : 29381 (java) S 29373 29373 28986 0 -1 1077944384 16019 0 0 0 115 14 0 0 20 0 19 0 475245534 15790579712 201059 33554432000 4194304 4196468 140732115119680 140614805977584 140615471803010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29382] ppid=29373 vsize=15420488 memory=988 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29382/stat : 29382 (java) S 29373 29373 28986 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 475245535 15790579712 201059 33554432000 4194304 4196468 140732115119680 140614804923872 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29383] ppid=29373 vsize=15420488 memory=780 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29383/stat : 29383 (java) S 29373 29373 28986 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 475245535 15790579712 201059 33554432000 4194304 4196468 140732115119680 140614803871232 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29384] ppid=29373 vsize=15420488 memory=6032 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29384/stat : 29384 (java) S 29373 29373 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475245537 15790579712 201059 33554432000 4194304 4196468 140732115119680 140614802819792 140615471810459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29385] ppid=29373 vsize=15420488 memory=624 CPUtime=3.18 cores=1,3,5,7
/proc/29375/task/29385/stat : 29385 (java) S 29373 29373 28986 0 -1 1077944384 14836 0 0 0 317 1 0 0 20 0 19 0 475245537 15790579712 201059 33554432000 4194304 4196468 140732115119680 140614801766384 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29386] ppid=29373 vsize=15420488 memory=3636 CPUtime=2.63 cores=1,3,5,7
/proc/29375/task/29386/stat : 29386 (java) S 29373 29373 28986 0 -1 1077944384 13028 0 0 0 261 2 0 0 20 0 19 0 475245537 15790579712 201059 33554432000 4194304 4196468 140732115119680 140614800713840 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29387] ppid=29373 vsize=15420488 memory=2832 CPUtime=0.9 cores=1,3,5,7
/proc/29375/task/29387/stat : 29387 (java) S 29373 29373 28986 0 -1 1077944384 8664 0 0 0 88 2 0 0 20 0 19 0 475245537 15790579712 201059 33554432000 4194304 4196468 140732115119680 140614799661296 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29388] ppid=29373 vsize=15420488 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29388/stat : 29388 (java) S 29373 29373 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475245538 15790579712 201059 33554432000 4194304 4196468 140732115119680 140614798608992 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29389] ppid=29373 vsize=15420488 memory=2112 CPUtime=0.25 cores=1,3,5,7
/proc/29375/task/29389/stat : 29389 (java) S 29373 29373 28986 0 -1 1077944384 490 0 0 0 17 8 0 0 20 0 19 0 475245539 15790579712 201059 33554432000 4194304 4196468 140732115119680 140614797556528 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29406] ppid=29373 vsize=15420488 memory=1764 CPUtime=572.45 cores=1,3,5,7
/proc/29375/task/29406/stat : 29406 (java) R 29373 29373 28986 0 -1 4202560 2797 0 0 0 57242 3 0 0 20 0 19 0 475245714 15790579712 201059 33554432000 4194304 4196468 140732115119680 140614784363648 140615106486897 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29407] ppid=29373 vsize=15420488 memory=111628 CPUtime=571.54 cores=1,3,5,7
/proc/29375/task/29407/stat : 29407 (java) R 29373 29373 28986 0 -1 4202560 3177 0 0 0 57149 5 0 0 20 0 19 0 475245715 15790579712 201059 33554432000 4194304 4196468 140732115119680 140614788575064 140615106957147 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29408] ppid=29373 vsize=15420488 memory=800 CPUtime=571.55 cores=1,3,5,7
/proc/29375/task/29408/stat : 29408 (java) R 29373 29373 28986 0 -1 4202560 4917 0 0 0 57151 4 0 0 20 0 19 0 475245715 15790579712 201059 33554432000 4194304 4196468 140732115119680 140614786469760 140615107586692 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29409] ppid=29373 vsize=15420488 memory=4100 CPUtime=571.66 cores=1,3,5,7
/proc/29375/task/29409/stat : 29409 (java) R 29373 29373 28986 0 -1 4202560 3202 0 0 0 57162 4 0 0 20 0 19 0 475245715 15790579712 201059 33554432000 4194304 4196468 140732115119680 140614785419728 140615106000249 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
Current children cumulated CPU time: 2305.81 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 805688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+606.102 s]
/proc/loadavg: 8.05 7.52 4.93 9/238 30023
/proc/meminfo: memFree=8837688/32770624 swapFree=66956676/67108860
[pid=29373] ppid=29370 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/29373/stat : 29373 (xcsp3-exec) S 29370 29373 28986 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475245532 115843072 363 33554432000 4194304 5098028 140722536263936 140722536262040 140519364067964 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28598272 140722536268632 140722536268889 140722536268889 140722536271814 0
/proc/29373/statm: 28282 363 304 221 0 87 0
[pid=29375] ppid=29373 vsize=15420488 memory=815144 CPUtime=2400.15 cores=1,3,5,7
/proc/29375/stat : 29375 (java) S 29373 29373 28986 0 -1 1077944320 96218 0 0 0 239926 89 0 0 20 0 19 0 475245532 15790579712 203786 33554432000 4194304 4196468 140732115119680 140732115102224 140615471791863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
/proc/29375/statm: 3855122 203786 3557 1 0 3816222 0
[pid=29375/tid=29376] ppid=29373 vsize=15420488 memory=54620 CPUtime=1.69 cores=1,3,5,7
/proc/29375/task/29376/stat : 29376 (java) S 29373 29373 28986 0 -1 1077944384 12103 0 0 0 163 6 0 0 20 0 19 0 475245532 15790579712 203786 33554432000 4194304 4196468 140732115119680 140615476032640 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29377] ppid=29373 vsize=15420488 memory=1988 CPUtime=2.2 cores=1,3,5,7
/proc/29375/task/29377/stat : 29377 (java) S 29373 29373 28986 0 -1 1077944384 3677 0 0 0 205 15 0 0 20 0 19 0 475245533 15790579712 203786 33554432000 4194304 4196468 140732115119680 140615424411920 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29378] ppid=29373 vsize=15420488 memory=6791534058613427641 CPUtime=2.21 cores=1,3,5,7
/proc/29375/task/29378/stat : 29378 (java) S 29373 29373 28986 0 -1 1077944384 4672 0 0 0 208 13 0 0 20 0 19 0 475245533 15790579712 203786 33554432000 4194304 4196468 140732115119680 140615423359376 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29379] ppid=29373 vsize=15420488 memory=1428 CPUtime=2.21 cores=1,3,5,7
/proc/29375/task/29379/stat : 29379 (java) S 29373 29373 28986 0 -1 1077944384 3768 0 0 0 208 13 0 0 20 0 19 0 475245533 15790579712 203786 33554432000 4194304 4196468 140732115119680 140615422306832 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29380] ppid=29373 vsize=15420488 memory=1728 CPUtime=2.21 cores=1,3,5,7
/proc/29375/task/29380/stat : 29380 (java) S 29373 29373 28986 0 -1 1077944384 3120 0 0 0 209 12 0 0 20 0 19 0 475245533 15790579712 203786 33554432000 4194304 4196468 140732115119680 140615421254288 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29381] ppid=29373 vsize=15420488 memory=1056 CPUtime=1.35 cores=1,3,5,7
/proc/29375/task/29381/stat : 29381 (java) S 29373 29373 28986 0 -1 1077944384 16062 0 0 0 120 15 0 0 20 0 19 0 475245534 15790579712 203786 33554432000 4194304 4196468 140732115119680 140614805977584 140615471803010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29382] ppid=29373 vsize=15420488 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29382/stat : 29382 (java) S 29373 29373 28986 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 475245535 15790579712 203786 33554432000 4194304 4196468 140732115119680 140614804923872 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29383] ppid=29373 vsize=15420488 memory=11632 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29383/stat : 29383 (java) S 29373 29373 28986 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 475245535 15790579712 203786 33554432000 4194304 4196468 140732115119680 140614803871232 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29384] ppid=29373 vsize=15420488 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29384/stat : 29384 (java) S 29373 29373 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475245537 15790579712 203786 33554432000 4194304 4196468 140732115119680 140614802819792 140615471810459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29385] ppid=29373 vsize=15420488 memory=1056 CPUtime=3.18 cores=1,3,5,7
/proc/29375/task/29385/stat : 29385 (java) S 29373 29373 28986 0 -1 1077944384 14836 0 0 0 317 1 0 0 20 0 19 0 475245537 15790579712 203786 33554432000 4194304 4196468 140732115119680 140614801766384 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29386] ppid=29373 vsize=15420488 memory=1556 CPUtime=2.63 cores=1,3,5,7
/proc/29375/task/29386/stat : 29386 (java) S 29373 29373 28986 0 -1 1077944384 13028 0 0 0 261 2 0 0 20 0 19 0 475245537 15790579712 203786 33554432000 4194304 4196468 140732115119680 140614800713840 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29387] ppid=29373 vsize=15420488 memory=11632 CPUtime=0.9 cores=1,3,5,7
/proc/29375/task/29387/stat : 29387 (java) S 29373 29373 28986 0 -1 1077944384 8664 0 0 0 88 2 0 0 20 0 19 0 475245537 15790579712 203786 33554432000 4194304 4196468 140732115119680 140614799661296 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29388] ppid=29373 vsize=15420488 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/29375/task/29388/stat : 29388 (java) S 29373 29373 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475245538 15790579712 203786 33554432000 4194304 4196468 140732115119680 140614798608992 140615471802069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29389] ppid=29373 vsize=15420488 memory=1088 CPUtime=0.25 cores=1,3,5,7
/proc/29375/task/29389/stat : 29389 (java) S 29373 29373 28986 0 -1 1077944384 492 0 0 0 17 8 0 0 20 0 19 0 475245539 15790579712 203786 33554432000 4194304 4196468 140732115119680 140614797556528 140615471803010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29406] ppid=29373 vsize=15420488 memory=988 CPUtime=596.03 cores=1,3,5,7
/proc/29375/task/29406/stat : 29406 (java) R 29373 29373 28986 0 -1 4202560 2859 0 0 0 59600 3 0 0 20 0 19 0 475245714 15790579712 203786 33554432000 4194304 4196468 140732115119680 140614784363784 140615453198121 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29407] ppid=29373 vsize=15420488 memory=1804 CPUtime=594.94 cores=1,3,5,7
/proc/29375/task/29407/stat : 29407 (java) R 29373 29373 28986 0 -1 4202560 3206 0 0 0 59489 5 0 0 20 0 19 0 475245715 15790579712 203786 33554432000 4194304 4196468 140732115119680 140614788574816 140615106957151 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29408] ppid=29373 vsize=15420488 memory=920 CPUtime=595.04 cores=1,3,5,7
/proc/29375/task/29408/stat : 29408 (java) R 29373 29373 28986 0 -1 4202560 4986 0 0 0 59500 4 0 0 20 0 19 0 475245715 15790579712 203786 33554432000 4194304 4196468 140732115119680 140614786469488 140615106486474 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
[pid=29375/tid=29409] ppid=29373 vsize=15420488 memory=3848 CPUtime=595.12 cores=1,3,5,7
/proc/29375/task/29409/stat : 29409 (java) R 29373 29373 28986 0 -1 4202560 3246 0 0 0 59508 4 0 0 20 0 19 0 475245715 15790579712 203786 33554432000 4194304 4196468 140732115119680 140614785420256 140615106885481 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19369984 140732115121115 140732115121290 140732115121290 140732115124175 0
Current children cumulated CPU time: 2400.15 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 816596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+606.132 s]
# the end of solver process 29373 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001125 s, system=0.001125 s
[startup+606.155 s]
# the end of solver process 29375 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.44 s, system=0.903611 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 606.155
CPU time (s): 2400.35
CPU user time (s): 2399.44
CPU system time (s): 0.903611
CPU usage (%): 395.996
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 976380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.44
system time used= 0.903611
maximum resident set size= 979944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97732
page faults= 0
swaps= 0
block input operations= 0
block output operations= 816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64715
involuntary context switches= 55651
# summary of solver processes directly reported to runsolver:
# pid: 29373,29375
# total CPU time (s): 2400.35
# total CPU user time (s): 2399.44
# total CPU system time (s): 0.903611
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.72922 second user time and 7.19356 second system time
The end