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 (14986 MiB free)
memory of node 1: 16384 MiB (15671 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398895-1568697968/watcher-4398895-1568697968 -o /tmp/evaluation-result-4398895-1568697968/solver-4398895-1568697968 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21538 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2126660980 HOME/instance-4398895-1568697968.xml
running on 4 cores: 1,3,5,7
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=24946, runsolver pid=24943
[startup+0.100079 s]*
/proc/loadavg: 8.48 8.52 8.22 7/234 24962
/proc/meminfo: memFree=31376788/32770624 swapFree=66977032/67108860
[pid=24946] ppid=24943 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24946/stat : 24946 (xcsp3-exec) S 24943 24946 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446059492 115843072 363 33554432000 4194304 5098028 140734694627872 140734694625976 139763269608060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20463616 140734694634362 140734694634605 140734694634605 140734694637514 0
/proc/24946/statm: 28282 363 304 221 0 87 0
[pid=24948] ppid=24946 vsize=15144776 memory=28920 CPUtime=0.13 cores=1,3,5,7
/proc/24948/stat : 24948 (java) S 24946 24946 21506 0 -1 1077944320 5697 0 0 0 12 1 0 0 20 0 15 0 446059492 15508250624 7230 33554432000 4194304 4196468 140731872053056 140731872035600 140214300008183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
/proc/24948/statm: 3786194 7230 3148 1 0 3748377 0
[pid=24948/tid=24949] ppid=24946 vsize=15144776 memory=7682489639022458387 CPUtime=0.08 cores=1,3,5,7
/proc/24948/task/24949/stat : 24949 (java) R 24946 24946 21506 0 -1 4202560 3566 0 0 0 8 0 0 0 20 0 15 0 446059493 15508250624 7230 33554432000 4194304 4196468 140731872053056 140214304229456 140214281957329 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24950] ppid=24946 vsize=15144776 memory=3472468844695958736 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24950/stat : 24950 (java) S 24946 24946 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446059493 15508250624 7230 33554432000 4194304 4196468 140731872053056 140214252628624 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24951] ppid=24946 vsize=15144776 memory=140715800807040 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24951/stat : 24951 (java) S 24946 24946 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446059493 15508250624 7230 33554432000 4194304 4196468 140731872053056 140214251575824 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24952] ppid=24946 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24952/stat : 24952 (java) S 24946 24946 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446059493 15508250624 7230 33554432000 4194304 4196468 140731872053056 140214250523024 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24953] ppid=24946 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24953/stat : 24953 (java) S 24946 24946 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446059493 15508250624 7230 33554432000 4194304 4196468 140731872053056 140214249470224 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24954] ppid=24946 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24954/stat : 24954 (java) S 24946 24946 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446059495 15508250624 7230 33554432000 4194304 4196468 140731872053056 140213768670064 140214300019330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24955] ppid=24946 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24955/stat : 24955 (java) S 24946 24946 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446059495 15508250624 7230 33554432000 4194304 4196468 140731872053056 140213767616032 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24956] ppid=24946 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24956/stat : 24956 (java) S 24946 24946 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446059495 15508250624 7230 33554432000 4194304 4196468 140731872053056 140213766563184 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24957] ppid=24946 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24957/stat : 24957 (java) S 24946 24946 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446059498 15508250624 7230 33554432000 4194304 4196468 140731872053056 140213765511504 140214300026779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24958] ppid=24946 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24958/stat : 24958 (java) R 24946 24946 21506 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 446059498 15508250624 7230 33554432000 4194304 4196468 140731872053056 140213764458864 140214300019330 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24959] ppid=24946 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24959/stat : 24959 (java) R 24946 24946 21506 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 15 0 446059498 15508250624 7230 33554432000 4194304 4196468 140731872053056 140213763406064 140214277252928 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24960] ppid=24946 vsize=15144776 memory=140715800807040 CPUtime=0.02 cores=1,3,5,7
/proc/24948/task/24960/stat : 24960 (java) R 24946 24946 21506 0 -1 4202560 369 0 0 0 2 0 0 0 20 0 15 0 446059498 15508250624 7230 33554432000 4194304 4196468 140731872053056 140213762353264 140214284088670 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24961] ppid=24946 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24961/stat : 24961 (java) S 24946 24946 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446059498 15508250624 7230 33554432000 4194304 4196468 140731872053056 140213761300704 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24962] ppid=24946 vsize=15144776 memory=140715800807040 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24962/stat : 24962 (java) S 24946 24946 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446059498 15508250624 7230 33554432000 4194304 4196468 140731872053056 140213760249008 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30372 KiB
[startup+0.210663 s]*
/proc/loadavg: 8.48 8.52 8.22 7/234 24962
/proc/meminfo: memFree=31352872/32770624 swapFree=66977032/67108860
[pid=24946] ppid=24943 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24946/stat : 24946 (xcsp3-exec) S 24943 24946 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446059492 115843072 363 33554432000 4194304 5098028 140734694627872 140734694625976 139763269608060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20463616 140734694634362 140734694634605 140734694634605 140734694637514 0
/proc/24946/statm: 28282 363 304 221 0 87 0
[pid=24948] ppid=24946 vsize=15144776 memory=40956 CPUtime=0.34 cores=1,3,5,7
/proc/24948/stat : 24948 (java) S 24946 24946 21506 0 -1 1077944320 9463 0 0 0 31 3 0 0 20 0 15 0 446059492 15508250624 10239 33554432000 4194304 4196468 140731872053056 140731872035600 140214300008183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
/proc/24948/statm: 3786194 10239 3317 1 0 3748377 0
[pid=24948/tid=24949] ppid=24946 vsize=15144776 memory=7682489639022458387 CPUtime=0.2 cores=1,3,5,7
/proc/24948/task/24949/stat : 24949 (java) R 24946 24946 21506 0 -1 4202560 6596 0 0 0 18 2 0 0 20 0 15 0 446059493 15508250624 10239 33554432000 4194304 4196468 140731872053056 140214304240912 140214300020118 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24950] ppid=24946 vsize=15144776 memory=3472468844695958736 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24950/stat : 24950 (java) S 24946 24946 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446059493 15508250624 10239 33554432000 4194304 4196468 140731872053056 140214252628624 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24951] ppid=24946 vsize=15144776 memory=140715800807040 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24951/stat : 24951 (java) S 24946 24946 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446059493 15508250624 10239 33554432000 4194304 4196468 140731872053056 140214251575824 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24952] ppid=24946 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24952/stat : 24952 (java) S 24946 24946 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446059493 15508250624 10239 33554432000 4194304 4196468 140731872053056 140214250523024 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24953] ppid=24946 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24953/stat : 24953 (java) S 24946 24946 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446059493 15508250624 10239 33554432000 4194304 4196468 140731872053056 140214249470224 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24954] ppid=24946 vsize=15144776 memory=140715800807040 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24954/stat : 24954 (java) S 24946 24946 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446059495 15508250624 10239 33554432000 4194304 4196468 140731872053056 140213768670064 140214300019330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24955] ppid=24946 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24955/stat : 24955 (java) S 24946 24946 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446059495 15508250624 10239 33554432000 4194304 4196468 140731872053056 140213767616032 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24956] ppid=24946 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24956/stat : 24956 (java) S 24946 24946 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446059495 15508250624 10239 33554432000 4194304 4196468 140731872053056 140213766563184 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24957] ppid=24946 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24957/stat : 24957 (java) S 24946 24946 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446059498 15508250624 10239 33554432000 4194304 4196468 140731872053056 140213765511504 140214300026779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24958] ppid=24946 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/24948/task/24958/stat : 24958 (java) S 24946 24946 21506 0 -1 1077944384 477 0 0 0 1 0 0 0 20 0 15 0 446059498 15508250624 10239 33554432000 4194304 4196468 140731872053056 140213764458864 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24959] ppid=24946 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24948/task/24959/stat : 24959 (java) S 24946 24946 21506 0 -1 1077944384 299 0 0 0 2 0 0 0 20 0 15 0 446059498 15508250624 10239 33554432000 4194304 4196468 140731872053056 140213763406064 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24960] ppid=24946 vsize=15144776 memory=140715800807040 CPUtime=0.07 cores=1,3,5,7
/proc/24948/task/24960/stat : 24960 (java) R 24946 24946 21506 0 -1 4202560 783 0 0 0 7 0 0 0 20 0 15 0 446059498 15508250624 10239 33554432000 4194304 4196468 140731872053056 140213762353072 140214278647692 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24961] ppid=24946 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24961/stat : 24961 (java) S 24946 24946 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446059498 15508250624 10239 33554432000 4194304 4196468 140731872053056 140213761300704 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24962] ppid=24946 vsize=15144776 memory=140715800807040 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24962/stat : 24962 (java) S 24946 24946 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446059498 15508250624 10239 33554432000 4194304 4196468 140731872053056 140213760249008 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42408 KiB
[startup+0.318927 s]*
/proc/loadavg: 8.48 8.52 8.22 7/234 24962
/proc/meminfo: memFree=31349172/32770624 swapFree=66977032/67108860
[pid=24946] ppid=24943 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24946/stat : 24946 (xcsp3-exec) S 24943 24946 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446059492 115843072 363 33554432000 4194304 5098028 140734694627872 140734694625976 139763269608060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20463616 140734694634362 140734694634605 140734694634605 140734694637514 0
/proc/24946/statm: 28282 363 304 221 0 87 0
[pid=24948] ppid=24946 vsize=15149032 memory=50220 CPUtime=0.54 cores=1,3,5,7
/proc/24948/stat : 24948 (java) S 24946 24946 21506 0 -1 1077944320 10942 0 0 0 50 4 0 0 20 0 15 0 446059492 15512608768 12555 33554432000 4194304 4196468 140731872053056 140731872035600 140214300008183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
/proc/24948/statm: 3787258 12555 3355 1 0 3748377 0
[pid=24948/tid=24949] ppid=24946 vsize=15149032 memory=-8439527450518781933 CPUtime=0.31 cores=1,3,5,7
/proc/24948/task/24949/stat : 24949 (java) D 24946 24946 21506 0 -1 4202560 7852 0 0 0 28 3 0 0 20 0 15 0 446059493 15512608768 12555 33554432000 4194304 4196468 140731872053056 140214304247936 140214300030109 0 4 0 16800975 18446744072100220037 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24950] ppid=24946 vsize=15149032 memory=3472468844695958736 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24950/stat : 24950 (java) S 24946 24946 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446059493 15512608768 12555 33554432000 4194304 4196468 140731872053056 140214252628624 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24951] ppid=24946 vsize=15149032 memory=281431478892928 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24951/stat : 24951 (java) S 24946 24946 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446059493 15512608768 12555 33554432000 4194304 4196468 140731872053056 140214251575824 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24952] ppid=24946 vsize=15149032 memory=281431356204064 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24952/stat : 24952 (java) S 24946 24946 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446059493 15512608768 12555 33554432000 4194304 4196468 140731872053056 140214250523024 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24953] ppid=24946 vsize=15149032 memory=140715678085903 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24953/stat : 24953 (java) S 24946 24946 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446059493 15512608768 12555 33554432000 4194304 4196468 140731872053056 140214249470224 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24954] ppid=24946 vsize=15149032 memory=281431478899840 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24954/stat : 24954 (java) S 24946 24946 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446059495 15512608768 12555 33554432000 4194304 4196468 140731872053056 140213768670064 140214300019330 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24955] ppid=24946 vsize=15149032 memory=140715678090511 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24955/stat : 24955 (java) S 24946 24946 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446059495 15512608768 12555 33554432000 4194304 4196468 140731872053056 140213767616032 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24956] ppid=24946 vsize=15149032 memory=140715678114354 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24956/stat : 24956 (java) S 24946 24946 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446059495 15512608768 12555 33554432000 4194304 4196468 140731872053056 140213766563184 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24957] ppid=24946 vsize=15149032 memory=140715678119859 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24957/stat : 24957 (java) S 24946 24946 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446059498 15512608768 12555 33554432000 4194304 4196468 140731872053056 140213765511504 140214300026779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24958] ppid=24946 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/24948/task/24958/stat : 24958 (java) S 24946 24946 21506 0 -1 1077944384 584 0 0 0 4 0 0 0 20 0 15 0 446059498 15512608768 12555 33554432000 4194304 4196468 140731872053056 140213764458864 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24959] ppid=24946 vsize=15149032 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/24948/task/24959/stat : 24959 (java) S 24946 24946 21506 0 -1 1077944384 320 0 0 0 4 0 0 0 20 0 15 0 446059498 15512608768 12555 33554432000 4194304 4196468 140731872053056 140213763406064 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24960] ppid=24946 vsize=15149032 memory=140715800807040 CPUtime=0.12 cores=1,3,5,7
/proc/24948/task/24960/stat : 24960 (java) S 24946 24946 21506 0 -1 1077944384 878 0 0 0 12 0 0 0 20 0 15 0 446059498 15512608768 12555 33554432000 4194304 4196468 140731872053056 140213762353264 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24961] ppid=24946 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24961/stat : 24961 (java) S 24946 24946 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446059498 15512608768 12555 33554432000 4194304 4196468 140731872053056 140213761300704 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24962] ppid=24946 vsize=15149032 memory=140715800808492 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24962/stat : 24962 (java) S 24946 24946 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446059498 15512608768 12555 33554432000 4194304 4196468 140731872053056 140213760249008 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51672 KiB
[startup+0.700774 s]
/proc/loadavg: 8.48 8.52 8.22 7/234 24962
/proc/meminfo: memFree=31344980/32770624 swapFree=66977032/67108860
[pid=24946] ppid=24943 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24946/stat : 24946 (xcsp3-exec) S 24943 24946 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446059492 115843072 363 33554432000 4194304 5098028 140734694627872 140734694625976 139763269608060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20463616 140734694634362 140734694634605 140734694634605 140734694637514 0
/proc/24946/statm: 28282 363 304 221 0 87 0
[pid=24948] ppid=24946 vsize=15151156 memory=78928 CPUtime=1.38 cores=1,3,5,7
/proc/24948/stat : 24948 (java) S 24946 24946 21506 0 -1 1077944320 13910 0 0 0 132 6 0 0 20 0 15 0 446059492 15514783744 19732 33554432000 4194304 4196468 140731872053056 140731872035600 140214300008183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
/proc/24948/statm: 3787789 19732 3447 1 0 3748889 0
[pid=24948/tid=24949] ppid=24946 vsize=15151156 memory=7882800638288482663 CPUtime=0.57 cores=1,3,5,7
/proc/24948/task/24949/stat : 24949 (java) R 24946 24946 21506 0 -1 4202560 8437 0 0 0 53 4 0 0 20 0 15 0 446059493 15514783744 19732 33554432000 4194304 4196468 140731872053056 140214304246560 140214300030109 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24950] ppid=24946 vsize=15151156 memory=7740951466249179473 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24950/stat : 24950 (java) S 24946 24946 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446059493 15514783744 19732 33554432000 4194304 4196468 140731872053056 140214252628624 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24951] ppid=24946 vsize=15151156 memory=7453282923495516522 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24951/stat : 24951 (java) S 24946 24946 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446059493 15514783744 19732 33554432000 4194304 4196468 140731872053056 140214251575824 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24952] ppid=24946 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24952/stat : 24952 (java) S 24946 24946 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446059493 15514783744 19732 33554432000 4194304 4196468 140731872053056 140214250523024 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24953] ppid=24946 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24953/stat : 24953 (java) S 24946 24946 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446059493 15514783744 19732 33554432000 4194304 4196468 140731872053056 140214249470224 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24954] ppid=24946 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24954/stat : 24954 (java) S 24946 24946 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446059495 15514783744 19732 33554432000 4194304 4196468 140731872053056 140213768670064 140214300019330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24955] ppid=24946 vsize=15151156 memory=756 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24955/stat : 24955 (java) S 24946 24946 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446059495 15514783744 19732 33554432000 4194304 4196468 140731872053056 140213767616032 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24956] ppid=24946 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24956/stat : 24956 (java) S 24946 24946 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446059495 15514783744 19732 33554432000 4194304 4196468 140731872053056 140213766563184 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24957] ppid=24946 vsize=15151156 memory=7872 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24957/stat : 24957 (java) S 24946 24946 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446059498 15514783744 19732 33554432000 4194304 4196468 140731872053056 140213765511504 140214300026779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24958] ppid=24946 vsize=15151156 memory=1164 CPUtime=0.26 cores=1,3,5,7
/proc/24948/task/24958/stat : 24958 (java) R 24946 24946 21506 0 -1 4202560 1576 0 0 0 26 0 0 0 20 0 15 0 446059498 15514783744 19732 33554432000 4194304 4196468 140731872053056 140213764445936 140214280709847 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24959] ppid=24946 vsize=15151156 memory=9448 CPUtime=0.2 cores=1,3,5,7
/proc/24948/task/24959/stat : 24959 (java) R 24946 24946 21506 0 -1 4202560 933 0 0 0 20 0 0 0 20 0 15 0 446059498 15514783744 19732 33554432000 4194304 4196468 140731872053056 140213763397520 140214283494121 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24960] ppid=24946 vsize=15151156 memory=14008 CPUtime=0.32 cores=1,3,5,7
/proc/24948/task/24960/stat : 24960 (java) S 24946 24946 21506 0 -1 1077944384 1660 0 0 0 31 1 0 0 20 0 15 0 446059498 15514783744 19732 33554432000 4194304 4196468 140731872053056 140213762353264 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24961] ppid=24946 vsize=15151156 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24961/stat : 24961 (java) S 24946 24946 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446059498 15514783744 19732 33554432000 4194304 4196468 140731872053056 140213761300704 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24962] ppid=24946 vsize=15151156 memory=11976 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24962/stat : 24962 (java) S 24946 24946 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446059498 15514783744 19732 33554432000 4194304 4196468 140731872053056 140213760249008 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 80380 KiB
[startup+1.50093 s]
/proc/loadavg: 8.48 8.52 8.22 9/234 24962
/proc/meminfo: memFree=31280600/32770624 swapFree=66977032/67108860
[pid=24946] ppid=24943 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24946/stat : 24946 (xcsp3-exec) S 24943 24946 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446059492 115843072 363 33554432000 4194304 5098028 140734694627872 140734694625976 139763269608060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20463616 140734694634362 140734694634605 140734694634605 140734694637514 0
/proc/24946/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/24948/stat : 24948 (java) S 24946 24946 21506 0 -1 1077944320 79807 0 0 0 231515 49 0 0 20 0 19 0 446059492 15789527040 79700 33554432000 4194304 4196468 140731872053056 140731872035600 140214300008183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
/proc/24948/statm: 3854865 79700 3531 1 0 3815965 0
[pid=24948/tid=24949] ppid=24946 vsize=15419460 memory=312656 CPUtime=1.04 cores=1,3,5,7
/proc/24948/task/24949/stat : 24949 (java) S 24946 24946 21506 0 -1 1077944384 10941 0 0 0 98 6 0 0 20 0 19 0 446059493 15789527040 79700 33554432000 4194304 4196468 140731872053056 140214304248960 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24950] ppid=24946 vsize=15419460 memory=312656 CPUtime=0.42 cores=1,3,5,7
/proc/24948/task/24950/stat : 24950 (java) S 24946 24946 21506 0 -1 1077944384 3168 0 0 0 37 5 0 0 20 0 19 0 446059493 15789527040 79700 33554432000 4194304 4196468 140731872053056 140214252628624 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24951] ppid=24946 vsize=15419460 memory=1452 CPUtime=0.41 cores=1,3,5,7
/proc/24948/task/24951/stat : 24951 (java) S 24946 24946 21506 0 -1 1077944384 1235 0 0 0 36 5 0 0 20 0 19 0 446059493 15789527040 79700 33554432000 4194304 4196468 140731872053056 140214251575824 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24952] ppid=24946 vsize=15419460 memory=312656 CPUtime=0.4 cores=1,3,5,7
/proc/24948/task/24952/stat : 24952 (java) S 24946 24946 21506 0 -1 1077944384 4268 0 0 0 35 5 0 0 20 0 19 0 446059493 15789527040 79700 33554432000 4194304 4196468 140731872053056 140214250523024 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24953] ppid=24946 vsize=15419460 memory=312656 CPUtime=0.4 cores=1,3,5,7
/proc/24948/task/24953/stat : 24953 (java) S 24946 24946 21506 0 -1 1077944384 1488 0 0 0 35 5 0 0 20 0 19 0 446059493 15789527040 79700 33554432000 4194304 4196468 140731872053056 140214249470224 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24954] ppid=24946 vsize=15419460 memory=312656 CPUtime=0.26 cores=1,3,5,7
/proc/24948/task/24954/stat : 24954 (java) S 24946 24946 21506 0 -1 1077944384 2602 0 0 0 14 12 0 0 20 0 19 0 446059495 15789527040 79700 33554432000 4194304 4196468 140731872053056 140213768670064 140214300019330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24955] ppid=24946 vsize=15419460 memory=312656 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24955/stat : 24955 (java) S 24946 24946 21506 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 446059495 15789527040 79700 33554432000 4194304 4196468 140731872053056 140213767616096 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24956] ppid=24946 vsize=15419460 memory=318800 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24956/stat : 24956 (java) S 24946 24946 21506 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 19 0 446059495 15789527040 79700 33554432000 4194304 4196468 140731872053056 140213766563200 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24957] ppid=24946 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24957/stat : 24957 (java) S 24946 24946 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446059498 15789527040 79700 33554432000 4194304 4196468 140731872053056 140213765511504 140214300026779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24958] ppid=24946 vsize=15419460 memory=314704 CPUtime=2.83 cores=1,3,5,7
/proc/24948/task/24958/stat : 24958 (java) S 24946 24946 21506 0 -1 1077944384 15759 0 0 0 282 1 0 0 20 0 19 0 446059498 15789527040 79700 33554432000 4194304 4196468 140731872053056 140213764458864 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24959] ppid=24946 vsize=15419460 memory=314704 CPUtime=3.06 cores=1,3,5,7
/proc/24948/task/24959/stat : 24959 (java) S 24946 24946 21506 0 -1 1077944384 20067 0 0 0 304 2 0 0 20 0 19 0 446059498 15789527040 79700 33554432000 4194304 4196468 140731872053056 140213763406064 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24960] ppid=24946 vsize=15419460 memory=1452 CPUtime=0.84 cores=1,3,5,7
/proc/24948/task/24960/stat : 24960 (java) S 24946 24946 21506 0 -1 1077944384 10692 0 0 0 83 1 0 0 20 0 19 0 446059498 15789527040 79700 33554432000 4194304 4196468 140731872053056 140213762353264 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24961] ppid=24946 vsize=15419460 memory=318800 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24961/stat : 24961 (java) S 24946 24946 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446059498 15789527040 79700 33554432000 4194304 4196468 140731872053056 140213761300704 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24962] ppid=24946 vsize=15419460 memory=3620 CPUtime=0.15 cores=1,3,5,7
/proc/24948/task/24962/stat : 24962 (java) S 24946 24946 21506 0 -1 1077944384 554 0 0 0 15 0 0 0 20 0 19 0 446059498 15789527040 79700 33554432000 4194304 4196468 140731872053056 140213760249008 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24963] ppid=24946 vsize=15419460 memory=30672 CPUtime=576.62 cores=1,3,5,7
/proc/24948/task/24963/stat : 24963 (java) R 24946 24946 21506 0 -1 4202560 1429 0 0 0 57662 0 0 0 20 0 19 0 446059611 15789527040 79700 33554432000 4194304 4196468 140731872053056 140213751029000 140213931227244 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24964] ppid=24946 vsize=15419460 memory=1452 CPUtime=575.62 cores=1,3,5,7
/proc/24948/task/24964/stat : 24964 (java) R 24946 24946 21506 0 -1 4202560 3137 0 0 0 57559 3 0 0 20 0 19 0 446059611 15789527040 79700 33554432000 4194304 4196468 140731872053056 140213749977272 140213928763734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24965] ppid=24946 vsize=15419460 memory=314704 CPUtime=576.71 cores=1,3,5,7
/proc/24948/task/24965/stat : 24965 (java) R 24946 24946 21506 0 -1 4202560 777 0 0 0 57669 2 0 0 20 0 19 0 446059611 15789527040 79700 33554432000 4194304 4196468 140731872053056 140213748924272 140213929625679 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24966] ppid=24946 vsize=15419460 memory=1452 CPUtime=576.73 cores=1,3,5,7
/proc/24948/task/24966/stat : 24966 (java) R 24946 24946 21506 0 -1 4202560 2294 0 0 0 57673 0 0 0 20 0 19 0 446059611 15789527040 79700 33554432000 4194304 4196468 140731872053056 140213747874400 140213929625387 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
Current children cumulated CPU time: 2315.64 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 320252 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.701 s]
/proc/loadavg: 8.76 8.48 8.34 9/238 26497
/proc/meminfo: memFree=31003024/32770624 swapFree=66977056/67108860
[pid=24946] ppid=24943 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24946/stat : 24946 (xcsp3-exec) S 24943 24946 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446059492 115843072 363 33554432000 4194304 5098028 140734694627872 140734694625976 139763269608060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20463616 140734694634362 140734694634605 140734694634605 140734694637514 0
/proc/24946/statm: 28282 363 304 221 0 87 0
[pid=24948] ppid=24946 vsize=15419460 memory=329040 CPUtime=2520.25 cores=1,3,5,7
/proc/24948/stat : 24948 (java) S 24946 24946 21506 0 -1 1077944320 81165 0 0 0 251975 50 0 0 20 0 19 0 446059492 15789527040 82260 33554432000 4194304 4196468 140731872053056 140731872035600 140214300008183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
/proc/24948/statm: 3854865 82260 3531 1 0 3815965 0
[pid=24948/tid=24949] ppid=24946 vsize=15419460 memory=1452 CPUtime=1.04 cores=1,3,5,7
/proc/24948/task/24949/stat : 24949 (java) S 24946 24946 21506 0 -1 1077944384 10941 0 0 0 98 6 0 0 20 0 19 0 446059493 15789527040 82260 33554432000 4194304 4196468 140731872053056 140214304248960 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24950] ppid=24946 vsize=15419460 memory=329040 CPUtime=0.44 cores=1,3,5,7
/proc/24948/task/24950/stat : 24950 (java) S 24946 24946 21506 0 -1 1077944384 3640 0 0 0 39 5 0 0 20 0 19 0 446059493 15789527040 82260 33554432000 4194304 4196468 140731872053056 140214252628624 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24951] ppid=24946 vsize=15419460 memory=1452 CPUtime=0.43 cores=1,3,5,7
/proc/24948/task/24951/stat : 24951 (java) S 24946 24946 21506 0 -1 1077944384 1304 0 0 0 38 5 0 0 20 0 19 0 446059493 15789527040 82260 33554432000 4194304 4196468 140731872053056 140214251575824 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24952] ppid=24946 vsize=15419460 memory=329040 CPUtime=0.44 cores=1,3,5,7
/proc/24948/task/24952/stat : 24952 (java) S 24946 24946 21506 0 -1 1077944384 4348 0 0 0 38 6 0 0 20 0 19 0 446059493 15789527040 82260 33554432000 4194304 4196468 140731872053056 140214250523024 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24953] ppid=24946 vsize=15419460 memory=326992 CPUtime=0.43 cores=1,3,5,7
/proc/24948/task/24953/stat : 24953 (java) S 24946 24946 21506 0 -1 1077944384 1599 0 0 0 38 5 0 0 20 0 19 0 446059493 15789527040 82260 33554432000 4194304 4196468 140731872053056 140214249470224 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24954] ppid=24946 vsize=15419460 memory=326992 CPUtime=0.29 cores=1,3,5,7
/proc/24948/task/24954/stat : 24954 (java) S 24946 24946 21506 0 -1 1077944384 2797 0 0 0 16 13 0 0 20 0 19 0 446059495 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213768670064 140214300019330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24955] ppid=24946 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24955/stat : 24955 (java) S 24946 24946 21506 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 446059495 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213767616096 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24956] ppid=24946 vsize=15419460 memory=329040 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24956/stat : 24956 (java) S 24946 24946 21506 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 19 0 446059495 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213766563200 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24957] ppid=24946 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24957/stat : 24957 (java) S 24946 24946 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446059498 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213765511504 140214300026779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24958] ppid=24946 vsize=15419460 memory=329040 CPUtime=2.83 cores=1,3,5,7
/proc/24948/task/24958/stat : 24958 (java) S 24946 24946 21506 0 -1 1077944384 15761 0 0 0 282 1 0 0 20 0 19 0 446059498 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213764458864 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24959] ppid=24946 vsize=15419460 memory=329040 CPUtime=3.06 cores=1,3,5,7
/proc/24948/task/24959/stat : 24959 (java) S 24946 24946 21506 0 -1 1077944384 20069 0 0 0 304 2 0 0 20 0 19 0 446059498 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213763406064 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24960] ppid=24946 vsize=15419460 memory=1564 CPUtime=0.84 cores=1,3,5,7
/proc/24948/task/24960/stat : 24960 (java) S 24946 24946 21506 0 -1 1077944384 10694 0 0 0 83 1 0 0 20 0 19 0 446059498 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213762353264 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24961] ppid=24946 vsize=15419460 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24961/stat : 24961 (java) S 24946 24946 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446059498 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213761300704 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24962] ppid=24946 vsize=15419460 memory=1324 CPUtime=0.16 cores=1,3,5,7
/proc/24948/task/24962/stat : 24962 (java) S 24946 24946 21506 0 -1 1077944384 573 0 0 0 16 0 0 0 20 0 19 0 446059498 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213760249008 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24963] ppid=24946 vsize=15419460 memory=329040 CPUtime=627.85 cores=1,3,5,7
/proc/24948/task/24963/stat : 24963 (java) R 24946 24946 21506 0 -1 4202560 1490 0 0 0 62784 1 0 0 20 0 19 0 446059611 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213751028752 140213931222000 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24964] ppid=24946 vsize=15419460 memory=3620 CPUtime=626.71 cores=1,3,5,7
/proc/24948/task/24964/stat : 24964 (java) R 24946 24946 21506 0 -1 4202560 3262 0 0 0 62668 3 0 0 20 0 19 0 446059611 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213749980176 140213928466627 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24965] ppid=24946 vsize=15419460 memory=1452 CPUtime=627.78 cores=1,3,5,7
/proc/24948/task/24965/stat : 24965 (java) R 24946 24946 21506 0 -1 4202560 798 0 0 0 62776 2 0 0 20 0 19 0 446059611 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213748924520 140213928466714 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24966] ppid=24946 vsize=15419460 memory=1452 CPUtime=627.83 cores=1,3,5,7
/proc/24948/task/24966/stat : 24966 (java) R 24946 24946 21506 0 -1 4202560 2493 0 0 0 62783 0 0 0 20 0 19 0 446059611 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213747871816 140213928334022 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
Current children cumulated CPU time: 2520.25 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 330492 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.723 s]
# the end of solver process 24946 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001566 s, system=0.000783 s
[startup+633.765 s]
# the end of solver process 24948 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520 s, system=0.510841 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+633.701 s]
/proc/loadavg: 8.76 8.48 8.34 9/238 26497
/proc/meminfo: memFree=31003024/32770624 swapFree=66977056/67108860
[pid=24946] ppid=24943 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24946/stat : 24946 (xcsp3-exec) S 24943 24946 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446059492 115843072 363 33554432000 4194304 5098028 140734694627872 140734694625976 139763269608060 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20463616 140734694634362 140734694634605 140734694634605 140734694637514 0
/proc/24946/statm: 28282 363 304 221 0 87 0
[pid=24948] ppid=24946 vsize=15419460 memory=329040 CPUtime=2520.25 cores=1,3,5,7
/proc/24948/stat : 24948 (java) S 24946 24946 21506 0 -1 1077944320 81165 0 0 0 251975 50 0 0 20 0 19 0 446059492 15789527040 82260 33554432000 4194304 4196468 140731872053056 140731872035600 140214300008183 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
/proc/24948/statm: 3854865 82260 3531 1 0 3815965 0
[pid=24948/tid=24949] ppid=24946 vsize=15419460 memory=1452 CPUtime=1.04 cores=1,3,5,7
/proc/24948/task/24949/stat : 24949 (java) S 24946 24946 21506 0 -1 1077944384 10941 0 0 0 98 6 0 0 20 0 19 0 446059493 15789527040 82260 33554432000 4194304 4196468 140731872053056 140214304248960 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24950] ppid=24946 vsize=15419460 memory=329040 CPUtime=0.44 cores=1,3,5,7
/proc/24948/task/24950/stat : 24950 (java) S 24946 24946 21506 0 -1 1077944384 3640 0 0 0 39 5 0 0 20 0 19 0 446059493 15789527040 82260 33554432000 4194304 4196468 140731872053056 140214252628624 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24951] ppid=24946 vsize=15419460 memory=1452 CPUtime=0.43 cores=1,3,5,7
/proc/24948/task/24951/stat : 24951 (java) S 24946 24946 21506 0 -1 1077944384 1304 0 0 0 38 5 0 0 20 0 19 0 446059493 15789527040 82260 33554432000 4194304 4196468 140731872053056 140214251575824 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24952] ppid=24946 vsize=15419460 memory=329040 CPUtime=0.44 cores=1,3,5,7
/proc/24948/task/24952/stat : 24952 (java) S 24946 24946 21506 0 -1 1077944384 4348 0 0 0 38 6 0 0 20 0 19 0 446059493 15789527040 82260 33554432000 4194304 4196468 140731872053056 140214250523024 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24953] ppid=24946 vsize=15419460 memory=326992 CPUtime=0.43 cores=1,3,5,7
/proc/24948/task/24953/stat : 24953 (java) S 24946 24946 21506 0 -1 1077944384 1599 0 0 0 38 5 0 0 20 0 19 0 446059493 15789527040 82260 33554432000 4194304 4196468 140731872053056 140214249470224 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24954] ppid=24946 vsize=15419460 memory=326992 CPUtime=0.29 cores=1,3,5,7
/proc/24948/task/24954/stat : 24954 (java) S 24946 24946 21506 0 -1 1077944384 2797 0 0 0 16 13 0 0 20 0 19 0 446059495 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213768670064 140214300019330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24955] ppid=24946 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24955/stat : 24955 (java) S 24946 24946 21506 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 446059495 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213767616096 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24956] ppid=24946 vsize=15419460 memory=329040 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24956/stat : 24956 (java) S 24946 24946 21506 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 19 0 446059495 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213766563200 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24957] ppid=24946 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24957/stat : 24957 (java) S 24946 24946 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446059498 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213765511504 140214300026779 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24958] ppid=24946 vsize=15419460 memory=329040 CPUtime=2.83 cores=1,3,5,7
/proc/24948/task/24958/stat : 24958 (java) S 24946 24946 21506 0 -1 1077944384 15761 0 0 0 282 1 0 0 20 0 19 0 446059498 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213764458864 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24959] ppid=24946 vsize=15419460 memory=329040 CPUtime=3.06 cores=1,3,5,7
/proc/24948/task/24959/stat : 24959 (java) S 24946 24946 21506 0 -1 1077944384 20069 0 0 0 304 2 0 0 20 0 19 0 446059498 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213763406064 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24960] ppid=24946 vsize=15419460 memory=1564 CPUtime=0.84 cores=1,3,5,7
/proc/24948/task/24960/stat : 24960 (java) S 24946 24946 21506 0 -1 1077944384 10694 0 0 0 83 1 0 0 20 0 19 0 446059498 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213762353264 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24961] ppid=24946 vsize=15419460 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/24948/task/24961/stat : 24961 (java) S 24946 24946 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446059498 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213761300704 140214300018389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24962] ppid=24946 vsize=15419460 memory=1324 CPUtime=0.16 cores=1,3,5,7
/proc/24948/task/24962/stat : 24962 (java) S 24946 24946 21506 0 -1 1077944384 573 0 0 0 16 0 0 0 20 0 19 0 446059498 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213760249008 140214300019330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24963] ppid=24946 vsize=15419460 memory=329040 CPUtime=627.85 cores=1,3,5,7
/proc/24948/task/24963/stat : 24963 (java) R 24946 24946 21506 0 -1 4202560 1490 0 0 0 62784 1 0 0 20 0 19 0 446059611 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213751028752 140213931222000 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24964] ppid=24946 vsize=15419460 memory=3620 CPUtime=626.71 cores=1,3,5,7
/proc/24948/task/24964/stat : 24964 (java) R 24946 24946 21506 0 -1 4202560 3262 0 0 0 62668 3 0 0 20 0 19 0 446059611 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213749980176 140213928466627 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24965] ppid=24946 vsize=15419460 memory=1452 CPUtime=627.78 cores=1,3,5,7
/proc/24948/task/24965/stat : 24965 (java) R 24946 24946 21506 0 -1 4202560 798 0 0 0 62776 2 0 0 20 0 19 0 446059611 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213748924520 140213928466714 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
[pid=24948/tid=24966] ppid=24946 vsize=15419460 memory=1452 CPUtime=627.83 cores=1,3,5,7
/proc/24948/task/24966/stat : 24966 (java) R 24946 24946 21506 0 -1 4202560 2493 0 0 0 62783 0 0 0 20 0 19 0 446059611 15789527040 82260 33554432000 4194304 4196468 140731872053056 140213747871816 140213928334022 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731872056303 140731872056474 140731872056474 140731872059343 0
Current children cumulated CPU time: 2520.25 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 330492 KiB
Child status: 143
Real time (s): 633.765
CPU time (s): 2520.51
CPU user time (s): 2520
CPU system time (s): 0.510841
CPU usage (%): 397.704
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 330492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520
system time used= 0.510841
maximum resident set size= 329600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82011
page faults= 0
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22014
involuntary context switches= 43836
# summary of solver processes directly reported to runsolver:
# pid: 24946,24948
# total CPU time (s): 2520.51
# total CPU user time (s): 2520
# total CPU system time (s): 0.510841
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.89832 second user time and 6.96866 second system time
The end