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 (14426 MiB free)
memory of node 1: 16384 MiB (15212 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272068-1502805702/watcher-4272068-1502805702 -o /tmp/evaluation-result-4272068-1502805702/solver-4272068-1502805702 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 138286202 HOME/instance-4272068-1502805702.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=1190, runsolver pid=1187
[startup+0.100105 s]*
/proc/loadavg: 1.88 1.48 1.49 3/201 1194
/proc/meminfo: memFree=30345244/32770624 swapFree=67108860/67108860
[pid=1190] ppid=1187 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1190/stat : 1190 (xcsp3-exec) S 1187 1190 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 34452775 9740288 345 18446744073709551615 4194304 5098028 140735454861184 140735454859288 140220874773116 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 24072192 140735454867834 140735454868038 140735454868038 140735454871531 0
/proc/1190/statm: 2378 345 289 221 0 87 0
[pid=1192] ppid=1190 vsize=13358712 memory=14104 CPUtime=0 cores=1,3,5,7
/proc/1192/stat : 1192 (java) S 1190 1190 7968 0 -1 1077944320 3283 0 0 0 0 0 0 0 20 0 6 0 34452784 13679321088 3526 18446744073709551615 4194304 4196468 140721611931376 140721611913920 140296958852855 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
/proc/1192/statm: 3339678 3526 1892 1 0 3329175 0
[pid=1192/tid=1193] ppid=1190 vsize=13358712 memory=-6871798056524144002 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1193/stat : 1193 (java) R 1190 1190 7968 0 -1 4202560 2166 0 0 0 0 0 0 0 20 0 6 0 34452784 13679321088 3658 18446744073709551615 4194304 4196468 140721611931376 140296963088976 140296944535381 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1194] ppid=1190 vsize=13358712 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1194/stat : 1194 (java) S 1190 1190 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 34452785 13679321088 3658 18446744073709551615 4194304 4196468 140721611931376 140296919751824 140296958863061 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1195] ppid=1190 vsize=13358712 memory=140277676021376 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1195/stat : 1195 (java) S 1190 1190 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 34452785 13679321088 3658 18446744073709551615 4194304 4196468 140721611931376 140296558406672 140296958863061 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1196] ppid=1190 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1196/stat : 1196 (java) S 1190 1190 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 34452785 13679321088 3658 18446744073709551615 4194304 4196468 140721611931376 140296557353872 140296958863061 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1197] ppid=1190 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1197/stat : 1197 (java) S 1190 1190 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 34452785 13679321088 3658 18446744073709551615 4194304 4196468 140721611931376 140296556301072 140296958863061 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15484 KiB
[startup+0.211731 s]*
/proc/loadavg: 1.88 1.48 1.49 11/213 1206
/proc/meminfo: memFree=30332848/32770624 swapFree=67108860/67108860
[pid=1190] ppid=1187 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1190/stat : 1190 (xcsp3-exec) S 1187 1190 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 34452775 9740288 345 18446744073709551615 4194304 5098028 140735454861184 140735454859288 140220874773116 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 24072192 140735454867834 140735454868038 140735454868038 140735454871531 0
/proc/1190/statm: 2378 345 289 221 0 87 0
[pid=1192] ppid=1190 vsize=13974352 memory=27964 CPUtime=0.09 cores=1,3,5,7
/proc/1192/stat : 1192 (java) S 1190 1190 7968 0 -1 1077944320 5389 0 0 0 8 1 0 0 20 0 15 0 34452784 14309736448 6991 18446744073709551615 4194304 4196468 140721611931376 140721611913920 140296958852855 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
/proc/1192/statm: 3493588 6991 2755 1 0 3482964 0
[pid=1192/tid=1193] ppid=1190 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/1192/task/1193/stat : 1193 (java) R 1190 1190 7968 0 -1 4202560 3543 0 0 0 7 0 0 0 20 0 15 0 34452784 14309736448 6991 18446744073709551615 4194304 4196468 140721611931376 140296963075824 140296958874781 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1194] ppid=1190 vsize=13974352 memory=11602 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1194/stat : 1194 (java) S 1190 1190 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34452785 14309736448 6991 18446744073709551615 4194304 4196468 140721611931376 140296919751824 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1195] ppid=1190 vsize=13974352 memory=288370653827733120 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1195/stat : 1195 (java) S 1190 1190 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34452785 14309736448 6991 18446744073709551615 4194304 4196468 140721611931376 140296558406672 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1196] ppid=1190 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1196/stat : 1196 (java) S 1190 1190 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34452785 14309736448 6991 18446744073709551615 4194304 4196468 140721611931376 140296557353872 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1197] ppid=1190 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1197/stat : 1197 (java) S 1190 1190 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34452785 14309736448 6991 18446744073709551615 4194304 4196468 140721611931376 140296556301072 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1198] ppid=1190 vsize=13974352 memory=140277676021376 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1198/stat : 1198 (java) S 1190 1190 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34452787 14309736448 6991 18446744073709551615 4194304 4196468 140721611931376 140296144136560 140296958864002 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1199] ppid=1190 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1199/stat : 1199 (java) S 1190 1190 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 34452787 14309736448 6991 18446744073709551615 4194304 4196468 140721611931376 140296143082528 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1200] ppid=1190 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1200/stat : 1200 (java) S 1190 1190 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 34452787 14309736448 6991 18446744073709551615 4194304 4196468 140721611931376 140296142029680 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1201] ppid=1190 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1201/stat : 1201 (java) S 1190 1190 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34452790 14309736448 6991 18446744073709551615 4194304 4196468 140721611931376 140296140978000 140296958871451 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1202] ppid=1190 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1202/stat : 1202 (java) S 1190 1190 7968 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 34452790 14309736448 6991 18446744073709551615 4194304 4196468 140721611931376 140296139926384 140296958864002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1203] ppid=1190 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1203/stat : 1203 (java) S 1190 1190 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34452790 14309736448 6991 18446744073709551615 4194304 4196468 140721611931376 140296138873584 140296958864002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1204] ppid=1190 vsize=13974352 memory=140277676021376 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1204/stat : 1204 (java) R 1190 1190 7968 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 15 0 34452790 14309736448 6991 18446744073709551615 4194304 4196468 140721611931376 140296137820784 140296958864002 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1205] ppid=1190 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1205/stat : 1205 (java) S 1190 1190 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34452790 14309736448 6991 18446744073709551615 4194304 4196468 140721611931376 140296136768224 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1206] ppid=1190 vsize=13974352 memory=140277676021376 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1206/stat : 1206 (java) S 1190 1190 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34452794 14309736448 6991 18446744073709551615 4194304 4196468 140721611931376 140296135715504 140296958864002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29344 KiB
[startup+0.311544 s]*
/proc/loadavg: 1.88 1.48 1.49 4/213 1206
/proc/meminfo: memFree=30323044/32770624 swapFree=67108860/67108860
[pid=1190] ppid=1187 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1190/stat : 1190 (xcsp3-exec) S 1187 1190 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 34452775 9740288 345 18446744073709551615 4194304 5098028 140735454861184 140735454859288 140220874773116 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 24072192 140735454867834 140735454868038 140735454868038 140735454871531 0
/proc/1190/statm: 2378 345 289 221 0 87 0
[pid=1192] ppid=1190 vsize=13974352 memory=37344 CPUtime=0.28 cores=1,3,5,7
/proc/1192/stat : 1192 (java) S 1190 1190 7968 0 -1 1077944320 8937 0 0 0 26 2 0 0 20 0 15 0 34452784 14309736448 9336 18446744073709551615 4194304 4196468 140721611931376 140721611913920 140296958852855 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
/proc/1192/statm: 3493588 9336 2975 1 0 3482964 0
[pid=1192/tid=1193] ppid=1190 vsize=13974352 memory=7311146985107750967 CPUtime=0.18 cores=1,3,5,7
/proc/1192/task/1193/stat : 1193 (java) R 1190 1190 7968 0 -1 4202560 6160 0 0 0 16 2 0 0 20 0 15 0 34452784 14309736448 9336 18446744073709551615 4194304 4196468 140721611931376 140296963082592 140296944920974 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1194] ppid=1190 vsize=13974352 memory=11602 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1194/stat : 1194 (java) S 1190 1190 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34452785 14309736448 9336 18446744073709551615 4194304 4196468 140721611931376 140296919751824 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1195] ppid=1190 vsize=13974352 memory=301891599107227008 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1195/stat : 1195 (java) S 1190 1190 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34452785 14309736448 9336 18446744073709551615 4194304 4196468 140721611931376 140296558406672 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1196] ppid=1190 vsize=13974352 memory=-8557573515528712752 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1196/stat : 1196 (java) S 1190 1190 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34452785 14309736448 9848 18446744073709551615 4194304 4196468 140721611931376 140296557353872 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1197] ppid=1190 vsize=13974352 memory=8098991021358587986 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1197/stat : 1197 (java) S 1190 1190 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34452785 14309736448 9848 18446744073709551615 4194304 4196468 140721611931376 140296556301072 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1198] ppid=1190 vsize=13974352 memory=4207744022036127674 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1198/stat : 1198 (java) S 1190 1190 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34452787 14309736448 9848 18446744073709551615 4194304 4196468 140721611931376 140296144136560 140296958864002 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1199] ppid=1190 vsize=13974352 memory=6055698173163827300 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1199/stat : 1199 (java) S 1190 1190 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 34452787 14309736448 9848 18446744073709551615 4194304 4196468 140721611931376 140296143082528 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1200] ppid=1190 vsize=13974352 memory=8546864036052574154 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1200/stat : 1200 (java) S 1190 1190 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 34452787 14309736448 9848 18446744073709551615 4194304 4196468 140721611931376 140296142029680 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1201] ppid=1190 vsize=13974352 memory=-3694791604485309319 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1201/stat : 1201 (java) S 1190 1190 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34452790 14309736448 9848 18446744073709551615 4194304 4196468 140721611931376 140296140978000 140296958871451 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1202] ppid=1190 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1192/task/1202/stat : 1202 (java) R 1190 1190 7968 0 -1 4202560 443 0 0 0 2 0 0 0 20 0 15 0 34452790 14309736448 9848 18446744073709551615 4194304 4196468 140721611931376 140296139926384 140296943752221 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1203] ppid=1190 vsize=13974352 memory=4207603746108433248 CPUtime=0.01 cores=1,3,5,7
/proc/1192/task/1203/stat : 1203 (java) R 1190 1190 7968 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 15 0 34452790 14309736448 9848 18446744073709551615 4194304 4196468 140721611931376 140296138873584 140296958864002 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1204] ppid=1190 vsize=13974352 memory=3533549747656564657 CPUtime=0.06 cores=1,3,5,7
/proc/1192/task/1204/stat : 1204 (java) R 1190 1190 7968 0 -1 4202560 744 0 0 0 6 0 0 0 20 0 15 0 34452790 14309736448 9848 18446744073709551615 4194304 4196468 140721611931376 140296137820784 140296958864790 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1205] ppid=1190 vsize=13974352 memory=4207603746108433248 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1205/stat : 1205 (java) S 1190 1190 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34452790 14309736448 9848 18446744073709551615 4194304 4196468 140721611931376 140296136768224 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1206] ppid=1190 vsize=13974352 memory=3533549747656564657 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1206/stat : 1206 (java) S 1190 1190 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34452794 14309736448 9848 18446744073709551615 4194304 4196468 140721611931376 140296135715504 140296958864002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38724 KiB
[startup+0.701763 s]
/proc/loadavg: 1.88 1.48 1.49 4/213 1206
/proc/meminfo: memFree=30311360/32770624 swapFree=67108860/67108860
[pid=1190] ppid=1187 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1190/stat : 1190 (xcsp3-exec) S 1187 1190 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 34452775 9740288 345 18446744073709551615 4194304 5098028 140735454861184 140735454859288 140220874773116 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 24072192 140735454867834 140735454868038 140735454868038 140735454871531 0
/proc/1190/statm: 2378 345 289 221 0 87 0
[pid=1192] ppid=1190 vsize=13980732 memory=71164 CPUtime=1.26 cores=1,3,5,7
/proc/1192/stat : 1192 (java) S 1190 1190 7968 0 -1 1077944320 14509 0 0 0 121 5 0 0 20 0 15 0 34452784 14316269568 17791 18446744073709551615 4194304 4196468 140721611931376 140721611913920 140296958852855 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
/proc/1192/statm: 3495183 17791 3171 1 0 3483476 0
[pid=1192/tid=1193] ppid=1190 vsize=13980732 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/1192/task/1193/stat : 1193 (java) R 1190 1190 7968 0 -1 4202560 8445 0 0 0 52 4 0 0 20 0 15 0 34452784 14316269568 17791 18446744073709551615 4194304 4196468 140721611931376 140296963084112 140296603252930 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1194] ppid=1190 vsize=13980732 memory=1958102435329 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1194/stat : 1194 (java) S 1190 1190 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34452785 14316269568 17791 18446744073709551615 4194304 4196468 140721611931376 140296919751824 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1195] ppid=1190 vsize=13980732 memory=56747777 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1195/stat : 1195 (java) S 1190 1190 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34452785 14316269568 17791 18446744073709551615 4194304 4196468 140721611931376 140296558406672 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1196] ppid=1190 vsize=13980732 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1196/stat : 1196 (java) S 1190 1190 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34452785 14316269568 17791 18446744073709551615 4194304 4196468 140721611931376 140296557353872 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1197] ppid=1190 vsize=13980732 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1197/stat : 1197 (java) S 1190 1190 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34452785 14316269568 17791 18446744073709551615 4194304 4196468 140721611931376 140296556301072 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1198] ppid=1190 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1198/stat : 1198 (java) S 1190 1190 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 34452787 14316269568 17791 18446744073709551615 4194304 4196468 140721611931376 140296144136560 140296958864002 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1199] ppid=1190 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1199/stat : 1199 (java) S 1190 1190 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 34452787 14316269568 17791 18446744073709551615 4194304 4196468 140721611931376 140296143082528 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1200] ppid=1190 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1200/stat : 1200 (java) S 1190 1190 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 34452787 14316269568 17791 18446744073709551615 4194304 4196468 140721611931376 140296142029680 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1201] ppid=1190 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1201/stat : 1201 (java) S 1190 1190 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34452790 14316269568 17791 18446744073709551615 4194304 4196468 140721611931376 140296140978000 140296958871451 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1202] ppid=1190 vsize=13980732 memory=30305 CPUtime=0.21 cores=1,3,5,7
/proc/1192/task/1202/stat : 1202 (java) R 1190 1190 7968 0 -1 4202560 1691 0 0 0 21 0 0 0 20 0 15 0 34452790 14316269568 17791 18446744073709551615 4194304 4196468 140721611931376 140296139907400 140296958874202 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1203] ppid=1190 vsize=13980732 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/1192/task/1203/stat : 1203 (java) R 1190 1190 7968 0 -1 4202560 1391 0 0 0 20 0 0 0 20 0 15 0 34452790 14316269568 17791 18446744073709551615 4194304 4196468 140721611931376 140296138859808 140296936601751 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1204] ppid=1190 vsize=13980732 memory=7307210966322687442 CPUtime=0.27 cores=1,3,5,7
/proc/1192/task/1204/stat : 1204 (java) R 1190 1190 7968 0 -1 4202560 1674 0 0 0 26 1 0 0 20 0 15 0 34452790 14316269568 17791 18446744073709551615 4194304 4196468 140721611931376 140296137820784 140296958874202 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1205] ppid=1190 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1205/stat : 1205 (java) S 1190 1190 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34452790 14316269568 17791 18446744073709551615 4194304 4196468 140721611931376 140296136768224 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1206] ppid=1190 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1206/stat : 1206 (java) S 1190 1190 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34452794 14316269568 17791 18446744073709551615 4194304 4196468 140721611931376 140296135715504 140296958864002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 72544 KiB
[startup+1.50087 s]
/proc/loadavg: 1.88 1.48 1.49 5/213 1206
/proc/meminfo: memFree=30272216/32770624 swapFree=67108860/67108860
[pid=1190] ppid=1187 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1190/stat : 1190 (xcsp3-exec) S 1187 1190 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 34452775 9740288 345 18446744073709551615 4194304 5098028 140735454861184 140735454859288 140220874773116 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 24072192 140735454867834 140735454868038 140735454868038 140735454871531 0
/proc/1190/statm: 2378 345 289 221 0 87 0
[pid=1192] ppid=1190 vsize=13980732 memory=148892 CPUtime=3.79 cores=1,3,5,7
/proc/1192/stat : 1192 (java) S 1190 1190 7968 0 -1 1077944320 37780 0 0 0 370 9 0 0 20 0 15 0 34452784 14316269568 37223 18446744073709551615 4194304 4196468 140721611931376 140721611913920 140296958852855 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
/proc/1192/statm: 3495183 37223 3192 1 0 3483476 0
[pid=1192/tid=1193] ppid=1190 vsize=13980732 memory=84020 CPUtime=1.35 cores=1,3,5,7
/proc/1192/task/1193/stat : 1193 (java) R 1190 1190 7968 0 -1 4202560 8945 0 0 0 131 4 0 0 20 0 15 0 34452784 14316269568 37223 18446744073709551615 4194304 4196468 140721611931376 140296963085496 140296603458199 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1194] ppid=1190 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1194/stat : 1194 (java) S 1190 1190 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34452785 14316269568 37223 18446744073709551615 4194304 4196468 140721611931376 140296919751824 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1195] ppid=1190 vsize=13980732 memory=59484 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1195/stat : 1195 (java) S 1190 1190 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34452785 14316269568 37223 18446744073709551615 4194304 4196468 140721611931376 140296558406672 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1196] ppid=1190 vsize=13980732 memory=7441 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1196/stat : 1196 (java) S 1190 1190 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34452785 14316269568 37223 18446744073709551615 4194304 4196468 140721611931376 140296557353872 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1197] ppid=1190 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1197/stat : 1197 (java) S 1190 1190 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34452785 14316269568 37223 18446744073709551615 4194304 4196468 140721611931376 140296556301072 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1198] ppid=1190 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1198/stat : 1198 (java) S 1190 1190 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 34452787 14316269568 37223 18446744073709551615 4194304 4196468 140721611931376 140296144136560 140296958864002 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1199] ppid=1190 vsize=13980732 memory=55 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1199/stat : 1199 (java) S 1190 1190 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 34452787 14316269568 37735 18446744073709551615 4194304 4196468 140721611931376 140296143082528 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1200] ppid=1190 vsize=13980732 memory=11830 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/1192/task/1200/stat : 1200 (java) S 1190 1190 7968 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 34452787 14316269568 100244 18446744073709551615 4194304 4196468 140721611931376 140296142029696 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1201] ppid=1190 vsize=13980732 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1201/stat : 1201 (java) S 1190 1190 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34452790 14316269568 100244 18446744073709551615 4194304 4196468 140721611931376 140296140978000 140296958871451 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1202] ppid=1190 vsize=13980732 memory=4064 CPUtime=4.84 cores=1,3,5,7
/proc/1192/task/1202/stat : 1202 (java) S 1190 1190 7968 0 -1 1077944384 28897 0 0 0 481 3 0 0 20 0 15 0 34452790 14316269568 100244 18446744073709551615 4194304 4196468 140721611931376 140296139926384 140296958864002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1203] ppid=1190 vsize=13980732 memory=1380 CPUtime=4.54 cores=1,3,5,7
/proc/1192/task/1203/stat : 1203 (java) S 1190 1190 7968 0 -1 1077944384 43992 0 0 0 448 6 0 0 20 0 15 0 34452790 14316269568 100244 18446744073709551615 4194304 4196468 140721611931376 140296138873584 140296958864002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1204] ppid=1190 vsize=13980732 memory=395172 CPUtime=0.61 cores=1,3,5,7
/proc/1192/task/1204/stat : 1204 (java) S 1190 1190 7968 0 -1 1077944384 10204 0 0 0 59 2 0 0 20 0 15 0 34452790 14316269568 100244 18446744073709551615 4194304 4196468 140721611931376 140296137820784 140296958864002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1205] ppid=1190 vsize=13980732 memory=792 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1205/stat : 1205 (java) S 1190 1190 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34452790 14316269568 100244 18446744073709551615 4194304 4196468 140721611931376 140296136768224 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1206] ppid=1190 vsize=13980732 memory=8708 CPUtime=1.14 cores=1,3,5,7
/proc/1192/task/1206/stat : 1206 (java) S 1190 1190 7968 0 -1 1077944384 948 0 0 0 49 65 0 0 20 0 15 0 34452794 14316269568 100244 18446744073709551615 4194304 4196468 140721611931376 140296135715504 140296958864002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
Current children cumulated CPU time: 2382.8 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 402356 KiB
[startup+2382.3 s]
/proc/loadavg: 1.39 1.32 1.37 3/213 1792
/proc/meminfo: memFree=30402904/32770624 swapFree=67108860/67108860
[pid=1190] ppid=1187 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1190/stat : 1190 (xcsp3-exec) S 1187 1190 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 34452775 9740288 345 18446744073709551615 4194304 5098028 140735454861184 140735454859288 140220874773116 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 24072192 140735454867834 140735454868038 140735454868038 140735454871531 0
/proc/1190/statm: 2378 345 289 221 0 87 0
[pid=1192] ppid=1190 vsize=13980732 memory=408136 CPUtime=2443.9 cores=1,3,5,7
/proc/1192/stat : 1192 (java) S 1190 1190 7968 0 -1 1077944320 279805 0 0 0 244025 365 0 0 20 0 15 0 34452784 14316269568 102034 18446744073709551615 4194304 4196468 140721611931376 140721611913920 140296958852855 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
/proc/1192/statm: 3495183 102034 3253 1 0 3483476 0
[pid=1192/tid=1193] ppid=1190 vsize=13980732 memory=390332 CPUtime=2359.33 cores=1,3,5,7
/proc/1192/task/1193/stat : 1193 (java) R 1190 1190 7968 0 -1 4202560 106582 0 0 0 235898 35 0 0 20 0 15 0 34452784 14316269568 102034 18446744073709551615 4194304 4196468 140721611931376 140296963092304 140296604137797 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1194] ppid=1190 vsize=13980732 memory=395508 CPUtime=17.59 cores=1,3,5,7
/proc/1192/task/1194/stat : 1194 (java) S 1190 1190 7968 0 -1 1077944384 14643 0 0 0 1700 59 0 0 20 0 15 0 34452785 14316269568 102034 18446744073709551615 4194304 4196468 140721611931376 140296919751824 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1195] ppid=1190 vsize=13980732 memory=394952 CPUtime=17.58 cores=1,3,5,7
/proc/1192/task/1195/stat : 1195 (java) S 1190 1190 7968 0 -1 1077944384 15115 0 0 0 1697 61 0 0 20 0 15 0 34452785 14316269568 102034 18446744073709551615 4194304 4196468 140721611931376 140296558406672 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1196] ppid=1190 vsize=13980732 memory=392384 CPUtime=17.57 cores=1,3,5,7
/proc/1192/task/1196/stat : 1196 (java) S 1190 1190 7968 0 -1 1077944384 13694 0 0 0 1698 59 0 0 20 0 15 0 34452785 14316269568 102034 18446744073709551615 4194304 4196468 140721611931376 140296557353872 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1197] ppid=1190 vsize=13980732 memory=408136 CPUtime=17.55 cores=1,3,5,7
/proc/1192/task/1197/stat : 1197 (java) S 1190 1190 7968 0 -1 1077944384 13588 0 0 0 1700 55 0 0 20 0 15 0 34452785 14316269568 102034 18446744073709551615 4194304 4196468 140721611931376 140296556301072 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1198] ppid=1190 vsize=13980732 memory=408136 CPUtime=3.02 cores=1,3,5,7
/proc/1192/task/1198/stat : 1198 (java) S 1190 1190 7968 0 -1 1077944384 30774 0 0 0 258 44 0 0 20 0 15 0 34452787 14316269568 102034 18446744073709551615 4194304 4196468 140721611931376 140296144136560 140296958864002 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1199] ppid=1190 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1199/stat : 1199 (java) S 1190 1190 7968 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 34452787 14316269568 102034 18446744073709551615 4194304 4196468 140721611931376 140296143082528 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1200] ppid=1190 vsize=13980732 memory=792 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1200/stat : 1200 (java) S 1190 1190 7968 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 34452787 14316269568 102034 18446744073709551615 4194304 4196468 140721611931376 140296142029696 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1201] ppid=1190 vsize=13980732 memory=410476 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1201/stat : 1201 (java) S 1190 1190 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34452790 14316269568 102034 18446744073709551615 4194304 4196468 140721611931376 140296140978000 140296958871451 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1202] ppid=1190 vsize=13980732 memory=1380 CPUtime=4.84 cores=1,3,5,7
/proc/1192/task/1202/stat : 1202 (java) S 1190 1190 7968 0 -1 1077944384 28897 0 0 0 481 3 0 0 20 0 15 0 34452790 14316269568 102034 18446744073709551615 4194304 4196468 140721611931376 140296139926384 140296958864002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1203] ppid=1190 vsize=13980732 memory=1380 CPUtime=4.54 cores=1,3,5,7
/proc/1192/task/1203/stat : 1203 (java) S 1190 1190 7968 0 -1 1077944384 43992 0 0 0 448 6 0 0 20 0 15 0 34452790 14316269568 102034 18446744073709551615 4194304 4196468 140721611931376 140296138873584 140296958864002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1204] ppid=1190 vsize=13980732 memory=387812 CPUtime=0.61 cores=1,3,5,7
/proc/1192/task/1204/stat : 1204 (java) S 1190 1190 7968 0 -1 1077944384 10204 0 0 0 59 2 0 0 20 0 15 0 34452790 14316269568 102034 18446744073709551615 4194304 4196468 140721611931376 140296137820784 140296958864002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1205] ppid=1190 vsize=13980732 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1205/stat : 1205 (java) S 1190 1190 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34452790 14316269568 102034 18446744073709551615 4194304 4196468 140721611931376 140296136768224 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1206] ppid=1190 vsize=13980732 memory=4040 CPUtime=1.17 cores=1,3,5,7
/proc/1192/task/1206/stat : 1206 (java) S 1190 1190 7968 0 -1 1077944384 960 0 0 0 51 66 0 0 20 0 15 0 34452794 14316269568 102034 18446744073709551615 4194304 4196468 140721611931376 140296135715504 140296958864002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
Current children cumulated CPU time: 2443.9 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 409516 KiB
[startup+2442.3 s]
/proc/loadavg: 1.16 1.27 1.35 3/213 1797
/proc/meminfo: memFree=30430288/32770624 swapFree=67108860/67108860
[pid=1190] ppid=1187 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1190/stat : 1190 (xcsp3-exec) S 1187 1190 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 34452775 9740288 345 18446744073709551615 4194304 5098028 140735454861184 140735454859288 140220874773116 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 24072192 140735454867834 140735454868038 140735454868038 140735454871531 0
/proc/1190/statm: 2378 345 289 221 0 87 0
[pid=1192] ppid=1190 vsize=13980732 memory=378696 CPUtime=2505.14 cores=1,3,5,7
/proc/1192/stat : 1192 (java) S 1190 1190 7968 0 -1 1077944320 284026 0 0 0 250143 371 0 0 20 0 15 0 34452784 14316269568 94674 18446744073709551615 4194304 4196468 140721611931376 140721611913920 140296958852855 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
/proc/1192/statm: 3495183 94674 3253 1 0 3483476 0
[pid=1192/tid=1193] ppid=1190 vsize=13980732 memory=385564 CPUtime=2418.8 cores=1,3,5,7
/proc/1192/task/1193/stat : 1193 (java) R 1190 1190 7968 0 -1 4202560 109399 0 0 0 241845 35 0 0 20 0 15 0 34452784 14316269568 94674 18446744073709551615 4194304 4196468 140721611931376 140296963092192 140296607242255 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1194] ppid=1190 vsize=13980732 memory=394952 CPUtime=17.99 cores=1,3,5,7
/proc/1192/task/1194/stat : 1194 (java) S 1190 1190 7968 0 -1 1077944384 14807 0 0 0 1740 59 0 0 20 0 15 0 34452785 14316269568 94674 18446744073709551615 4194304 4196468 140721611931376 140296919751824 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1195] ppid=1190 vsize=13980732 memory=392384 CPUtime=18 cores=1,3,5,7
/proc/1192/task/1195/stat : 1195 (java) S 1190 1190 7968 0 -1 1077944384 15420 0 0 0 1738 62 0 0 20 0 15 0 34452785 14316269568 94674 18446744073709551615 4194304 4196468 140721611931376 140296558406672 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1196] ppid=1190 vsize=13980732 memory=404032 CPUtime=17.99 cores=1,3,5,7
/proc/1192/task/1196/stat : 1196 (java) S 1190 1190 7968 0 -1 1077944384 13964 0 0 0 1739 60 0 0 20 0 15 0 34452785 14316269568 94674 18446744073709551615 4194304 4196468 140721611931376 140296557353872 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1197] ppid=1190 vsize=13980732 memory=391752 CPUtime=17.98 cores=1,3,5,7
/proc/1192/task/1197/stat : 1197 (java) S 1190 1190 7968 0 -1 1077944384 13969 0 0 0 1742 56 0 0 20 0 15 0 34452785 14316269568 94674 18446744073709551615 4194304 4196468 140721611931376 140296556301072 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1198] ppid=1190 vsize=13980732 memory=384056 CPUtime=3.08 cores=1,3,5,7
/proc/1192/task/1198/stat : 1198 (java) S 1190 1190 7968 0 -1 1077944384 31046 0 0 0 263 45 0 0 20 0 15 0 34452787 14316269568 94674 18446744073709551615 4194304 4196468 140721611931376 140296144136560 140296958864002 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1199] ppid=1190 vsize=13980732 memory=376872 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1199/stat : 1199 (java) S 1190 1190 7968 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 34452787 14316269568 94674 18446744073709551615 4194304 4196468 140721611931376 140296143082528 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1200] ppid=1190 vsize=13980732 memory=376360 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1200/stat : 1200 (java) S 1190 1190 7968 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 34452787 14316269568 94674 18446744073709551615 4194304 4196468 140721611931376 140296142029696 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1201] ppid=1190 vsize=13980732 memory=378696 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1201/stat : 1201 (java) S 1190 1190 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34452790 14316269568 94674 18446744073709551615 4194304 4196468 140721611931376 140296140978000 140296958871451 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1202] ppid=1190 vsize=13980732 memory=1380 CPUtime=4.84 cores=1,3,5,7
/proc/1192/task/1202/stat : 1202 (java) S 1190 1190 7968 0 -1 1077944384 28899 0 0 0 481 3 0 0 20 0 15 0 34452790 14316269568 94674 18446744073709551615 4194304 4196468 140721611931376 140296139926384 140296958864002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1203] ppid=1190 vsize=13980732 memory=1380 CPUtime=4.54 cores=1,3,5,7
/proc/1192/task/1203/stat : 1203 (java) S 1190 1190 7968 0 -1 1077944384 43994 0 0 0 448 6 0 0 20 0 15 0 34452790 14316269568 94674 18446744073709551615 4194304 4196468 140721611931376 140296138873584 140296958864002 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1204] ppid=1190 vsize=13980732 memory=369852 CPUtime=0.61 cores=1,3,5,7
/proc/1192/task/1204/stat : 1204 (java) S 1190 1190 7968 0 -1 1077944384 10206 0 0 0 59 2 0 0 20 0 15 0 34452790 14316269568 94674 18446744073709551615 4194304 4196468 140721611931376 140296137820784 140296958864002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1205] ppid=1190 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1205/stat : 1205 (java) S 1190 1190 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34452790 14316269568 94674 18446744073709551615 4194304 4196468 140721611931376 140296136768224 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1206] ppid=1190 vsize=13980732 memory=369852 CPUtime=1.19 cores=1,3,5,7
/proc/1192/task/1206/stat : 1206 (java) S 1190 1190 7968 0 -1 1077944384 966 0 0 0 52 67 0 0 20 0 15 0 34452794 14316269568 94674 18446744073709551615 4194304 4196468 140721611931376 140296135715504 140296958864002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
Current children cumulated CPU time: 2505.14 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 380076 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2457 s]*
/proc/loadavg: 1.27 1.29 1.36 3/213 1797
/proc/meminfo: memFree=30449696/32770624 swapFree=67108860/67108860
[pid=1190] ppid=1187 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1190/stat : 1190 (xcsp3-exec) S 1187 1190 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 34452775 9740288 345 18446744073709551615 4194304 5098028 140735454861184 140735454859288 140220874773116 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 24072192 140735454867834 140735454868038 140735454868038 140735454871531 0
/proc/1190/statm: 2378 345 289 221 0 87 0
[pid=1192] ppid=1190 vsize=13980732 memory=375396 CPUtime=2520.09 cores=1,3,5,7
/proc/1192/stat : 1192 (java) S 1190 1190 7968 0 -1 1077944320 284591 0 0 0 251636 373 0 0 20 0 15 0 34452784 14316269568 93849 18446744073709551615 4194304 4196468 140721611931376 140721611913920 140296958852855 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
/proc/1192/statm: 3495183 93849 3253 1 0 3483476 0
[pid=1192/tid=1193] ppid=1190 vsize=13980732 memory=4278483708103473607 CPUtime=2433.41 cores=1,3,5,7
/proc/1192/task/1193/stat : 1193 (java) R 1190 1190 7968 0 -1 4202560 109919 0 0 0 243306 35 0 0 20 0 15 0 34452784 14316269568 93849 18446744073709551615 4194304 4196468 140721611931376 140296963092304 140296604240335 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1194] ppid=1190 vsize=13980732 memory=4126316290023845779 CPUtime=18.09 cores=1,3,5,7
/proc/1192/task/1194/stat : 1194 (java) S 1190 1190 7968 0 -1 1077944384 14819 0 0 0 1749 60 0 0 20 0 15 0 34452785 14316269568 93849 18446744073709551615 4194304 4196468 140721611931376 140296919751824 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1195] ppid=1190 vsize=13980732 memory=-4695052241013923951 CPUtime=18.08 cores=1,3,5,7
/proc/1192/task/1195/stat : 1195 (java) S 1190 1190 7968 0 -1 1077944384 15432 0 0 0 1746 62 0 0 20 0 15 0 34452785 14316269568 93849 18446744073709551615 4194304 4196468 140721611931376 140296558406672 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1196] ppid=1190 vsize=13980732 memory=-4695052241013923951 CPUtime=18.07 cores=1,3,5,7
/proc/1192/task/1196/stat : 1196 (java) S 1190 1190 7968 0 -1 1077944384 13970 0 0 0 1747 60 0 0 20 0 15 0 34452785 14316269568 93849 18446744073709551615 4194304 4196468 140721611931376 140296557353872 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1197] ppid=1190 vsize=13980732 memory=-8096454439705354400 CPUtime=18.06 cores=1,3,5,7
/proc/1192/task/1197/stat : 1197 (java) S 1190 1190 7968 0 -1 1077944384 13972 0 0 0 1750 56 0 0 20 0 15 0 34452785 14316269568 93849 18446744073709551615 4194304 4196468 140721611931376 140296556301072 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1198] ppid=1190 vsize=13980732 memory=-2541025662029814883 CPUtime=3.09 cores=1,3,5,7
/proc/1192/task/1198/stat : 1198 (java) S 1190 1190 7968 0 -1 1077944384 31056 0 0 0 264 45 0 0 20 0 15 0 34452787 14316269568 93849 18446744073709551615 4194304 4196468 140721611931376 140296144136560 140296958864002 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1199] ppid=1190 vsize=13980732 memory=-3967418655009478193 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1199/stat : 1199 (java) S 1190 1190 7968 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 34452787 14316269568 93849 18446744073709551615 4194304 4196468 140721611931376 140296143082528 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1200] ppid=1190 vsize=13980732 memory=-2897801490638248215 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1200/stat : 1200 (java) S 1190 1190 7968 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 34452787 14316269568 93849 18446744073709551615 4194304 4196468 140721611931376 140296142029696 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1201] ppid=1190 vsize=13980732 memory=-6800859132029471843 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1201/stat : 1201 (java) S 1190 1190 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34452790 14316269568 93849 18446744073709551615 4194304 4196468 140721611931376 140296140978000 140296958871451 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1202] ppid=1190 vsize=13980732 memory=-3253322038155611931 CPUtime=4.84 cores=1,3,5,7
/proc/1192/task/1202/stat : 1202 (java) S 1190 1190 7968 0 -1 1077944384 28899 0 0 0 481 3 0 0 20 0 15 0 34452790 14316269568 93849 18446744073709551615 4194304 4196468 140721611931376 140296139926384 140296958864002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1203] ppid=1190 vsize=13980732 memory=-9174445032661854264 CPUtime=4.54 cores=1,3,5,7
/proc/1192/task/1203/stat : 1203 (java) S 1190 1190 7968 0 -1 1077944384 43994 0 0 0 448 6 0 0 20 0 15 0 34452790 14316269568 93849 18446744073709551615 4194304 4196468 140721611931376 140296138873584 140296958864002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1204] ppid=1190 vsize=13980732 memory=-1807685287724412255 CPUtime=0.61 cores=1,3,5,7
/proc/1192/task/1204/stat : 1204 (java) S 1190 1190 7968 0 -1 1077944384 10206 0 0 0 59 2 0 0 20 0 15 0 34452790 14316269568 93849 18446744073709551615 4194304 4196468 140721611931376 140296137820784 140296958864002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1205] ppid=1190 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1192/task/1205/stat : 1205 (java) S 1190 1190 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34452790 14316269568 93849 18446744073709551615 4194304 4196468 140721611931376 140296136768224 140296958863061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
[pid=1192/tid=1206] ppid=1190 vsize=13980732 memory=0 CPUtime=1.21 cores=1,3,5,7
/proc/1192/task/1206/stat : 1206 (java) S 1190 1190 7968 0 -1 1077944384 968 0 0 0 53 68 0 0 20 0 15 0 34452794 14316269568 93849 18446744073709551615 4194304 4196468 140721611931376 140296135715504 140296958864002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34713600 140721611940274 140721611940450 140721611940450 140721611943887 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 376776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2457.02 s]
# the end of solver process 1190 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000855 s, system=0.001257 s
[startup+2457.02 s]
# the end of solver process 1192 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.38 s, system=3.74253 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2457.02
CPU time (s): 2520.12
CPU user time (s): 2516.38
CPU system time (s): 3.74253
CPU usage (%): 102.568
Max. virtual memory (cumulated for all children) (KiB): 13992536
Max. memory (cumulated for all children) (KiB): 508816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.38
system time used= 3.74253
maximum resident set size= 529596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285292
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122919
involuntary context switches= 5106
# summary of solver processes directly reported to runsolver:
# pid: 1190,1192
# total CPU time (s): 2520.12
# total CPU user time (s): 2516.38
# total CPU system time (s): 3.74253
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9111 second user time and 24.5997 second system time
The end