runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254362-1501616267/watcher-4254362-1501616267 -o /tmp/evaluation-result-4254362-1501616267/solver-4254362-1501616267 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501611185-5152 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1883098582 HOME/instance-4254362-1501616267.xml
pid=9403
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.68 1.72 1.77 3/197 9406
/proc/meminfo: memFree=31808212/32770624 swapFree=0/185380
[pid=9406] ppid=9403 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (runsolver) D 9403 9406 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10249839 24240128 106 18446744073709551615 4194304 4338465 140726073080080 140726073077720 140075332154071 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 12775424 140726073081949 140726073082438 140726073082438 140726073085898 0
/proc/9406/statm: 5918 106 53 36 0 2156 0
[startup+0.100132 s]
/proc/loadavg: 1.68 1.72 1.77 3/197 9406
/proc/meminfo: memFree=31808212/32770624 swapFree=0/185380
[pid=9406] ppid=9403 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (xcsp3-exec) S 9403 9406 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10249839 9740288 344 18446744073709551615 4194304 5098028 140736140184720 140736140182824 140219660608124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23134208 140736140190107 140736140190311 140736140190311 140736140193771 0
/proc/9406/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20028 s]
/proc/loadavg: 1.68 1.72 1.77 3/197 9406
/proc/meminfo: memFree=31808212/32770624 swapFree=0/185380
[pid=9406] ppid=9403 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (xcsp3-exec) S 9403 9406 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10249839 9740288 344 18446744073709551615 4194304 5098028 140736140184720 140736140182824 140219660608124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23134208 140736140190107 140736140190311 140736140190311 140736140193771 0
/proc/9406/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.309714 s]
/proc/loadavg: 1.68 1.72 1.77 3/197 9406
/proc/meminfo: memFree=31808212/32770624 swapFree=0/185380
[pid=9406] ppid=9403 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (xcsp3-exec) S 9403 9406 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10249839 9740288 344 18446744073709551615 4194304 5098028 140736140184720 140736140182824 140219660608124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23134208 140736140190107 140736140190311 140736140190311 140736140193771 0
/proc/9406/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.704711 s]
/proc/loadavg: 1.68 1.72 1.77 3/197 9406
/proc/meminfo: memFree=31808212/32770624 swapFree=0/185380
[pid=9406] ppid=9403 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (xcsp3-exec) S 9403 9406 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10249839 9740288 344 18446744073709551615 4194304 5098028 140736140184720 140736140182824 140219660608124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23134208 140736140190107 140736140190311 140736140190311 140736140193771 0
/proc/9406/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50064 s]
/proc/loadavg: 1.68 1.72 1.77 5/213 9422
/proc/meminfo: memFree=31741488/32770624 swapFree=0/185380
[pid=9406] ppid=9403 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (xcsp3-exec) S 9403 9406 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10249839 9740288 344 18446744073709551615 4194304 5098028 140736140184720 140736140182824 140219660608124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23134208 140736140190107 140736140190311 140736140190311 140736140193771 0
/proc/9406/statm: 2378 344 289 221 0 87 0
[pid=9408] ppid=9406 vsize=13980732 CPUtime=3.62 cores=1,3,5,7
/proc/9408/stat : 9408 (java) S 9406 9406 5091 0 -1 1077944320 22076 0 0 0 355 7 0 0 20 0 15 0 10249849 14316269568 20042 18446744073709551615 4194304 4196468 140722634628672 140722634611216 139715642121975 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
/proc/9408/statm: 3495183 20042 3190 1 0 3483484 0
[pid=9408/tid=9409] ppid=9406 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/9408/task/9409/stat : 9409 (java) R 9406 9406 5091 0 -1 4202560 8751 0 0 0 130 4 0 0 20 0 15 0 10249849 14316269568 20042 18446744073709551615 4194304 4196468 140722634628672 139715646359456 139715239182728 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9410] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9410/stat : 9410 (java) S 9406 9406 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10249850 14316269568 20042 18446744073709551615 4194304 4196468 140722634628672 139715561536656 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9411] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9411/stat : 9411 (java) S 9406 9406 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10249850 14316269568 20042 18446744073709551615 4194304 4196468 140722634628672 139715560483856 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9412] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9412/stat : 9412 (java) S 9406 9406 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10249850 14316269568 20042 18446744073709551615 4194304 4196468 140722634628672 139715559431056 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9413] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9413/stat : 9413 (java) S 9406 9406 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10249850 14316269568 20042 18446744073709551615 4194304 4196468 140722634628672 139715558378256 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9414] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9414/stat : 9414 (java) S 9406 9406 5091 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 10249851 14316269568 20042 18446744073709551615 4194304 4196468 140722634628672 139715120695664 139715642133122 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9415] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9415/stat : 9415 (java) S 9406 9406 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10249852 14316269568 20042 18446744073709551615 4194304 4196468 140722634628672 139715119641632 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9416] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9416/stat : 9416 (java) S 9406 9406 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10249852 14316269568 20042 18446744073709551615 4194304 4196468 140722634628672 139715118588784 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9417] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9417/stat : 9417 (java) S 9406 9406 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10249854 14316269568 20042 18446744073709551615 4194304 4196468 140722634628672 139715117537104 139715642140571 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9418] ppid=9406 vsize=13980732 CPUtime=0.96 cores=1,3,5,7
/proc/9408/task/9418/stat : 9418 (java) S 9406 9406 5091 0 -1 1077944384 5356 0 0 0 96 0 0 0 20 0 15 0 10249854 14316269568 20042 18446744073709551615 4194304 4196468 140722634628672 139715116485488 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9419] ppid=9406 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/9408/task/9419/stat : 9419 (java) S 9406 9406 5091 0 -1 1077944384 4831 0 0 0 94 0 0 0 20 0 15 0 10249854 14316269568 20042 18446744073709551615 4194304 4196468 140722634628672 139715115432688 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9420] ppid=9406 vsize=13980732 CPUtime=0.32 cores=1,3,5,7
/proc/9408/task/9420/stat : 9420 (java) S 9406 9406 5091 0 -1 1077944384 1825 0 0 0 32 0 0 0 20 0 15 0 10249854 14316269568 20042 18446744073709551615 4194304 4196468 140722634628672 139715114379888 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9421] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9421/stat : 9421 (java) S 9406 9406 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10249855 14316269568 20042 18446744073709551615 4194304 4196468 140722634628672 139715113327328 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9422] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9422/stat : 9422 (java) S 9406 9406 5091 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10249859 14316269568 20042 18446744073709551615 4194304 4196468 140722634628672 139715112274608 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 13990244
[startup+3.10059 s]
/proc/loadavg: 1.63 1.71 1.77 4/213 9422
/proc/meminfo: memFree=31738324/32770624 swapFree=0/185380
[pid=9406] ppid=9403 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (xcsp3-exec) S 9403 9406 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10249839 9740288 344 18446744073709551615 4194304 5098028 140736140184720 140736140182824 140219660608124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23134208 140736140190107 140736140190311 140736140190311 140736140193771 0
/proc/9406/statm: 2378 344 289 221 0 87 0
[pid=9408] ppid=9406 vsize=13980732 CPUtime=5.77 cores=1,3,5,7
/proc/9408/stat : 9408 (java) S 9406 9406 5091 0 -1 1077944320 24474 0 0 0 570 7 0 0 20 0 15 0 10249849 14316269568 21782 18446744073709551615 4194304 4196468 140722634628672 140722634611216 139715642121975 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
/proc/9408/statm: 3495183 21782 3194 1 0 3483484 0
[pid=9408/tid=9409] ppid=9406 vsize=13980732 CPUtime=2.94 cores=1,3,5,7
/proc/9408/task/9409/stat : 9409 (java) R 9406 9406 5091 0 -1 4202560 8841 0 0 0 290 4 0 0 20 0 15 0 10249849 14316269568 21782 18446744073709551615 4194304 4196468 140722634628672 139715646359184 139715239182388 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9410] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9410/stat : 9410 (java) S 9406 9406 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10249850 14316269568 21782 18446744073709551615 4194304 4196468 140722634628672 139715561536656 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9411] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9411/stat : 9411 (java) S 9406 9406 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10249850 14316269568 21782 18446744073709551615 4194304 4196468 140722634628672 139715560483856 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9412] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9412/stat : 9412 (java) S 9406 9406 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10249850 14316269568 21782 18446744073709551615 4194304 4196468 140722634628672 139715559431056 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9413] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9413/stat : 9413 (java) S 9406 9406 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10249850 14316269568 21782 18446744073709551615 4194304 4196468 140722634628672 139715558378256 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9414] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9414/stat : 9414 (java) S 9406 9406 5091 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 10249851 14316269568 21782 18446744073709551615 4194304 4196468 140722634628672 139715120695664 139715642133122 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9415] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9415/stat : 9415 (java) S 9406 9406 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10249852 14316269568 21782 18446744073709551615 4194304 4196468 140722634628672 139715119641632 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9416] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9416/stat : 9416 (java) S 9406 9406 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10249852 14316269568 21782 18446744073709551615 4194304 4196468 140722634628672 139715118588784 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9417] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9417/stat : 9417 (java) S 9406 9406 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10249854 14316269568 21782 18446744073709551615 4194304 4196468 140722634628672 139715117537104 139715642140571 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9418] ppid=9406 vsize=13980732 CPUtime=1.3 cores=1,3,5,7
/proc/9408/task/9418/stat : 9418 (java) R 9406 9406 5091 0 -1 4202560 6619 0 0 0 129 1 0 0 20 0 15 0 10249854 14316269568 21782 18446744073709551615 4194304 4196468 140722634628672 139715116466448 139715626515732 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9419] ppid=9406 vsize=13980732 CPUtime=1.16 cores=1,3,5,7
/proc/9408/task/9419/stat : 9419 (java) R 9406 9406 5091 0 -1 4202560 5808 0 0 0 115 1 0 0 20 0 15 0 10249854 14316269568 21782 18446744073709551615 4194304 4196468 140722634628672 139715115412128 139715626518811 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9420] ppid=9406 vsize=13980732 CPUtime=0.34 cores=1,3,5,7
/proc/9408/task/9420/stat : 9420 (java) S 9406 9406 5091 0 -1 1077944384 1865 0 0 0 34 0 0 0 20 0 15 0 10249854 14316269568 21782 18446744073709551615 4194304 4196468 140722634628672 139715114379888 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9421] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9421/stat : 9421 (java) S 9406 9406 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10249855 14316269568 21782 18446744073709551615 4194304 4196468 140722634628672 139715113327328 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9422] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9422/stat : 9422 (java) S 9406 9406 5091 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 10249859 14316269568 21782 18446744073709551615 4194304 4196468 140722634628672 139715112274608 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 13990244
[startup+6.3006 s]
/proc/loadavg: 1.63 1.71 1.77 3/213 9422
/proc/meminfo: memFree=31702916/32770624 swapFree=0/185392
[pid=9406] ppid=9403 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (xcsp3-exec) S 9403 9406 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10249839 9740288 344 18446744073709551615 4194304 5098028 140736140184720 140736140182824 140219660608124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23134208 140736140190107 140736140190311 140736140190311 140736140193771 0
/proc/9406/statm: 2378 344 289 221 0 87 0
[pid=9408] ppid=9406 vsize=13980732 CPUtime=9.81 cores=1,3,5,7
/proc/9408/stat : 9408 (java) S 9406 9406 5091 0 -1 1077944320 33157 0 0 0 972 9 0 0 20 0 15 0 10249849 14316269568 30889 18446744073709551615 4194304 4196468 140722634628672 140722634611216 139715642121975 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
/proc/9408/statm: 3495183 30889 3198 1 0 3483484 0
[pid=9408/tid=9409] ppid=9406 vsize=13980732 CPUtime=6.14 cores=1,3,5,7
/proc/9408/task/9409/stat : 9409 (java) R 9406 9406 5091 0 -1 4202560 9457 0 0 0 609 5 0 0 20 0 15 0 10249849 14316269568 30889 18446744073709551615 4194304 4196468 140722634628672 139715646359200 139715239182624 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9410] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9410/stat : 9410 (java) S 9406 9406 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10249850 14316269568 30889 18446744073709551615 4194304 4196468 140722634628672 139715561536656 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9411] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9411/stat : 9411 (java) S 9406 9406 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10249850 14316269568 30889 18446744073709551615 4194304 4196468 140722634628672 139715560483856 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9412] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9412/stat : 9412 (java) S 9406 9406 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10249850 14316269568 30889 18446744073709551615 4194304 4196468 140722634628672 139715559431056 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9413] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9413/stat : 9413 (java) S 9406 9406 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10249850 14316269568 30889 18446744073709551615 4194304 4196468 140722634628672 139715558378256 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9414] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9414/stat : 9414 (java) S 9406 9406 5091 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 10249851 14316269568 30889 18446744073709551615 4194304 4196468 140722634628672 139715120695664 139715642133122 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9415] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9415/stat : 9415 (java) S 9406 9406 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10249852 14316269568 30889 18446744073709551615 4194304 4196468 140722634628672 139715119641632 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9416] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9416/stat : 9416 (java) S 9406 9406 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10249852 14316269568 30889 18446744073709551615 4194304 4196468 140722634628672 139715118588784 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9417] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9417/stat : 9417 (java) S 9406 9406 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10249854 14316269568 30889 18446744073709551615 4194304 4196468 140722634628672 139715117537104 139715642140571 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9418] ppid=9406 vsize=13980732 CPUtime=1.71 cores=1,3,5,7
/proc/9408/task/9418/stat : 9418 (java) S 9406 9406 5091 0 -1 1077944384 9153 0 0 0 170 1 0 0 20 0 15 0 10249854 14316269568 30889 18446744073709551615 4194304 4196468 140722634628672 139715116485488 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9419] ppid=9406 vsize=13980732 CPUtime=1.56 cores=1,3,5,7
/proc/9408/task/9419/stat : 9419 (java) S 9406 9406 5091 0 -1 1077944384 9710 0 0 0 155 1 0 0 20 0 15 0 10249854 14316269568 30889 18446744073709551615 4194304 4196468 140722634628672 139715115432688 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9420] ppid=9406 vsize=13980732 CPUtime=0.37 cores=1,3,5,7
/proc/9408/task/9420/stat : 9420 (java) S 9406 9406 5091 0 -1 1077944384 2442 0 0 0 36 1 0 0 20 0 15 0 10249854 14316269568 30889 18446744073709551615 4194304 4196468 140722634628672 139715114379888 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9421] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9421/stat : 9421 (java) S 9406 9406 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10249855 14316269568 30889 18446744073709551615 4194304 4196468 140722634628672 139715113327328 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9422] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9422/stat : 9422 (java) S 9406 9406 5091 0 -1 1077944384 783 0 0 0 0 0 0 0 20 0 15 0 10249859 14316269568 30889 18446744073709551615 4194304 4196468 140722634628672 139715112274608 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
Current children cumulated CPU time (s) 9.81
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.66 1.71 1.77 3/213 9422
/proc/meminfo: memFree=31668328/32770624 swapFree=0/185400
[pid=9406] ppid=9403 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (xcsp3-exec) S 9403 9406 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10249839 9740288 344 18446744073709551615 4194304 5098028 140736140184720 140736140182824 140219660608124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23134208 140736140190107 140736140190311 140736140190311 140736140193771 0
/proc/9406/statm: 2378 344 289 221 0 87 0
[pid=9408] ppid=9406 vsize=13980732 CPUtime=16.26 cores=1,3,5,7
/proc/9408/stat : 9408 (java) S 9406 9406 5091 0 -1 1077944320 35188 0 0 0 1617 9 0 0 20 0 15 0 10249849 14316269568 38761 18446744073709551615 4194304 4196468 140722634628672 140722634611216 139715642121975 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
/proc/9408/statm: 3495183 38761 3198 1 0 3483484 0
[pid=9408/tid=9409] ppid=9406 vsize=13980732 CPUtime=12.54 cores=1,3,5,7
/proc/9408/task/9409/stat : 9409 (java) R 9406 9406 5091 0 -1 4202560 10060 0 0 0 1249 5 0 0 20 0 15 0 10249849 14316269568 38761 18446744073709551615 4194304 4196468 140722634628672 139715646358432 139715240085420 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9410] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9410/stat : 9410 (java) S 9406 9406 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10249850 14316269568 38761 18446744073709551615 4194304 4196468 140722634628672 139715561536656 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9411] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9411/stat : 9411 (java) S 9406 9406 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10249850 14316269568 38761 18446744073709551615 4194304 4196468 140722634628672 139715560483856 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
################
# More data... #
################
/proc/9408/stat : 9408 (java) S 9406 9406 5091 0 -1 1077944320 46147 0 0 0 10590 13 0 0 20 0 15 0 10249849 14316269568 51920 18446744073709551615 4194304 4196468 140722634628672 140722634611216 139715642121975 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
/proc/9408/statm: 3495183 51920 3223 1 0 3483484 0
[pid=9408/tid=9409] ppid=9406 vsize=13980732 CPUtime=102.11 cores=1,3,5,7
/proc/9408/task/9409/stat : 9409 (java) R 9406 9406 5091 0 -1 4202560 12179 0 0 0 10205 6 0 0 20 0 15 0 10249849 14316269568 51920 18446744073709551615 4194304 4196468 140722634628672 139715646360688 139715239182488 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9410] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9410/stat : 9410 (java) S 9406 9406 5091 0 -1 1077944384 529 0 0 0 0 0 0 0 20 0 15 0 10249850 14316269568 51920 18446744073709551615 4194304 4196468 140722634628672 139715561536656 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9411] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9411/stat : 9411 (java) S 9406 9406 5091 0 -1 1077944384 1219 0 0 0 0 0 0 0 20 0 15 0 10249850 14316269568 51920 18446744073709551615 4194304 4196468 140722634628672 139715560483856 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9412] ppid=9406 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9408/task/9412/stat : 9412 (java) S 9406 9406 5091 0 -1 1077944384 533 0 0 0 1 0 0 0 20 0 15 0 10249850 14316269568 51920 18446744073709551615 4194304 4196468 140722634628672 139715559431056 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9413] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9413/stat : 9413 (java) S 9406 9406 5091 0 -1 1077944384 679 0 0 0 0 0 0 0 20 0 15 0 10249850 14316269568 51920 18446744073709551615 4194304 4196468 140722634628672 139715558378256 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9414] ppid=9406 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9408/task/9414/stat : 9414 (java) S 9406 9406 5091 0 -1 1077944384 1154 0 0 0 1 0 0 0 20 0 15 0 10249851 14316269568 51920 18446744073709551615 4194304 4196468 140722634628672 139715120695664 139715642133122 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9415] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9415/stat : 9415 (java) S 9406 9406 5091 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10249852 14316269568 51920 18446744073709551615 4194304 4196468 140722634628672 139715119641632 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9416] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9416/stat : 9416 (java) S 9406 9406 5091 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10249852 14316269568 51920 18446744073709551615 4194304 4196468 140722634628672 139715118588784 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9417] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9417/stat : 9417 (java) S 9406 9406 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10249854 14316269568 51920 18446744073709551615 4194304 4196468 140722634628672 139715117537104 139715642140571 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9418] ppid=9406 vsize=13980732 CPUtime=1.76 cores=1,3,5,7
/proc/9408/task/9418/stat : 9418 (java) S 9406 9406 5091 0 -1 1077944384 10961 0 0 0 175 1 0 0 20 0 15 0 10249854 14316269568 51920 18446744073709551615 4194304 4196468 140722634628672 139715116485488 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9419] ppid=9406 vsize=13980732 CPUtime=1.64 cores=1,3,5,7
/proc/9408/task/9419/stat : 9419 (java) S 9406 9406 5091 0 -1 1077944384 11682 0 0 0 163 1 0 0 20 0 15 0 10249854 14316269568 51920 18446744073709551615 4194304 4196468 140722634628672 139715115432688 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9420] ppid=9406 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/9408/task/9420/stat : 9420 (java) S 9406 9406 5091 0 -1 1077944384 4928 0 0 0 39 1 0 0 20 0 15 0 10249854 14316269568 51920 18446744073709551615 4194304 4196468 140722634628672 139715114379888 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9421] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9421/stat : 9421 (java) S 9406 9406 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10249855 14316269568 51920 18446744073709551615 4194304 4196468 140722634628672 139715113327328 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9422] ppid=9406 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9408/task/9422/stat : 9422 (java) S 9406 9406 5091 0 -1 1077944384 931 0 0 0 0 1 0 0 20 0 15 0 10249859 14316269568 51920 18446744073709551615 4194304 4196468 140722634628672 139715112274608 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
Current children cumulated CPU time (s) 106.03
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.75 1.75 1.77 3/211 9428
/proc/meminfo: memFree=31580612/32770624 swapFree=0/185484
[pid=9406] ppid=9403 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (xcsp3-exec) S 9403 9406 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10249839 9740288 344 18446744073709551615 4194304 5098028 140736140184720 140736140182824 140219660608124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23134208 140736140190107 140736140190311 140736140190311 140736140193771 0
/proc/9406/statm: 2378 344 289 221 0 87 0
[pid=9408] ppid=9406 vsize=13980732 CPUtime=166.07 cores=1,3,5,7
/proc/9408/stat : 9408 (java) S 9406 9406 5091 0 -1 1077944320 48514 0 0 0 16592 15 0 0 20 0 15 0 10249849 14316269568 51532 18446744073709551615 4194304 4196468 140722634628672 140722634611216 139715642121975 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
/proc/9408/statm: 3495183 51532 3223 1 0 3483484 0
[pid=9408/tid=9409] ppid=9406 vsize=13980732 CPUtime=162.08 cores=1,3,5,7
/proc/9408/task/9409/stat : 9409 (java) R 9406 9406 5091 0 -1 4202560 12816 0 0 0 16202 6 0 0 20 0 15 0 10249849 14316269568 51532 18446744073709551615 4194304 4196468 140722634628672 139715646361552 139715240019131 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9410] ppid=9406 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9408/task/9410/stat : 9410 (java) S 9406 9406 5091 0 -1 1077944384 589 0 0 0 1 0 0 0 20 0 15 0 10249850 14316269568 51532 18446744073709551615 4194304 4196468 140722634628672 139715561536656 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9411] ppid=9406 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9408/task/9411/stat : 9411 (java) S 9406 9406 5091 0 -1 1077944384 1597 0 0 0 1 0 0 0 20 0 15 0 10249850 14316269568 51532 18446744073709551615 4194304 4196468 140722634628672 139715560483856 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9412] ppid=9406 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9408/task/9412/stat : 9412 (java) S 9406 9406 5091 0 -1 1077944384 549 0 0 0 1 0 0 0 20 0 15 0 10249850 14316269568 51532 18446744073709551615 4194304 4196468 140722634628672 139715559431056 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9413] ppid=9406 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9408/task/9413/stat : 9413 (java) S 9406 9406 5091 0 -1 1077944384 701 0 0 0 1 0 0 0 20 0 15 0 10249850 14316269568 51532 18446744073709551615 4194304 4196468 140722634628672 139715558378256 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9414] ppid=9406 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9408/task/9414/stat : 9414 (java) S 9406 9406 5091 0 -1 1077944384 1381 0 0 0 1 0 0 0 20 0 15 0 10249851 14316269568 51532 18446744073709551615 4194304 4196468 140722634628672 139715120695664 139715642133122 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9415] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9415/stat : 9415 (java) S 9406 9406 5091 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10249852 14316269568 51532 18446744073709551615 4194304 4196468 140722634628672 139715119641632 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9416] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9416/stat : 9416 (java) S 9406 9406 5091 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10249852 14316269568 51532 18446744073709551615 4194304 4196468 140722634628672 139715118588784 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9417] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9417/stat : 9417 (java) S 9406 9406 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10249854 14316269568 51532 18446744073709551615 4194304 4196468 140722634628672 139715117537104 139715642140571 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9418] ppid=9406 vsize=13980732 CPUtime=1.76 cores=1,3,5,7
/proc/9408/task/9418/stat : 9418 (java) S 9406 9406 5091 0 -1 1077944384 10968 0 0 0 175 1 0 0 20 0 15 0 10249854 14316269568 51532 18446744073709551615 4194304 4196468 140722634628672 139715116485488 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9419] ppid=9406 vsize=13980732 CPUtime=1.66 cores=1,3,5,7
/proc/9408/task/9419/stat : 9419 (java) S 9406 9406 5091 0 -1 1077944384 12542 0 0 0 165 1 0 0 20 0 15 0 10249854 14316269568 51532 18446744073709551615 4194304 4196468 140722634628672 139715115432688 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9420] ppid=9406 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/9408/task/9420/stat : 9420 (java) S 9406 9406 5091 0 -1 1077944384 5042 0 0 0 39 1 0 0 20 0 15 0 10249854 14316269568 51532 18446744073709551615 4194304 4196468 140722634628672 139715114379888 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9421] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9421/stat : 9421 (java) S 9406 9406 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10249855 14316269568 51532 18446744073709551615 4194304 4196468 140722634628672 139715113327328 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9422] ppid=9406 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/9408/task/9422/stat : 9422 (java) S 9406 9406 5091 0 -1 1077944384 977 0 0 0 1 2 0 0 20 0 15 0 10249859 14316269568 51532 18446744073709551615 4194304 4196468 140722634628672 139715112274608 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
Current children cumulated CPU time (s) 166.07
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.55 1.68 1.75 3/211 9507
/proc/meminfo: memFree=31532040/32770624 swapFree=0/185572
[pid=9406] ppid=9403 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (xcsp3-exec) S 9403 9406 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10249839 9740288 344 18446744073709551615 4194304 5098028 140736140184720 140736140182824 140219660608124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23134208 140736140190107 140736140190311 140736140190311 140736140193771 0
/proc/9406/statm: 2378 344 289 221 0 87 0
[pid=9408] ppid=9406 vsize=13980732 CPUtime=226.09 cores=1,3,5,7
/proc/9408/stat : 9408 (java) S 9406 9406 5091 0 -1 1077944320 50193 0 0 0 22594 15 0 0 20 0 15 0 10249849 14316269568 49483 18446744073709551615 4194304 4196468 140722634628672 140722634611216 139715642121975 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
/proc/9408/statm: 3495183 49483 3223 1 0 3483484 0
[pid=9408/tid=9409] ppid=9406 vsize=13980732 CPUtime=222.07 cores=1,3,5,7
/proc/9408/task/9409/stat : 9409 (java) R 9406 9406 5091 0 -1 4202560 13390 0 0 0 22201 6 0 0 20 0 15 0 10249849 14316269568 49483 18446744073709551615 4194304 4196468 140722634628672 139715646361408 139715239182430 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9410] ppid=9406 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9408/task/9410/stat : 9410 (java) S 9406 9406 5091 0 -1 1077944384 617 0 0 0 1 0 0 0 20 0 15 0 10249850 14316269568 49483 18446744073709551615 4194304 4196468 140722634628672 139715561536656 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9411] ppid=9406 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9408/task/9411/stat : 9411 (java) S 9406 9406 5091 0 -1 1077944384 1648 0 0 0 1 0 0 0 20 0 15 0 10249850 14316269568 49483 18446744073709551615 4194304 4196468 140722634628672 139715560483856 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9412] ppid=9406 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9408/task/9412/stat : 9412 (java) S 9406 9406 5091 0 -1 1077944384 922 0 0 0 1 0 0 0 20 0 15 0 10249850 14316269568 49483 18446744073709551615 4194304 4196468 140722634628672 139715559431056 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9413] ppid=9406 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9408/task/9413/stat : 9413 (java) S 9406 9406 5091 0 -1 1077944384 719 0 0 0 1 0 0 0 20 0 15 0 10249850 14316269568 49483 18446744073709551615 4194304 4196468 140722634628672 139715558378256 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9414] ppid=9406 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9408/task/9414/stat : 9414 (java) S 9406 9406 5091 0 -1 1077944384 1609 0 0 0 2 0 0 0 20 0 15 0 10249851 14316269568 49483 18446744073709551615 4194304 4196468 140722634628672 139715120695664 139715642133122 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9415] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9415/stat : 9415 (java) S 9406 9406 5091 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10249852 14316269568 49483 18446744073709551615 4194304 4196468 140722634628672 139715119641632 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9416] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9416/stat : 9416 (java) S 9406 9406 5091 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10249852 14316269568 49483 18446744073709551615 4194304 4196468 140722634628672 139715118588784 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9417] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9417/stat : 9417 (java) S 9406 9406 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10249854 14316269568 49483 18446744073709551615 4194304 4196468 140722634628672 139715117537104 139715642140571 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9418] ppid=9406 vsize=13980732 CPUtime=1.76 cores=1,3,5,7
/proc/9408/task/9418/stat : 9418 (java) S 9406 9406 5091 0 -1 1077944384 10972 0 0 0 175 1 0 0 20 0 15 0 10249854 14316269568 49483 18446744073709551615 4194304 4196468 140722634628672 139715116485488 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9419] ppid=9406 vsize=13980732 CPUtime=1.66 cores=1,3,5,7
/proc/9408/task/9419/stat : 9419 (java) S 9406 9406 5091 0 -1 1077944384 12545 0 0 0 165 1 0 0 20 0 15 0 10249854 14316269568 49483 18446744073709551615 4194304 4196468 140722634628672 139715115432688 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9420] ppid=9406 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/9408/task/9420/stat : 9420 (java) S 9406 9406 5091 0 -1 1077944384 5412 0 0 0 39 1 0 0 20 0 15 0 10249854 14316269568 49483 18446744073709551615 4194304 4196468 140722634628672 139715114379888 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9421] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9421/stat : 9421 (java) S 9406 9406 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10249855 14316269568 49483 18446744073709551615 4194304 4196468 140722634628672 139715113327328 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9422] ppid=9406 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/9408/task/9422/stat : 9422 (java) S 9406 9406 5091 0 -1 1077944384 1007 0 0 0 1 2 0 0 20 0 15 0 10249859 14316269568 49483 18446744073709551615 4194304 4196468 140722634628672 139715112274608 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
Current children cumulated CPU time (s) 226.09
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.42 1.64 1.74 3/211 9508
/proc/meminfo: memFree=31552700/32770624 swapFree=0/185600
[pid=9406] ppid=9403 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9406/stat : 9406 (xcsp3-exec) S 9403 9406 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10249839 9740288 344 18446744073709551615 4194304 5098028 140736140184720 140736140182824 140219660608124 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 23134208 140736140190107 140736140190311 140736140190311 140736140193771 0
/proc/9406/statm: 2378 344 289 221 0 87 0
[pid=9408] ppid=9406 vsize=13980732 CPUtime=243.8 cores=1,3,5,7
/proc/9408/stat : 9408 (java) S 9406 9406 5091 0 -1 1077944320 50486 0 0 0 24364 16 0 0 20 0 15 0 10249849 14316269568 48457 18446744073709551615 4194304 4196468 140722634628672 140722634611216 139715642121975 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
/proc/9408/statm: 3495183 48457 3223 1 0 3483484 0
[pid=9408/tid=9409] ppid=9406 vsize=13980732 CPUtime=239.76 cores=1,3,5,7
/proc/9408/task/9409/stat : 9409 (java) R 9406 9406 5091 0 -1 4202560 13398 0 0 0 23970 6 0 0 20 0 15 0 10249849 14316269568 48457 18446744073709551615 4194304 4196468 140722634628672 139715646361552 139715239182061 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9410] ppid=9406 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9408/task/9410/stat : 9410 (java) S 9406 9406 5091 0 -1 1077944384 617 0 0 0 1 0 0 0 20 0 15 0 10249850 14316269568 48457 18446744073709551615 4194304 4196468 140722634628672 139715561536656 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9411] ppid=9406 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9408/task/9411/stat : 9411 (java) S 9406 9406 5091 0 -1 1077944384 1648 0 0 0 1 0 0 0 20 0 15 0 10249850 14316269568 48457 18446744073709551615 4194304 4196468 140722634628672 139715560483856 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9412] ppid=9406 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9408/task/9412/stat : 9412 (java) S 9406 9406 5091 0 -1 1077944384 924 0 0 0 1 0 0 0 20 0 15 0 10249850 14316269568 48457 18446744073709551615 4194304 4196468 140722634628672 139715559431056 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9413] ppid=9406 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9408/task/9413/stat : 9413 (java) S 9406 9406 5091 0 -1 1077944384 720 0 0 0 1 0 0 0 20 0 15 0 10249850 14316269568 48457 18446744073709551615 4194304 4196468 140722634628672 139715558378256 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9414] ppid=9406 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/9408/task/9414/stat : 9414 (java) S 9406 9406 5091 0 -1 1077944384 1613 0 0 0 2 0 0 0 20 0 15 0 10249851 14316269568 48457 18446744073709551615 4194304 4196468 140722634628672 139715120695664 139715642133122 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9415] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9415/stat : 9415 (java) S 9406 9406 5091 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 10249852 14316269568 48457 18446744073709551615 4194304 4196468 140722634628672 139715119641632 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9416] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9416/stat : 9416 (java) S 9406 9406 5091 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 10249852 14316269568 48457 18446744073709551615 4194304 4196468 140722634628672 139715118588784 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9417] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9417/stat : 9417 (java) S 9406 9406 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10249854 14316269568 48457 18446744073709551615 4194304 4196468 140722634628672 139715117537104 139715642140571 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9418] ppid=9406 vsize=13980732 CPUtime=1.76 cores=1,3,5,7
/proc/9408/task/9418/stat : 9418 (java) S 9406 9406 5091 0 -1 1077944384 11244 0 0 0 175 1 0 0 20 0 15 0 10249854 14316269568 48457 18446744073709551615 4194304 4196468 140722634628672 139715116485488 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9419] ppid=9406 vsize=13980732 CPUtime=1.66 cores=1,3,5,7
/proc/9408/task/9419/stat : 9419 (java) S 9406 9406 5091 0 -1 1077944384 12545 0 0 0 165 1 0 0 20 0 15 0 10249854 14316269568 48457 18446744073709551615 4194304 4196468 140722634628672 139715115432688 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9420] ppid=9406 vsize=13980732 CPUtime=0.4 cores=1,3,5,7
/proc/9408/task/9420/stat : 9420 (java) S 9406 9406 5091 0 -1 1077944384 5412 0 0 0 39 1 0 0 20 0 15 0 10249854 14316269568 48457 18446744073709551615 4194304 4196468 140722634628672 139715114379888 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9421] ppid=9406 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9408/task/9421/stat : 9421 (java) S 9406 9406 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10249855 14316269568 48457 18446744073709551615 4194304 4196468 140722634628672 139715113327328 139715642132181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
[pid=9408/tid=9422] ppid=9406 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/9408/task/9422/stat : 9422 (java) S 9406 9406 5091 0 -1 1077944384 1013 0 0 0 1 3 0 0 20 0 15 0 10249859 14316269568 48457 18446744073709551615 4194304 4196468 140722634628672 139715112274608 139715642133122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18657280 140722634633684 140722634633859 140722634633859 140722634637263 0
Current children cumulated CPU time (s) 243.8
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9408 sig 9
??? kill 9406 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.012
CPU time (s): 243.824
CPU user time (s): 243.656
CPU system time (s): 0.167944
CPU usage (%): 101.588
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.656
system time used= 0.167944
maximum resident set size= 212288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51318
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7659
involuntary context switches= 176
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.05848 second user time and 1.32441 second system time
The end