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 (13349 MiB free)
memory of node 1: 16384 MiB (11092 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405828-1569412424/watcher-4405828-1569412424 -o /var/tmp/evaluation-result-4405828-1569412424/solver-4405828-1569412424 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1569396629-25936 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1898939242 HOME/instance-4405828-1569412424.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30051, runsolver pid=30048
Current StackSize limit: 8192 KiB
[startup+0.100401 s]*
/proc/loadavg: 1.47 1.65 1.61 4/229 30067
/proc/meminfo: memFree=25012696/32770624 swapFree=66953520/67108860
[pid=30051] ppid=30048 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30051/stat : 30051 (xcsp3-exec) S 30048 30051 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517157164 115843072 363 33554432000 4194304 5098028 140731537584272 140731537582376 140514686874236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35696640 140731537593174 140731537593433 140731537593433 140731537596358 0
/proc/30051/statm: 28282 363 304 221 0 87 0
[pid=30053] ppid=30051 vsize=15144776 memory=28600 CPUtime=0.12 cores=0,2,4,6
/proc/30053/stat : 30053 (java) S 30051 30051 25905 0 -1 1077944320 5625 0 0 0 11 1 0 0 20 0 15 0 517157165 15508250624 7150 33554432000 4194304 4196468 140721907257680 140721907240224 140499235659511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
/proc/30053/statm: 3786194 7150 3143 1 0 3748377 0
[pid=30053/tid=30054] ppid=30051 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/30053/task/30054/stat : 30054 (java) R 30051 30051 25905 0 -1 4202560 3546 0 0 0 8 1 0 0 20 0 15 0 517157165 15508250624 7150 33554432000 4194304 4196468 140721907257680 140499239893160 140499227896638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30055] ppid=30051 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30055/stat : 30055 (java) S 30051 30051 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517157166 15508250624 7150 33554432000 4194304 4196468 140721907257680 140499188279824 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30056] ppid=30051 vsize=15144776 memory=140205976061568 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30056/stat : 30056 (java) S 30051 30051 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517157166 15508250624 7150 33554432000 4194304 4196468 140721907257680 140499187227280 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30057] ppid=30051 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30057/stat : 30057 (java) S 30051 30051 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517157166 15508250624 7150 33554432000 4194304 4196468 140721907257680 140499186174224 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30058] ppid=30051 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30058/stat : 30058 (java) S 30051 30051 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517157166 15508250624 7150 33554432000 4194304 4196468 140721907257680 140498825042320 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30059] ppid=30051 vsize=15144776 memory=140205976061568 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30059/stat : 30059 (java) S 30051 30051 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517157167 15508250624 7150 33554432000 4194304 4196468 140721907257680 140498704214768 140499235670658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30060] ppid=30051 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30060/stat : 30060 (java) S 30051 30051 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517157167 15508250624 7150 33554432000 4194304 4196468 140721907257680 140498703160992 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30061] ppid=30051 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30061/stat : 30061 (java) S 30051 30051 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517157168 15508250624 7150 33554432000 4194304 4196468 140721907257680 140498702107888 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30062] ppid=30051 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30062/stat : 30062 (java) S 30051 30051 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517157170 15508250624 7150 33554432000 4194304 4196468 140721907257680 140498701056464 140499235678107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30063] ppid=30051 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30063/stat : 30063 (java) S 30051 30051 25905 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 517157170 15508250624 7150 33554432000 4194304 4196468 140721907257680 140498700003568 140499235670658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30064] ppid=30051 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30064/stat : 30064 (java) R 30051 30051 25905 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 15 0 517157170 15508250624 7150 33554432000 4194304 4196468 140721907257680 140498698951320 140499221325664 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30065] ppid=30051 vsize=15144776 memory=140205976061568 CPUtime=0.02 cores=0,2,4,6
/proc/30053/task/30065/stat : 30065 (java) R 30051 30051 25905 0 -1 4202560 329 0 0 0 2 0 0 0 20 0 15 0 517157170 15508250624 7150 33554432000 4194304 4196468 140721907257680 140498697898096 140499220825159 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30066] ppid=30051 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30066/stat : 30066 (java) S 30051 30051 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517157170 15508250624 7150 33554432000 4194304 4196468 140721907257680 140498696845664 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30067] ppid=30051 vsize=15144776 memory=140205976061568 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30067/stat : 30067 (java) S 30051 30051 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517157170 15508250624 7150 33554432000 4194304 4196468 140721907257680 140498695793712 140499235670658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30052 KiB
[startup+0.210668 s]*
/proc/loadavg: 1.47 1.65 1.61 4/229 30067
/proc/meminfo: memFree=24999996/32770624 swapFree=66953520/67108860
[pid=30051] ppid=30048 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30051/stat : 30051 (xcsp3-exec) S 30048 30051 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517157164 115843072 363 33554432000 4194304 5098028 140731537584272 140731537582376 140514686874236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35696640 140731537593174 140731537593433 140731537593433 140731537596358 0
/proc/30051/statm: 28282 363 304 221 0 87 0
[pid=30053] ppid=30051 vsize=15144776 memory=40460 CPUtime=0.34 cores=0,2,4,6
/proc/30053/stat : 30053 (java) S 30051 30051 25905 0 -1 1077944320 9326 0 0 0 31 3 0 0 20 0 15 0 517157165 15508250624 10115 33554432000 4194304 4196468 140721907257680 140721907240224 140499235659511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
/proc/30053/statm: 3786194 10115 3300 1 0 3748377 0
[pid=30053/tid=30054] ppid=30051 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/30053/task/30054/stat : 30054 (java) R 30051 30051 25905 0 -1 4202560 6563 0 0 0 18 2 0 0 20 0 15 0 517157165 15508250624 10115 33554432000 4194304 4196468 140721907257680 140499239897696 140499217874653 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30055] ppid=30051 vsize=15144776 memory=10535 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30055/stat : 30055 (java) S 30051 30051 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517157166 15508250624 10115 33554432000 4194304 4196468 140721907257680 140499188279824 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30056] ppid=30051 vsize=15144776 memory=140205976090280 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30056/stat : 30056 (java) S 30051 30051 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517157166 15508250624 10115 33554432000 4194304 4196468 140721907257680 140499187227280 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30057] ppid=30051 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30057/stat : 30057 (java) S 30051 30051 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517157166 15508250624 10115 33554432000 4194304 4196468 140721907257680 140499186174224 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30058] ppid=30051 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30058/stat : 30058 (java) S 30051 30051 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517157166 15508250624 10115 33554432000 4194304 4196468 140721907257680 140498825042320 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30059] ppid=30051 vsize=15144776 memory=140205976061568 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30059/stat : 30059 (java) S 30051 30051 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517157167 15508250624 10115 33554432000 4194304 4196468 140721907257680 140498704214768 140499235670658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30060] ppid=30051 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30060/stat : 30060 (java) S 30051 30051 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517157167 15508250624 10115 33554432000 4194304 4196468 140721907257680 140498703160992 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30061] ppid=30051 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30061/stat : 30061 (java) S 30051 30051 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517157168 15508250624 10115 33554432000 4194304 4196468 140721907257680 140498702107888 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30062] ppid=30051 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30062/stat : 30062 (java) S 30051 30051 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517157170 15508250624 10115 33554432000 4194304 4196468 140721907257680 140498701056464 140499235678107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30063] ppid=30051 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30053/task/30063/stat : 30063 (java) S 30051 30051 25905 0 -1 1077944384 539 0 0 0 3 0 0 0 20 0 15 0 517157170 15508250624 10115 33554432000 4194304 4196468 140721907257680 140498700003568 140499235670658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30064] ppid=30051 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30053/task/30064/stat : 30064 (java) S 30051 30051 25905 0 -1 1077944384 100 0 0 0 2 0 0 0 20 0 15 0 517157170 15508250624 10115 33554432000 4194304 4196468 140721907257680 140498698951024 140499235670658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30065] ppid=30051 vsize=15144776 memory=140205976061568 CPUtime=0.08 cores=0,2,4,6
/proc/30053/task/30065/stat : 30065 (java) R 30051 30051 25905 0 -1 4202560 816 0 0 0 8 0 0 0 20 0 15 0 517157170 15508250624 10115 33554432000 4194304 4196468 140721907257680 140498697897968 140499214190503 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30066] ppid=30051 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30066/stat : 30066 (java) S 30051 30051 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517157170 15508250624 10115 33554432000 4194304 4196468 140721907257680 140498696845664 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30067] ppid=30051 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30067/stat : 30067 (java) S 30051 30051 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517157170 15508250624 10115 33554432000 4194304 4196468 140721907257680 140498695793712 140499235670658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41912 KiB
[startup+0.311018 s]*
/proc/loadavg: 1.47 1.65 1.61 4/229 30067
/proc/meminfo: memFree=24992476/32770624 swapFree=66953520/67108860
[pid=30051] ppid=30048 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30051/stat : 30051 (xcsp3-exec) S 30048 30051 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517157164 115843072 363 33554432000 4194304 5098028 140731537584272 140731537582376 140514686874236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35696640 140731537593174 140731537593433 140731537593433 140731537596358 0
/proc/30051/statm: 28282 363 304 221 0 87 0
[pid=30053] ppid=30051 vsize=15149032 memory=49888 CPUtime=0.54 cores=0,2,4,6
/proc/30053/stat : 30053 (java) S 30051 30051 25905 0 -1 1077944320 10739 0 0 0 50 4 0 0 20 0 15 0 517157165 15512608768 12472 33554432000 4194304 4196468 140721907257680 140721907240224 140499235659511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
/proc/30053/statm: 3787258 12472 3355 1 0 3748377 0
[pid=30053/tid=30054] ppid=30051 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/30053/task/30054/stat : 30054 (java) R 30051 30051 25905 0 -1 4202560 7699 0 0 0 27 3 0 0 20 0 15 0 517157165 15512608768 12472 33554432000 4194304 4196468 140721907257680 140499239883176 140499219739998 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30055] ppid=30051 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30055/stat : 30055 (java) S 30051 30051 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517157166 15512608768 12472 33554432000 4194304 4196468 140721907257680 140499188279824 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30056] ppid=30051 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30056/stat : 30056 (java) S 30051 30051 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517157166 15512608768 12472 33554432000 4194304 4196468 140721907257680 140499187227280 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30057] ppid=30051 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30057/stat : 30057 (java) S 30051 30051 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517157166 15512608768 12472 33554432000 4194304 4196468 140721907257680 140499186174224 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30058] ppid=30051 vsize=15149032 memory=-7305852742256935071 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30058/stat : 30058 (java) S 30051 30051 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517157166 15512608768 12472 33554432000 4194304 4196468 140721907257680 140498825042320 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30059] ppid=30051 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30059/stat : 30059 (java) S 30051 30051 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517157167 15512608768 12472 33554432000 4194304 4196468 140721907257680 140498704214768 140499235670658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30060] ppid=30051 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30060/stat : 30060 (java) S 30051 30051 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517157167 15512608768 12472 33554432000 4194304 4196468 140721907257680 140498703160992 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30061] ppid=30051 vsize=15149032 memory=8514701219781834910 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30061/stat : 30061 (java) S 30051 30051 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517157168 15512608768 12472 33554432000 4194304 4196468 140721907257680 140498702107888 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30062] ppid=30051 vsize=15149032 memory=6576575808607463333 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30062/stat : 30062 (java) S 30051 30051 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517157170 15512608768 12472 33554432000 4194304 4196468 140721907257680 140498701056464 140499235678107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30063] ppid=30051 vsize=15149032 memory=3054156605267020675 CPUtime=0.04 cores=0,2,4,6
/proc/30053/task/30063/stat : 30063 (java) S 30051 30051 25905 0 -1 1077944384 553 0 0 0 4 0 0 0 20 0 15 0 517157170 15512608768 12472 33554432000 4194304 4196468 140721907257680 140498700003568 140499235670658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30064] ppid=30051 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/30053/task/30064/stat : 30064 (java) R 30051 30051 25905 0 -1 4202560 206 0 0 0 4 0 0 0 20 0 15 0 517157170 15512608768 12472 33554432000 4194304 4196468 140721907257680 140498698932136 140499235680858 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30065] ppid=30051 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/30053/task/30065/stat : 30065 (java) S 30051 30051 25905 0 -1 1077944384 975 0 0 0 13 0 0 0 20 0 15 0 517157170 15512608768 12472 33554432000 4194304 4196468 140721907257680 140498697897968 140499235670658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30066] ppid=30051 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30066/stat : 30066 (java) S 30051 30051 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517157170 15512608768 12472 33554432000 4194304 4196468 140721907257680 140498696845664 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30067] ppid=30051 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30067/stat : 30067 (java) S 30051 30051 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517157170 15512608768 12472 33554432000 4194304 4196468 140721907257680 140498695793712 140499235670658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51340 KiB
[startup+0.701425 s]
/proc/loadavg: 1.47 1.65 1.61 6/229 30067
/proc/meminfo: memFree=24970260/32770624 swapFree=66953520/67108860
[pid=30051] ppid=30048 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30051/stat : 30051 (xcsp3-exec) S 30048 30051 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517157164 115843072 363 33554432000 4194304 5098028 140731537584272 140731537582376 140514686874236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35696640 140731537593174 140731537593433 140731537593433 140731537596358 0
/proc/30051/statm: 28282 363 304 221 0 87 0
[pid=30053] ppid=30051 vsize=15151156 memory=111316 CPUtime=1.77 cores=0,2,4,6
/proc/30053/stat : 30053 (java) S 30051 30051 25905 0 -1 1077944320 15907 0 0 0 172 5 0 0 20 0 15 0 517157165 15514783744 27829 33554432000 4194304 4196468 140721907257680 140721907240224 140499235659511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
/proc/30053/statm: 3787789 27829 3446 1 0 3748889 0
[pid=30053/tid=30054] ppid=30051 vsize=15151156 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/30053/task/30054/stat : 30054 (java) R 30051 30051 25905 0 -1 4202560 9089 0 0 0 64 3 0 0 20 0 15 0 517157165 15514783744 27829 33554432000 4194304 4196468 140721907257680 140499239895232 140498870164144 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30055] ppid=30051 vsize=15151156 memory=288230587427465466 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30055/stat : 30055 (java) S 30051 30051 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517157166 15514783744 27829 33554432000 4194304 4196468 140721907257680 140499188279824 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30056] ppid=30051 vsize=15151156 memory=16100364336257230 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30056/stat : 30056 (java) S 30051 30051 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517157166 15514783744 27829 33554432000 4194304 4196468 140721907257680 140499187227280 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30057] ppid=30051 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30057/stat : 30057 (java) S 30051 30051 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517157166 15514783744 27829 33554432000 4194304 4196468 140721907257680 140499186174224 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30058] ppid=30051 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30058/stat : 30058 (java) S 30051 30051 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517157166 15514783744 27829 33554432000 4194304 4196468 140721907257680 140498825042320 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30059] ppid=30051 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30059/stat : 30059 (java) S 30051 30051 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517157167 15514783744 27829 33554432000 4194304 4196468 140721907257680 140498704214768 140499235670658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30060] ppid=30051 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30060/stat : 30060 (java) S 30051 30051 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517157167 15514783744 27829 33554432000 4194304 4196468 140721907257680 140498703160992 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30061] ppid=30051 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30061/stat : 30061 (java) S 30051 30051 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517157168 15514783744 27829 33554432000 4194304 4196468 140721907257680 140498702107888 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30062] ppid=30051 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30062/stat : 30062 (java) S 30051 30051 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517157170 15514783744 27829 33554432000 4194304 4196468 140721907257680 140498701056464 140499235678107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30063] ppid=30051 vsize=15151156 memory=0 CPUtime=0.36 cores=0,2,4,6
/proc/30053/task/30063/stat : 30063 (java) R 30051 30051 25905 0 -1 4202560 1696 0 0 0 36 0 0 0 20 0 15 0 517157170 15514783744 27829 33554432000 4194304 4196468 140721907257680 140498699990416 140499220055920 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30064] ppid=30051 vsize=15151156 memory=3908112171831748204 CPUtime=0.36 cores=0,2,4,6
/proc/30053/task/30064/stat : 30064 (java) R 30051 30051 25905 0 -1 4202560 1526 0 0 0 36 0 0 0 20 0 15 0 517157170 15514783744 27829 33554432000 4194304 4196468 140721907257680 140498698943928 140499213406908 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30065] ppid=30051 vsize=15151156 memory=7452725462123638376 CPUtime=0.35 cores=0,2,4,6
/proc/30053/task/30065/stat : 30065 (java) S 30051 30051 25905 0 -1 1077944384 2288 0 0 0 35 0 0 0 20 0 15 0 517157170 15514783744 27829 33554432000 4194304 4196468 140721907257680 140498697897968 140499235670658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30066] ppid=30051 vsize=15151156 memory=7450762932971192428 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30066/stat : 30066 (java) S 30051 30051 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517157170 15514783744 27829 33554432000 4194304 4196468 140721907257680 140498696845664 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30067] ppid=30051 vsize=15151156 memory=7300704776819335744 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30067/stat : 30067 (java) S 30051 30051 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517157170 15514783744 27829 33554432000 4194304 4196468 140721907257680 140498695793712 140499235670658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 112768 KiB
[startup+1.50078 s]
/proc/loadavg: 1.47 1.65 1.61 3/229 30067
/proc/meminfo: memFree=24830312/32770624 swapFree=66953520/67108860
[pid=30051] ppid=30048 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30051/stat : 30051 (xcsp3-exec) S 30048 30051 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517157164 115843072 363 33554432000 4194304 5098028 140731537584272 140731537582376 140514686874236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35696640 140731537593174 140731537593433 140731537593433 140731537596358 0
/proc/30051/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/30053/task/30060/stat : 30060 (java) S 30051 30051 25905 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 517157167 15582945280 3192593 33554432000 4194304 4196468 140721907257680 140498703161056 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30061] ppid=30051 vsize=15217720 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30061/stat : 30061 (java) S 30051 30051 25905 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 517157168 15582945280 3192593 33554432000 4194304 4196468 140721907257680 140498702107904 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30062] ppid=30051 vsize=15217720 memory=12770332 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30062/stat : 30062 (java) S 30051 30051 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 517157170 15582945280 3192593 33554432000 4194304 4196468 140721907257680 140498701056464 140499235678107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30063] ppid=30051 vsize=15217720 memory=924 CPUtime=1.61 cores=0,2,4,6
/proc/30053/task/30063/stat : 30063 (java) S 30051 30051 25905 0 -1 1077944384 10352 0 0 0 160 1 0 0 20 0 16 0 517157170 15582945280 3192593 33554432000 4194304 4196468 140721907257680 140498699992768 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30064] ppid=30051 vsize=15217720 memory=6791534058613427641 CPUtime=1.6 cores=0,2,4,6
/proc/30053/task/30064/stat : 30064 (java) S 30051 30051 25905 0 -1 1077944384 9322 0 0 0 159 1 0 0 20 0 16 0 517157170 15582945280 3192593 33554432000 4194304 4196468 140721907257680 140498698951024 140499235670658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30065] ppid=30051 vsize=15217720 memory=3688 CPUtime=0.68 cores=0,2,4,6
/proc/30053/task/30065/stat : 30065 (java) S 30051 30051 25905 0 -1 1077944384 8892 0 0 0 67 1 0 0 20 0 16 0 517157170 15582945280 3192593 33554432000 4194304 4196468 140721907257680 140498697897968 140499235670658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30066] ppid=30051 vsize=15217720 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30066/stat : 30066 (java) S 30051 30051 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 517157170 15582945280 3192593 33554432000 4194304 4196468 140721907257680 140498696845664 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30067] ppid=30051 vsize=15217720 memory=6791534058613427641 CPUtime=0.62 cores=0,2,4,6
/proc/30053/task/30067/stat : 30067 (java) S 30051 30051 25905 0 -1 1077944384 574 0 0 0 34 28 0 0 20 0 16 0 517157170 15582945280 3192593 33554432000 4194304 4196468 140721907257680 140498695793712 140499235670658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30161] ppid=30051 vsize=15217720 memory=988 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30161/stat : 30161 (java) S 30051 30051 25905 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 517235299 15582945280 3192593 33554432000 4194304 4196468 140721907257680 140498686578624 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
Current children cumulated CPU time: 2313.37 s
Current children cumulated vsize: 15330848 KiB
Current children cumulated memory: 12771824 KiB
[startup+787.201 s]
/proc/loadavg: 4.57 3.87 2.79 3/230 30161
/proc/meminfo: memFree=11955056/32770624 swapFree=66953524/67108860
[pid=30051] ppid=30048 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30051/stat : 30051 (xcsp3-exec) S 30048 30051 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517157164 115843072 363 33554432000 4194304 5098028 140731537584272 140731537582376 140514686874236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35696640 140731537593174 140731537593433 140731537593433 140731537596358 0
/proc/30051/statm: 28282 363 304 221 0 87 0
[pid=30053] ppid=30051 vsize=15217720 memory=12770400 CPUtime=2325.02 cores=0,2,4,6
/proc/30053/stat : 30053 (java) S 30051 30051 25905 0 -1 1077944320 678094 0 0 0 231627 875 0 0 20 0 16 0 517157165 15582945280 3192600 33554432000 4194304 4196468 140721907257680 140721907240224 140499235659511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
/proc/30053/statm: 3804430 3192600 3510 1 0 3765530 0
[pid=30053/tid=30054] ppid=30051 vsize=15217720 memory=12770332 CPUtime=179.77 cores=0,2,4,6
/proc/30053/task/30054/stat : 30054 (java) S 30051 30051 25905 0 -1 1077944384 36109 0 0 0 17925 52 0 0 20 0 16 0 517157165 15582945280 3192600 33554432000 4194304 4196468 140721907257680 140499239900192 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30055] ppid=30051 vsize=15217720 memory=12770332 CPUtime=512.16 cores=0,2,4,6
/proc/30053/task/30055/stat : 30055 (java) S 30051 30051 25905 0 -1 1077944384 96401 0 0 0 50999 217 0 0 20 0 16 0 517157166 15582945280 3192600 33554432000 4194304 4196468 140721907257680 140499188279824 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30056] ppid=30051 vsize=15217720 memory=6791534058613427641 CPUtime=512.88 cores=0,2,4,6
/proc/30053/task/30056/stat : 30056 (java) S 30051 30051 25905 0 -1 1077944384 152199 0 0 0 51084 204 0 0 20 0 16 0 517157166 15582945280 3192600 33554432000 4194304 4196468 140721907257680 140499187227280 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30057] ppid=30051 vsize=15217720 memory=3688 CPUtime=512.94 cores=0,2,4,6
/proc/30053/task/30057/stat : 30057 (java) S 30051 30051 25905 0 -1 1077944384 121024 0 0 0 51100 194 0 0 20 0 16 0 517157166 15582945280 3192600 33554432000 4194304 4196468 140721907257680 140499186174224 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30058] ppid=30051 vsize=15217720 memory=1984 CPUtime=513.38 cores=0,2,4,6
/proc/30053/task/30058/stat : 30058 (java) S 30051 30051 25905 0 -1 1077944384 107551 0 0 0 51151 187 0 0 20 0 16 0 517157166 15582945280 3192600 33554432000 4194304 4196468 140721907257680 140498825042320 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30059] ppid=30051 vsize=15217720 memory=1440 CPUtime=89.26 cores=0,2,4,6
/proc/30053/task/30059/stat : 30059 (java) R 30051 30051 25905 0 -1 4202560 134316 0 0 0 8919 7 0 0 20 0 16 0 517157167 15582945280 3192600 33554432000 4194304 4196468 140721907257680 140498704213200 140499220656004 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30060] ppid=30051 vsize=15217720 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30060/stat : 30060 (java) S 30051 30051 25905 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 517157167 15582945280 3192600 33554432000 4194304 4196468 140721907257680 140498703161056 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30061] ppid=30051 vsize=15217720 memory=12770400 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30061/stat : 30061 (java) S 30051 30051 25905 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 517157168 15582945280 3192600 33554432000 4194304 4196468 140721907257680 140498702107904 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30062] ppid=30051 vsize=15217720 memory=111636 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30062/stat : 30062 (java) S 30051 30051 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 517157170 15582945280 3192600 33554432000 4194304 4196468 140721907257680 140498701056464 140499235678107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30063] ppid=30051 vsize=15217720 memory=808 CPUtime=1.61 cores=0,2,4,6
/proc/30053/task/30063/stat : 30063 (java) S 30051 30051 25905 0 -1 1077944384 10352 0 0 0 160 1 0 0 20 0 16 0 517157170 15582945280 3192600 33554432000 4194304 4196468 140721907257680 140498699992768 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30064] ppid=30051 vsize=15217720 memory=12770372 CPUtime=1.6 cores=0,2,4,6
/proc/30053/task/30064/stat : 30064 (java) S 30051 30051 25905 0 -1 1077944384 9322 0 0 0 159 1 0 0 20 0 16 0 517157170 15582945280 3192600 33554432000 4194304 4196468 140721907257680 140498698951072 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30065] ppid=30051 vsize=15217720 memory=808 CPUtime=0.68 cores=0,2,4,6
/proc/30053/task/30065/stat : 30065 (java) S 30051 30051 25905 0 -1 1077944384 8892 0 0 0 67 1 0 0 20 0 16 0 517157170 15582945280 3192600 33554432000 4194304 4196468 140721907257680 140498697897728 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30066] ppid=30051 vsize=15217720 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30066/stat : 30066 (java) S 30051 30051 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 517157170 15582945280 3192600 33554432000 4194304 4196468 140721907257680 140498696845664 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30067] ppid=30051 vsize=15217720 memory=988 CPUtime=0.63 cores=0,2,4,6
/proc/30053/task/30067/stat : 30067 (java) S 30051 30051 25905 0 -1 1077944384 574 0 0 0 35 28 0 0 20 0 16 0 517157170 15582945280 3192600 33554432000 4194304 4196468 140721907257680 140498695793712 140499235670658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30161] ppid=30051 vsize=15217720 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30161/stat : 30161 (java) S 30051 30051 25905 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 517235299 15582945280 3192600 33554432000 4194304 4196468 140721907257680 140498686578624 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
Current children cumulated CPU time: 2325.02 s
Current children cumulated vsize: 15330848 KiB
Current children cumulated memory: 12771852 KiB
[startup+788.001 s]*
/proc/loadavg: 4.37 3.84 2.78 3/230 30161
/proc/meminfo: memFree=11955180/32770624 swapFree=66953524/67108860
[pid=30051] ppid=30048 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30051/stat : 30051 (xcsp3-exec) S 30048 30051 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517157164 115843072 363 33554432000 4194304 5098028 140731537584272 140731537582376 140514686874236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35696640 140731537593174 140731537593433 140731537593433 140731537596358 0
/proc/30051/statm: 28282 363 304 221 0 87 0
[pid=30053] ppid=30051 vsize=15217720 memory=12770548 CPUtime=2325.83 cores=0,2,4,6
/proc/30053/stat : 30053 (java) S 30051 30051 25905 0 -1 1077944320 678237 0 0 0 231708 875 0 0 20 0 16 0 517157165 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140721907240224 140499235659511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
/proc/30053/statm: 3804430 3192637 3510 1 0 3765530 0
[pid=30053/tid=30054] ppid=30051 vsize=15217720 memory=2832 CPUtime=179.77 cores=0,2,4,6
/proc/30053/task/30054/stat : 30054 (java) S 30051 30051 25905 0 -1 1077944384 36109 0 0 0 17925 52 0 0 20 0 16 0 517157165 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140499239900192 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30055] ppid=30051 vsize=15217720 memory=668 CPUtime=512.16 cores=0,2,4,6
/proc/30053/task/30055/stat : 30055 (java) S 30051 30051 25905 0 -1 1077944384 96401 0 0 0 50999 217 0 0 20 0 16 0 517157166 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140499188279824 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30056] ppid=30051 vsize=15217720 memory=1276 CPUtime=512.88 cores=0,2,4,6
/proc/30053/task/30056/stat : 30056 (java) S 30051 30051 25905 0 -1 1077944384 152199 0 0 0 51084 204 0 0 20 0 16 0 517157166 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140499187227280 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30057] ppid=30051 vsize=15217720 memory=4872558044660077418 CPUtime=512.94 cores=0,2,4,6
/proc/30053/task/30057/stat : 30057 (java) S 30051 30051 25905 0 -1 1077944384 121024 0 0 0 51100 194 0 0 20 0 16 0 517157166 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140499186174224 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30058] ppid=30051 vsize=15217720 memory=12770400 CPUtime=513.38 cores=0,2,4,6
/proc/30053/task/30058/stat : 30058 (java) S 30051 30051 25905 0 -1 1077944384 107551 0 0 0 51151 187 0 0 20 0 16 0 517157166 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498825042320 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30059] ppid=30051 vsize=15217720 memory=14131130454511009 CPUtime=90.07 cores=0,2,4,6
/proc/30053/task/30059/stat : 30059 (java) R 30051 30051 25905 0 -1 4202560 134459 0 0 0 9000 7 0 0 20 0 16 0 517157167 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498704213200 140499220655921 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30060] ppid=30051 vsize=15217720 memory=924 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30060/stat : 30060 (java) S 30051 30051 25905 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 517157167 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498703161056 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30061] ppid=30051 vsize=15217720 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30061/stat : 30061 (java) S 30051 30051 25905 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 517157168 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498702107904 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30062] ppid=30051 vsize=15217720 memory=2596 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30062/stat : 30062 (java) S 30051 30051 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 517157170 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498701056464 140499235678107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30063] ppid=30051 vsize=15217720 memory=2596 CPUtime=1.61 cores=0,2,4,6
/proc/30053/task/30063/stat : 30063 (java) S 30051 30051 25905 0 -1 1077944384 10352 0 0 0 160 1 0 0 20 0 16 0 517157170 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498699992768 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30064] ppid=30051 vsize=15217720 memory=1412 CPUtime=1.6 cores=0,2,4,6
/proc/30053/task/30064/stat : 30064 (java) S 30051 30051 25905 0 -1 1077944384 9322 0 0 0 159 1 0 0 20 0 16 0 517157170 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498698951072 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30065] ppid=30051 vsize=15217720 memory=3280 CPUtime=0.68 cores=0,2,4,6
/proc/30053/task/30065/stat : 30065 (java) S 30051 30051 25905 0 -1 1077944384 8892 0 0 0 67 1 0 0 20 0 16 0 517157170 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498697897728 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30066] ppid=30051 vsize=15217720 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30066/stat : 30066 (java) S 30051 30051 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 517157170 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498696845664 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30067] ppid=30051 vsize=15217720 memory=872972 CPUtime=0.63 cores=0,2,4,6
/proc/30053/task/30067/stat : 30067 (java) S 30051 30051 25905 0 -1 1077944384 574 0 0 0 35 28 0 0 20 0 16 0 517157170 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498695793712 140499235670658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30161] ppid=30051 vsize=15217720 memory=4108 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30161/stat : 30161 (java) S 30051 30051 25905 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 517235299 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498686578624 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
Current children cumulated CPU time: 2325.83 s
Current children cumulated vsize: 15330848 KiB
Current children cumulated memory: 12772000 KiB
[startup+788.401 s]
/proc/loadavg: 4.37 3.84 2.78 3/230 30161
/proc/meminfo: memFree=11955180/32770624 swapFree=66953524/67108860
[pid=30051] ppid=30048 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30051/stat : 30051 (xcsp3-exec) S 30048 30051 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517157164 115843072 363 33554432000 4194304 5098028 140731537584272 140731537582376 140514686874236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35696640 140731537593174 140731537593433 140731537593433 140731537596358 0
/proc/30051/statm: 28282 363 304 221 0 87 0
[pid=30053] ppid=30051 vsize=15217720 memory=12770548 CPUtime=2326.22 cores=0,2,4,6
/proc/30053/stat : 30053 (java) S 30051 30051 25905 0 -1 1077944320 678326 0 0 0 231747 875 0 0 20 0 16 0 517157165 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140721907240224 140499235659511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
/proc/30053/statm: 3804430 3192637 3510 1 0 3765530 0
[pid=30053/tid=30054] ppid=30051 vsize=15217720 memory=14131130454511009 CPUtime=179.77 cores=0,2,4,6
/proc/30053/task/30054/stat : 30054 (java) S 30051 30051 25905 0 -1 1077944384 36109 0 0 0 17925 52 0 0 20 0 16 0 517157165 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140499239900192 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30055] ppid=30051 vsize=15217720 memory=1548 CPUtime=512.16 cores=0,2,4,6
/proc/30053/task/30055/stat : 30055 (java) S 30051 30051 25905 0 -1 1077944384 96401 0 0 0 50999 217 0 0 20 0 16 0 517157166 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140499188279824 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30056] ppid=30051 vsize=15217720 memory=12770372 CPUtime=512.88 cores=0,2,4,6
/proc/30053/task/30056/stat : 30056 (java) S 30051 30051 25905 0 -1 1077944384 152199 0 0 0 51084 204 0 0 20 0 16 0 517157166 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140499187227280 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30057] ppid=30051 vsize=15217720 memory=6791534058613427641 CPUtime=512.94 cores=0,2,4,6
/proc/30053/task/30057/stat : 30057 (java) S 30051 30051 25905 0 -1 1077944384 121024 0 0 0 51100 194 0 0 20 0 16 0 517157166 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140499186174224 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30058] ppid=30051 vsize=15217720 memory=4872558044660077418 CPUtime=513.38 cores=0,2,4,6
/proc/30053/task/30058/stat : 30058 (java) S 30051 30051 25905 0 -1 1077944384 107551 0 0 0 51151 187 0 0 20 0 16 0 517157166 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498825042320 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30059] ppid=30051 vsize=15217720 memory=1452 CPUtime=90.46 cores=0,2,4,6
/proc/30053/task/30059/stat : 30059 (java) R 30051 30051 25905 0 -1 4202560 134548 0 0 0 9039 7 0 0 20 0 16 0 517157167 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498704213200 140499220655915 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30060] ppid=30051 vsize=15217720 memory=12770400 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30060/stat : 30060 (java) S 30051 30051 25905 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 16 0 517157167 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498703161056 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30061] ppid=30051 vsize=15217720 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30061/stat : 30061 (java) S 30051 30051 25905 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 517157168 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498702107904 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30062] ppid=30051 vsize=15217720 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30062/stat : 30062 (java) S 30051 30051 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 517157170 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498701056464 140499235678107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30063] ppid=30051 vsize=15217720 memory=808 CPUtime=1.61 cores=0,2,4,6
/proc/30053/task/30063/stat : 30063 (java) S 30051 30051 25905 0 -1 1077944384 10352 0 0 0 160 1 0 0 20 0 16 0 517157170 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498699992768 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30064] ppid=30051 vsize=15217720 memory=2580 CPUtime=1.6 cores=0,2,4,6
/proc/30053/task/30064/stat : 30064 (java) S 30051 30051 25905 0 -1 1077944384 9322 0 0 0 159 1 0 0 20 0 16 0 517157170 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498698951072 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30065] ppid=30051 vsize=15217720 memory=1760 CPUtime=0.68 cores=0,2,4,6
/proc/30053/task/30065/stat : 30065 (java) S 30051 30051 25905 0 -1 1077944384 8892 0 0 0 67 1 0 0 20 0 16 0 517157170 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498697897728 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30066] ppid=30051 vsize=15217720 memory=111636 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30066/stat : 30066 (java) S 30051 30051 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 517157170 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498696845664 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30067] ppid=30051 vsize=15217720 memory=808 CPUtime=0.63 cores=0,2,4,6
/proc/30053/task/30067/stat : 30067 (java) S 30051 30051 25905 0 -1 1077944384 574 0 0 0 35 28 0 0 20 0 16 0 517157170 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498695793712 140499235670658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
[pid=30053/tid=30161] ppid=30051 vsize=15217720 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/30053/task/30161/stat : 30161 (java) S 30051 30051 25905 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 517235299 15582945280 3192637 33554432000 4194304 4196468 140721907257680 140498686578624 140499235669717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25976832 140721907262427 140721907262602 140721907262602 140721907265487 0
Current children cumulated CPU time: 2326.22 s
Current children cumulated vsize: 15330848 KiB
Current children cumulated memory: 12772000 KiB
[startup+788.601 s]
/proc/loadavg: 4.37 3.84 2.78 3/230 30161
/proc/meminfo: memFree=11955180/32770624 swapFree=66953524/67108860
[pid=30051] ppid=30048 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30051/stat : 30051 (xcsp3-exec) S 30048 30051 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517157164 115843072 363 33554432000 4194304 5098028 140731537584272 140731537582376 140514686874236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35696640 140731537593174 140731537593433 140731537593433 140731537596358 0
/proc/30051/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 1
Real time (s): 788.637
CPU time (s): 2326.47
CPU user time (s): 2317.66
CPU system time (s): 8.81151
CPU usage (%): 294.999
Max. virtual memory (cumulated for all children) (KiB): 15330848
Max. memory (cumulated for all children) (KiB): 12772000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2317.66
system time used= 8.81151
maximum resident set size= 12770852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 678956
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33348
involuntary context switches= 23717
# summary of solver processes directly reported to runsolver:
# pid: 30051
# total CPU time (s): 2326.47
# total CPU user time (s): 2317.66
# total CPU system time (s): 8.81151
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.16797 second user time and 7.81753 second system time
The end