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-4253947-1501617410/watcher-4253947-1501617410 -o /tmp/evaluation-result-4253947-1501617410/solver-4253947-1501617410 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501611185-5151 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1663267166 HOME/instance-4253947-1501617410.xml
pid=10159
running on 4 cores: 0,2,4,6
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: 2.03 1.97 1.88 4/195 10162
/proc/meminfo: memFree=31770572/32770624 swapFree=0/187648
[pid=10162] ppid=10159 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/10162/stat : 10162 (runsolver) D 10159 10162 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10364152 24240128 106 18446744073709551615 4194304 4338465 140737391695456 140737391693096 140368614687447 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 15294464 140737391702109 140737391702598 140737391702598 140737391706058 0
/proc/10162/statm: 5918 106 53 36 0 2156 0
[startup+0.100093 s]
/proc/loadavg: 2.03 1.97 1.88 4/195 10162
/proc/meminfo: memFree=31770572/32770624 swapFree=0/187648
[pid=10162] ppid=10159 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10162/stat : 10162 (xcsp3-exec) S 10159 10162 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10364152 9740288 345 18446744073709551615 4194304 5098028 140721047226528 140721047224632 139998635688572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 9084928 140721047228827 140721047229031 140721047229031 140721047232491 0
/proc/10162/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200249 s]
/proc/loadavg: 2.03 1.97 1.88 4/195 10162
/proc/meminfo: memFree=31770572/32770624 swapFree=0/187648
[pid=10162] ppid=10159 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10162/stat : 10162 (xcsp3-exec) S 10159 10162 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10364152 9740288 345 18446744073709551615 4194304 5098028 140721047226528 140721047224632 139998635688572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 9084928 140721047228827 140721047229031 140721047229031 140721047232491 0
/proc/10162/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.307745 s]
/proc/loadavg: 2.03 1.97 1.88 4/195 10162
/proc/meminfo: memFree=31770572/32770624 swapFree=0/187648
[pid=10162] ppid=10159 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10162/stat : 10162 (xcsp3-exec) S 10159 10162 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10364152 9740288 345 18446744073709551615 4194304 5098028 140721047226528 140721047224632 139998635688572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 9084928 140721047228827 140721047229031 140721047229031 140721047232491 0
/proc/10162/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700448 s]
/proc/loadavg: 2.03 1.97 1.88 4/195 10162
/proc/meminfo: memFree=31770572/32770624 swapFree=0/187648
[pid=10162] ppid=10159 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10162/stat : 10162 (xcsp3-exec) S 10159 10162 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10364152 9740288 345 18446744073709551615 4194304 5098028 140721047226528 140721047224632 139998635688572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 9084928 140721047228827 140721047229031 140721047229031 140721047232491 0
/proc/10162/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50064 s]
/proc/loadavg: 2.03 1.97 1.88 5/211 10178
/proc/meminfo: memFree=30699172/32770624 swapFree=0/187760
[pid=10162] ppid=10159 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10162/stat : 10162 (xcsp3-exec) S 10159 10162 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10364152 9740288 345 18446744073709551615 4194304 5098028 140721047226528 140721047224632 139998635688572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 9084928 140721047228827 140721047229031 140721047229031 140721047232491 0
/proc/10162/statm: 2378 345 289 221 0 87 0
[pid=10164] ppid=10162 vsize=13978684 CPUtime=3.03 cores=0,2,4,6
/proc/10164/stat : 10164 (java) S 10162 10162 5091 0 -1 1077944320 15720 0 0 0 267 36 0 0 20 0 15 0 10364160 14314172416 281895 18446744073709551615 4194304 4196468 140735958948544 140735958931088 139777407303415 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
/proc/10164/statm: 3494671 281895 3194 1 0 3482972 0
[pid=10164/tid=10165] ppid=10162 vsize=13978684 CPUtime=1.11 cores=0,2,4,6
/proc/10164/task/10165/stat : 10165 (java) R 10162 10162 5091 0 -1 4202560 8846 0 0 0 94 17 0 0 20 0 15 0 10364160 14314172416 281895 18446744073709551615 4194304 4196468 140735958948544 139777411539776 139777046223730 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10166] ppid=10162 vsize=13978684 CPUtime=0.23 cores=0,2,4,6
/proc/10164/task/10166/stat : 10166 (java) S 10162 10162 5091 0 -1 1077944384 166 0 0 0 20 3 0 0 20 0 15 0 10364161 14314172416 281895 18446744073709551615 4194304 4196468 140735958948544 139777364269712 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10167] ppid=10162 vsize=13978684 CPUtime=0.23 cores=0,2,4,6
/proc/10164/task/10167/stat : 10167 (java) S 10162 10162 5091 0 -1 1077944384 208 0 0 0 19 4 0 0 20 0 15 0 10364161 14314172416 281895 18446744073709551615 4194304 4196468 140735958948544 139777363216912 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10168] ppid=10162 vsize=13978684 CPUtime=0.23 cores=0,2,4,6
/proc/10164/task/10168/stat : 10168 (java) S 10162 10162 5091 0 -1 1077944384 774 0 0 0 20 3 0 0 20 0 15 0 10364161 14314172416 281895 18446744073709551615 4194304 4196468 140735958948544 139777005513104 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10169] ppid=10162 vsize=13978684 CPUtime=0.22 cores=0,2,4,6
/proc/10164/task/10169/stat : 10169 (java) S 10162 10162 5091 0 -1 1077944384 70 0 0 0 19 3 0 0 20 0 15 0 10364161 14314172416 281895 18446744073709551615 4194304 4196468 140735958948544 139777004460304 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10170] ppid=10162 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10170/stat : 10170 (java) S 10162 10162 5091 0 -1 1077944384 628 0 0 0 0 0 0 0 20 0 15 0 10364162 14314172416 281895 18446744073709551615 4194304 4196468 140735958948544 139776885754736 139777407314562 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10171] ppid=10162 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10171/stat : 10171 (java) S 10162 10162 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10364163 14314172416 281895 18446744073709551615 4194304 4196468 140735958948544 139776884700768 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10172] ppid=10162 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10172/stat : 10172 (java) S 10162 10162 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 10364163 14314172416 281895 18446744073709551615 4194304 4196468 140735958948544 139776883647872 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10173] ppid=10162 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10173/stat : 10173 (java) S 10162 10162 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10364165 14314172416 281895 18446744073709551615 4194304 4196468 140735958948544 139776882596176 139777407322011 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10174] ppid=10162 vsize=13978684 CPUtime=0.28 cores=0,2,4,6
/proc/10164/task/10174/stat : 10174 (java) S 10162 10162 5091 0 -1 1077944384 1197 0 0 0 28 0 0 0 20 0 15 0 10364165 14314172416 281895 18446744073709551615 4194304 4196468 140735958948544 139776881543536 139777407314562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10175] ppid=10162 vsize=13978684 CPUtime=0.4 cores=0,2,4,6
/proc/10164/task/10175/stat : 10175 (java) S 10162 10162 5091 0 -1 1077944384 1289 0 0 0 40 0 0 0 20 0 15 0 10364165 14314172416 281895 18446744073709551615 4194304 4196468 140735958948544 139776880490736 139777407314562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10176] ppid=10162 vsize=13978684 CPUtime=0.22 cores=0,2,4,6
/proc/10164/task/10176/stat : 10176 (java) S 10162 10162 5091 0 -1 1077944384 1242 0 0 0 22 0 0 0 20 0 15 0 10364165 14314172416 281895 18446744073709551615 4194304 4196468 140735958948544 139776879437936 139777407314562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10177] ppid=10162 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10177/stat : 10177 (java) S 10162 10162 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10364165 14314172416 281895 18446744073709551615 4194304 4196468 140735958948544 139776878385376 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10178] ppid=10162 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10178/stat : 10178 (java) S 10162 10162 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10364169 14314172416 281895 18446744073709551615 4194304 4196468 140735958948544 139776877333680 139777407314562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 13988196
[startup+3.10076 s]
/proc/loadavg: 2.03 1.97 1.88 3/211 10178
/proc/meminfo: memFree=30528776/32770624 swapFree=0/187760
[pid=10162] ppid=10159 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10162/stat : 10162 (xcsp3-exec) S 10159 10162 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10364152 9740288 345 18446744073709551615 4194304 5098028 140721047226528 140721047224632 139998635688572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 9084928 140721047228827 140721047229031 140721047229031 140721047232491 0
/proc/10162/statm: 2378 345 289 221 0 87 0
[pid=10164] ppid=10162 vsize=13978684 CPUtime=5.12 cores=0,2,4,6
/proc/10164/stat : 10164 (java) S 10162 10162 5091 0 -1 1077944320 20195 0 0 0 456 56 0 0 20 0 15 0 10364160 14314172416 352601 18446744073709551615 4194304 4196468 140735958948544 140735958931088 139777407303415 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
/proc/10164/statm: 3494671 352601 3201 1 0 3482972 0
[pid=10164/tid=10165] ppid=10162 vsize=13978684 CPUtime=2.55 cores=0,2,4,6
/proc/10164/task/10165/stat : 10165 (java) R 10162 10162 5091 0 -1 4202560 9683 0 0 0 236 19 0 0 20 0 15 0 10364160 14314172416 352601 18446744073709551615 4194304 4196468 140735958948544 139777411541680 139777046202624 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10166] ppid=10162 vsize=13978684 CPUtime=0.38 cores=0,2,4,6
/proc/10164/task/10166/stat : 10166 (java) S 10162 10162 5091 0 -1 1077944384 652 0 0 0 30 8 0 0 20 0 15 0 10364161 14314172416 352601 18446744073709551615 4194304 4196468 140735958948544 139777364269712 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10167] ppid=10162 vsize=13978684 CPUtime=0.39 cores=0,2,4,6
/proc/10164/task/10167/stat : 10167 (java) S 10162 10162 5091 0 -1 1077944384 879 0 0 0 31 8 0 0 20 0 15 0 10364161 14314172416 352601 18446744073709551615 4194304 4196468 140735958948544 139777363216912 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10168] ppid=10162 vsize=13978684 CPUtime=0.38 cores=0,2,4,6
/proc/10164/task/10168/stat : 10168 (java) S 10162 10162 5091 0 -1 1077944384 1610 0 0 0 30 8 0 0 20 0 15 0 10364161 14314172416 352601 18446744073709551615 4194304 4196468 140735958948544 139777005513104 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10169] ppid=10162 vsize=13978684 CPUtime=0.38 cores=0,2,4,6
/proc/10164/task/10169/stat : 10169 (java) S 10162 10162 5091 0 -1 1077944384 487 0 0 0 30 8 0 0 20 0 15 0 10364161 14314172416 352601 18446744073709551615 4194304 4196468 140735958948544 139777004460304 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10170] ppid=10162 vsize=13978684 CPUtime=0.01 cores=0,2,4,6
/proc/10164/task/10170/stat : 10170 (java) S 10162 10162 5091 0 -1 1077944384 1033 0 0 0 1 0 0 0 20 0 15 0 10364162 14314172416 352601 18446744073709551615 4194304 4196468 140735958948544 139776885754736 139777407314562 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10171] ppid=10162 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10171/stat : 10171 (java) S 10162 10162 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10364163 14314172416 352601 18446744073709551615 4194304 4196468 140735958948544 139776884700768 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10172] ppid=10162 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10172/stat : 10172 (java) S 10162 10162 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 10364163 14314172416 352601 18446744073709551615 4194304 4196468 140735958948544 139776883647872 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10173] ppid=10162 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10173/stat : 10173 (java) S 10162 10162 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10364165 14314172416 352601 18446744073709551615 4194304 4196468 140735958948544 139776882596176 139777407322011 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10174] ppid=10162 vsize=13978684 CPUtime=0.29 cores=0,2,4,6
/proc/10164/task/10174/stat : 10174 (java) S 10162 10162 5091 0 -1 1077944384 1448 0 0 0 29 0 0 0 20 0 15 0 10364165 14314172416 352601 18446744073709551615 4194304 4196468 140735958948544 139776881543536 139777407314562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10175] ppid=10162 vsize=13978684 CPUtime=0.43 cores=0,2,4,6
/proc/10164/task/10175/stat : 10175 (java) S 10162 10162 5091 0 -1 1077944384 1730 0 0 0 43 0 0 0 20 0 15 0 10364165 14314172416 352601 18446744073709551615 4194304 4196468 140735958948544 139776880490736 139777407314562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10176] ppid=10162 vsize=13978684 CPUtime=0.22 cores=0,2,4,6
/proc/10164/task/10176/stat : 10176 (java) S 10162 10162 5091 0 -1 1077944384 1353 0 0 0 22 0 0 0 20 0 15 0 10364165 14314172416 352601 18446744073709551615 4194304 4196468 140735958948544 139776879437936 139777407314562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10177] ppid=10162 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10177/stat : 10177 (java) S 10162 10162 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10364165 14314172416 352601 18446744073709551615 4194304 4196468 140735958948544 139776878385376 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10178] ppid=10162 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10178/stat : 10178 (java) S 10162 10162 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10364169 14314172416 352601 18446744073709551615 4194304 4196468 140735958948544 139776877333680 139777407314562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
Current children cumulated CPU time (s) 5.12
Current children cumulated vsize (KiB) 13988196
[startup+6.3008 s]
/proc/loadavg: 2.11 1.99 1.88 3/211 10178
/proc/meminfo: memFree=29998556/32770624 swapFree=0/187772
[pid=10162] ppid=10159 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10162/stat : 10162 (xcsp3-exec) S 10159 10162 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10364152 9740288 345 18446744073709551615 4194304 5098028 140721047226528 140721047224632 139998635688572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 9084928 140721047228827 140721047229031 140721047229031 140721047232491 0
/proc/10162/statm: 2378 345 289 221 0 87 0
[pid=10164] ppid=10162 vsize=13978684 CPUtime=9.47 cores=0,2,4,6
/proc/10164/stat : 10164 (java) S 10162 10162 5091 0 -1 1077944320 23013 0 0 0 842 105 0 0 20 0 15 0 10364160 14314172416 467753 18446744073709551615 4194304 4196468 140735958948544 140735958931088 139777407303415 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
/proc/10164/statm: 3494671 467753 3201 1 0 3482972 0
[pid=10164/tid=10165] ppid=10162 vsize=13978684 CPUtime=5.37 cores=0,2,4,6
/proc/10164/task/10165/stat : 10165 (java) R 10162 10162 5091 0 -1 4202560 10123 0 0 0 516 21 0 0 20 0 15 0 10364160 14314172416 467753 18446744073709551615 4194304 4196468 140735958948544 139777411541088 139777046126965 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10166] ppid=10162 vsize=13978684 CPUtime=0.76 cores=0,2,4,6
/proc/10164/task/10166/stat : 10166 (java) S 10162 10162 5091 0 -1 1077944384 1043 0 0 0 56 20 0 0 20 0 15 0 10364161 14314172416 467753 18446744073709551615 4194304 4196468 140735958948544 139777364269712 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10167] ppid=10162 vsize=13978684 CPUtime=0.76 cores=0,2,4,6
/proc/10164/task/10167/stat : 10167 (java) S 10162 10162 5091 0 -1 1077944384 1260 0 0 0 56 20 0 0 20 0 15 0 10364161 14314172416 467753 18446744073709551615 4194304 4196468 140735958948544 139777363216912 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10168] ppid=10162 vsize=13978684 CPUtime=0.76 cores=0,2,4,6
/proc/10164/task/10168/stat : 10168 (java) S 10162 10162 5091 0 -1 1077944384 2039 0 0 0 56 20 0 0 20 0 15 0 10364161 14314172416 467753 18446744073709551615 4194304 4196468 140735958948544 139777005513104 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10169] ppid=10162 vsize=13978684 CPUtime=0.75 cores=0,2,4,6
/proc/10164/task/10169/stat : 10169 (java) S 10162 10162 5091 0 -1 1077944384 895 0 0 0 55 20 0 0 20 0 15 0 10364161 14314172416 467753 18446744073709551615 4194304 4196468 140735958948544 139777004460304 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10170] ppid=10162 vsize=13978684 CPUtime=0.01 cores=0,2,4,6
/proc/10164/task/10170/stat : 10170 (java) S 10162 10162 5091 0 -1 1077944384 1291 0 0 0 1 0 0 0 20 0 15 0 10364162 14314172416 467753 18446744073709551615 4194304 4196468 140735958948544 139776885754736 139777407314562 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10171] ppid=10162 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10171/stat : 10171 (java) S 10162 10162 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10364163 14314172416 467753 18446744073709551615 4194304 4196468 140735958948544 139776884700768 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10172] ppid=10162 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10172/stat : 10172 (java) S 10162 10162 5091 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 10364163 14314172416 467753 18446744073709551615 4194304 4196468 140735958948544 139776883647872 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10173] ppid=10162 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10173/stat : 10173 (java) S 10162 10162 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10364165 14314172416 467753 18446744073709551615 4194304 4196468 140735958948544 139776882596176 139777407322011 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10174] ppid=10162 vsize=13978684 CPUtime=0.3 cores=0,2,4,6
/proc/10164/task/10174/stat : 10174 (java) S 10162 10162 5091 0 -1 1077944384 1540 0 0 0 30 0 0 0 20 0 15 0 10364165 14314172416 467753 18446744073709551615 4194304 4196468 140735958948544 139776881543536 139777407314562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10175] ppid=10162 vsize=13978684 CPUtime=0.45 cores=0,2,4,6
/proc/10164/task/10175/stat : 10175 (java) S 10162 10162 5091 0 -1 1077944384 1905 0 0 0 45 0 0 0 20 0 15 0 10364165 14314172416 467753 18446744073709551615 4194304 4196468 140735958948544 139776880490736 139777407314562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10176] ppid=10162 vsize=13978684 CPUtime=0.22 cores=0,2,4,6
/proc/10164/task/10176/stat : 10176 (java) S 10162 10162 5091 0 -1 1077944384 1474 0 0 0 22 0 0 0 20 0 15 0 10364165 14314172416 467753 18446744073709551615 4194304 4196468 140735958948544 139776879437936 139777407314562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10177] ppid=10162 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10177/stat : 10177 (java) S 10162 10162 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10364165 14314172416 467753 18446744073709551615 4194304 4196468 140735958948544 139776878385376 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10178] ppid=10162 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10178/stat : 10178 (java) S 10162 10162 5091 0 -1 1077944384 144 0 0 0 0 0 0 0 20 0 15 0 10364169 14314172416 467753 18446744073709551615 4194304 4196468 140735958948544 139776877333680 139777407314562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
Current children cumulated CPU time (s) 9.47
Current children cumulated vsize (KiB) 13988196
[startup+12.7014 s]
/proc/loadavg: 2.02 1.97 1.88 3/211 10179
/proc/meminfo: memFree=29904784/32770624 swapFree=0/187776
[pid=10162] ppid=10159 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10162/stat : 10162 (xcsp3-exec) S 10159 10162 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10364152 9740288 345 18446744073709551615 4194304 5098028 140721047226528 140721047224632 139998635688572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 9084928 140721047228827 140721047229031 140721047229031 140721047232491 0
/proc/10162/statm: 2378 345 289 221 0 87 0
[pid=10164] ppid=10162 vsize=13978684 CPUtime=16.62 cores=0,2,4,6
/proc/10164/stat : 10164 (java) S 10162 10162 5091 0 -1 1077944320 34117 0 0 0 1546 116 0 0 20 0 15 0 10364160 14314172416 502672 18446744073709551615 4194304 4196468 140735958948544 140735958931088 139777407303415 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
/proc/10164/statm: 3494671 502672 3207 1 0 3482972 0
[pid=10164/tid=10165] ppid=10162 vsize=13978684 CPUtime=11.62 cores=0,2,4,6
/proc/10164/task/10165/stat : 10165 (java) R 10162 10162 5091 0 -1 4202560 15657 0 0 0 1140 22 0 0 20 0 15 0 10364160 14314172416 502672 18446744073709551615 4194304 4196468 140735958948544 139777411538952 139777046767709 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10166] ppid=10162 vsize=13978684 CPUtime=0.91 cores=0,2,4,6
/proc/10164/task/10166/stat : 10166 (java) S 10162 10162 5091 0 -1 1077944384 1670 0 0 0 69 22 0 0 20 0 15 0 10364161 14314172416 502672 18446744073709551615 4194304 4196468 140735958948544 139777364269712 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10167] ppid=10162 vsize=13978684 CPUtime=0.91 cores=0,2,4,6
/proc/10164/task/10167/stat : 10167 (java) S 10162 10162 5091 0 -1 1077944384 2043 0 0 0 69 22 0 0 20 0 15 0 10364161 14314172416 502672 18446744073709551615 4194304 4196468 140735958948544 139777363216912 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
################
# More data... #
################
[pid=10164] ppid=10162 vsize=13980732 CPUtime=149.06 cores=0,2,4,6
/proc/10164/stat : 10164 (java) S 10162 10162 5091 0 -1 1077944320 572907 0 0 0 13698 1208 0 0 20 0 15 0 10364160 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 140735958931088 139777407303415 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
/proc/10164/statm: 3495183 2929788 3210 1 0 3483484 0
[pid=10164/tid=10165] ppid=10162 vsize=13980732 CPUtime=86.42 cores=0,2,4,6
/proc/10164/task/10165/stat : 10165 (java) S 10162 10162 5091 0 -1 1077944384 75568 0 0 0 8618 24 0 0 20 0 15 0 10364160 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139777411541632 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10166] ppid=10162 vsize=13980732 CPUtime=14.61 cores=0,2,4,6
/proc/10164/task/10166/stat : 10166 (java) R 10162 10162 5091 0 -1 4202560 83314 0 0 0 1146 315 0 0 20 0 15 0 10364161 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139777364269520 139777399931623 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10167] ppid=10162 vsize=13980732 CPUtime=14.56 cores=0,2,4,6
/proc/10164/task/10167/stat : 10167 (java) R 10162 10162 5091 0 -1 4202560 241542 0 0 0 1186 270 0 0 20 0 15 0 10364161 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139777363216912 139777400406429 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10168] ppid=10162 vsize=13980732 CPUtime=14.62 cores=0,2,4,6
/proc/10164/task/10168/stat : 10168 (java) R 10162 10162 5091 0 -1 4202560 71575 0 0 0 1152 310 0 0 20 0 15 0 10364161 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139777005513224 139777399931623 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10169] ppid=10162 vsize=13980732 CPUtime=14.61 cores=0,2,4,6
/proc/10164/task/10169/stat : 10169 (java) R 10162 10162 5091 0 -1 4202560 60792 0 0 0 1183 278 0 0 20 0 15 0 10364161 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139777004460112 139777399931623 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10170] ppid=10162 vsize=13980732 CPUtime=2.69 cores=0,2,4,6
/proc/10164/task/10170/stat : 10170 (java) S 10162 10162 5091 0 -1 1077944384 29451 0 0 0 266 3 0 0 20 0 15 0 10364162 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776885753296 139777407313621 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10171] ppid=10162 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10171/stat : 10171 (java) S 10162 10162 5091 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 10364163 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776884700768 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10172] ppid=10162 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10172/stat : 10172 (java) S 10162 10162 5091 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10364163 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776883647872 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10173] ppid=10162 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10173/stat : 10173 (java) S 10162 10162 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10364165 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776882596176 139777407322011 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10174] ppid=10162 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/10164/task/10174/stat : 10174 (java) S 10162 10162 5091 0 -1 1077944384 2866 0 0 0 48 0 0 0 20 0 15 0 10364165 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776881543584 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10175] ppid=10162 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/10164/task/10175/stat : 10175 (java) S 10162 10162 5091 0 -1 1077944384 3047 0 0 0 59 0 0 0 20 0 15 0 10364165 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776880490784 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10176] ppid=10162 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/10164/task/10176/stat : 10176 (java) S 10162 10162 5091 0 -1 1077944384 2980 0 0 0 30 0 0 0 20 0 15 0 10364165 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776879437696 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10177] ppid=10162 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10177/stat : 10177 (java) S 10162 10162 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10364165 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776878385376 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10178] ppid=10162 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/10164/task/10178/stat : 10178 (java) S 10162 10162 5091 0 -1 1077944384 443 0 0 0 4 2 0 0 20 0 15 0 10364169 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776877333680 139777407314562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
Current children cumulated CPU time (s) 149.06
Current children cumulated vsize (KiB) 13990244
[startup+104.801 s]
/proc/loadavg: 2.08 1.99 1.89 6/211 10259
/proc/meminfo: memFree=20038872/32770624 swapFree=0/187900
[pid=10162] ppid=10159 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10162/stat : 10162 (xcsp3-exec) S 10159 10162 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10364152 9740288 345 18446744073709551615 4194304 5098028 140721047226528 140721047224632 139998635688572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 9084928 140721047228827 140721047229031 140721047229031 140721047232491 0
/proc/10162/statm: 2378 345 289 221 0 87 0
[pid=10164] ppid=10162 vsize=13980732 CPUtime=152.18 cores=0,2,4,6
/proc/10164/stat : 10164 (java) S 10162 10162 5091 0 -1 1077944320 580898 0 0 0 14007 1211 0 0 20 0 15 0 10364160 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 140735958931088 139777407303415 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
/proc/10164/statm: 3495183 2929788 3210 1 0 3483484 0
[pid=10164/tid=10165] ppid=10162 vsize=13980732 CPUtime=86.42 cores=0,2,4,6
/proc/10164/task/10165/stat : 10165 (java) S 10162 10162 5091 0 -1 1077944384 75568 0 0 0 8618 24 0 0 20 0 15 0 10364160 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139777411541632 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10166] ppid=10162 vsize=13980732 CPUtime=15.39 cores=0,2,4,6
/proc/10164/task/10166/stat : 10166 (java) R 10162 10162 5091 0 -1 4202560 83314 0 0 0 1223 316 0 0 20 0 15 0 10364161 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139777364269520 139777399931623 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10167] ppid=10162 vsize=13980732 CPUtime=15.37 cores=0,2,4,6
/proc/10164/task/10167/stat : 10167 (java) R 10162 10162 5091 0 -1 4202560 249533 0 0 0 1266 271 0 0 20 0 15 0 10364161 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139777363217112 139777400406387 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10168] ppid=10162 vsize=13980732 CPUtime=15.39 cores=0,2,4,6
/proc/10164/task/10168/stat : 10168 (java) R 10162 10162 5091 0 -1 4202560 71575 0 0 0 1228 311 0 0 20 0 15 0 10364161 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139777005513224 139777399931623 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10169] ppid=10162 vsize=13980732 CPUtime=15.39 cores=0,2,4,6
/proc/10164/task/10169/stat : 10169 (java) R 10162 10162 5091 0 -1 4202560 60792 0 0 0 1260 279 0 0 20 0 15 0 10364161 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139777004460112 139777399931623 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10170] ppid=10162 vsize=13980732 CPUtime=2.69 cores=0,2,4,6
/proc/10164/task/10170/stat : 10170 (java) S 10162 10162 5091 0 -1 1077944384 29451 0 0 0 266 3 0 0 20 0 15 0 10364162 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776885753296 139777407313621 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10171] ppid=10162 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10171/stat : 10171 (java) S 10162 10162 5091 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 10364163 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776884700768 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10172] ppid=10162 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10172/stat : 10172 (java) S 10162 10162 5091 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10364163 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776883647872 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10173] ppid=10162 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10173/stat : 10173 (java) S 10162 10162 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10364165 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776882596176 139777407322011 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10174] ppid=10162 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/10164/task/10174/stat : 10174 (java) S 10162 10162 5091 0 -1 1077944384 2866 0 0 0 48 0 0 0 20 0 15 0 10364165 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776881543584 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10175] ppid=10162 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/10164/task/10175/stat : 10175 (java) S 10162 10162 5091 0 -1 1077944384 3047 0 0 0 59 0 0 0 20 0 15 0 10364165 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776880490784 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10176] ppid=10162 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/10164/task/10176/stat : 10176 (java) S 10162 10162 5091 0 -1 1077944384 2980 0 0 0 30 0 0 0 20 0 15 0 10364165 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776879437696 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10177] ppid=10162 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10177/stat : 10177 (java) S 10162 10162 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10364165 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776878385376 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10178] ppid=10162 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/10164/task/10178/stat : 10178 (java) S 10162 10162 5091 0 -1 1077944384 443 0 0 0 4 2 0 0 20 0 15 0 10364169 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776877333680 139777407314562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
Current children cumulated CPU time (s) 152.18
Current children cumulated vsize (KiB) 13990244
[startup+105.201 s]
/proc/loadavg: 2.08 1.99 1.89 6/211 10259
/proc/meminfo: memFree=20038872/32770624 swapFree=0/187900
[pid=10162] ppid=10159 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10162/stat : 10162 (xcsp3-exec) S 10159 10162 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10364152 9740288 345 18446744073709551615 4194304 5098028 140721047226528 140721047224632 139998635688572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 9084928 140721047228827 140721047229031 140721047229031 140721047232491 0
/proc/10162/statm: 2378 345 289 221 0 87 0
[pid=10164] ppid=10162 vsize=13980732 CPUtime=153.19 cores=0,2,4,6
/proc/10164/stat : 10164 (java) S 10162 10162 5091 0 -1 1077944320 581170 0 0 0 14108 1211 0 0 20 0 15 0 10364160 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 140735958931088 139777407303415 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
/proc/10164/statm: 3495183 2929788 3210 1 0 3483484 0
[pid=10164/tid=10165] ppid=10162 vsize=13980732 CPUtime=86.42 cores=0,2,4,6
/proc/10164/task/10165/stat : 10165 (java) S 10162 10162 5091 0 -1 1077944384 75568 0 0 0 8618 24 0 0 20 0 15 0 10364160 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139777411541632 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10166] ppid=10162 vsize=13980732 CPUtime=15.59 cores=0,2,4,6
/proc/10164/task/10166/stat : 10166 (java) S 10162 10162 5091 0 -1 1077944384 83314 0 0 0 1243 316 0 0 20 0 15 0 10364161 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139777364269712 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10167] ppid=10162 vsize=13980732 CPUtime=15.58 cores=0,2,4,6
/proc/10164/task/10167/stat : 10167 (java) S 10162 10162 5091 0 -1 1077944384 249533 0 0 0 1287 271 0 0 20 0 15 0 10364161 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139777363216912 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10168] ppid=10162 vsize=13980732 CPUtime=15.6 cores=0,2,4,6
/proc/10164/task/10168/stat : 10168 (java) S 10162 10162 5091 0 -1 1077944384 71575 0 0 0 1249 311 0 0 20 0 15 0 10364161 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139777005513104 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10169] ppid=10162 vsize=13980732 CPUtime=15.59 cores=0,2,4,6
/proc/10164/task/10169/stat : 10169 (java) S 10162 10162 5091 0 -1 1077944384 60792 0 0 0 1280 279 0 0 20 0 15 0 10364161 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139777004460304 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10170] ppid=10162 vsize=13980732 CPUtime=2.88 cores=0,2,4,6
/proc/10164/task/10170/stat : 10170 (java) R 10162 10162 5091 0 -1 4202560 29723 0 0 0 285 3 0 0 20 0 15 0 10364162 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776885753184 139777391760985 0 0 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10171] ppid=10162 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10171/stat : 10171 (java) S 10162 10162 5091 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 10364163 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776884700768 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10172] ppid=10162 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10172/stat : 10172 (java) S 10162 10162 5091 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10364163 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776883647872 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10173] ppid=10162 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10173/stat : 10173 (java) S 10162 10162 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10364165 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776882596176 139777407322011 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10174] ppid=10162 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/10164/task/10174/stat : 10174 (java) S 10162 10162 5091 0 -1 1077944384 2866 0 0 0 48 0 0 0 20 0 15 0 10364165 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776881543584 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10175] ppid=10162 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/10164/task/10175/stat : 10175 (java) S 10162 10162 5091 0 -1 1077944384 3047 0 0 0 59 0 0 0 20 0 15 0 10364165 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776880490784 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10176] ppid=10162 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/10164/task/10176/stat : 10176 (java) S 10162 10162 5091 0 -1 1077944384 2980 0 0 0 30 0 0 0 20 0 15 0 10364165 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776879437696 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10177] ppid=10162 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10177/stat : 10177 (java) S 10162 10162 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10364165 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776878385376 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10178] ppid=10162 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/10164/task/10178/stat : 10178 (java) S 10162 10162 5091 0 -1 1077944384 443 0 0 0 4 2 0 0 20 0 15 0 10364169 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776877333680 139777407314562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
Current children cumulated CPU time (s) 153.19
Current children cumulated vsize (KiB) 13990244
[startup+105.401 s]
/proc/loadavg: 2.08 1.99 1.89 6/211 10259
/proc/meminfo: memFree=20038872/32770624 swapFree=0/187900
[pid=10162] ppid=10159 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10162/stat : 10162 (xcsp3-exec) S 10159 10162 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10364152 9740288 345 18446744073709551615 4194304 5098028 140721047226528 140721047224632 139998635688572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 9084928 140721047228827 140721047229031 140721047229031 140721047232491 0
/proc/10162/statm: 2378 345 289 221 0 87 0
[pid=10164] ppid=10162 vsize=13980732 CPUtime=153.39 cores=0,2,4,6
/proc/10164/stat : 10164 (java) S 10162 10162 5091 0 -1 1077944320 581324 0 0 0 14128 1211 0 0 20 0 15 0 10364160 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 140735958931088 139777407303415 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
/proc/10164/statm: 3495183 2929788 3210 1 0 3483484 0
[pid=10164/tid=10165] ppid=10162 vsize=13980732 CPUtime=86.42 cores=0,2,4,6
/proc/10164/task/10165/stat : 10165 (java) S 10162 10162 5091 0 -1 1077944384 75568 0 0 0 8618 24 0 0 20 0 15 0 10364160 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139777411541632 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10166] ppid=10162 vsize=13980732 CPUtime=15.59 cores=0,2,4,6
/proc/10164/task/10166/stat : 10166 (java) S 10162 10162 5091 0 -1 1077944384 83314 0 0 0 1243 316 0 0 20 0 15 0 10364161 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139777364269712 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10167] ppid=10162 vsize=13980732 CPUtime=15.58 cores=0,2,4,6
/proc/10164/task/10167/stat : 10167 (java) S 10162 10162 5091 0 -1 1077944384 249533 0 0 0 1287 271 0 0 20 0 15 0 10364161 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139777363216912 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10168] ppid=10162 vsize=13980732 CPUtime=15.6 cores=0,2,4,6
/proc/10164/task/10168/stat : 10168 (java) S 10162 10162 5091 0 -1 1077944384 71575 0 0 0 1249 311 0 0 20 0 15 0 10364161 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139777005513104 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10169] ppid=10162 vsize=13980732 CPUtime=15.59 cores=0,2,4,6
/proc/10164/task/10169/stat : 10169 (java) S 10162 10162 5091 0 -1 1077944384 60792 0 0 0 1280 279 0 0 20 0 15 0 10364161 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139777004460304 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10170] ppid=10162 vsize=13980732 CPUtime=3.08 cores=0,2,4,6
/proc/10164/task/10170/stat : 10170 (java) R 10162 10162 5091 0 -1 4202560 29877 0 0 0 305 3 0 0 20 0 15 0 10364162 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776885753184 139777392299924 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10171] ppid=10162 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10171/stat : 10171 (java) S 10162 10162 5091 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 10364163 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776884700768 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10172] ppid=10162 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10172/stat : 10172 (java) S 10162 10162 5091 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10364163 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776883647872 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10173] ppid=10162 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10173/stat : 10173 (java) S 10162 10162 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10364165 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776882596176 139777407322011 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10174] ppid=10162 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/10164/task/10174/stat : 10174 (java) S 10162 10162 5091 0 -1 1077944384 2866 0 0 0 48 0 0 0 20 0 15 0 10364165 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776881543584 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10175] ppid=10162 vsize=13980732 CPUtime=0.59 cores=0,2,4,6
/proc/10164/task/10175/stat : 10175 (java) S 10162 10162 5091 0 -1 1077944384 3047 0 0 0 59 0 0 0 20 0 15 0 10364165 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776880490784 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10176] ppid=10162 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/10164/task/10176/stat : 10176 (java) S 10162 10162 5091 0 -1 1077944384 2980 0 0 0 30 0 0 0 20 0 15 0 10364165 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776879437696 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10177] ppid=10162 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10164/task/10177/stat : 10177 (java) S 10162 10162 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10364165 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776878385376 139777407313621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
[pid=10164/tid=10178] ppid=10162 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/10164/task/10178/stat : 10178 (java) S 10162 10162 5091 0 -1 1077944384 443 0 0 0 4 2 0 0 20 0 15 0 10364169 14316269568 2929788 18446744073709551615 4194304 4196468 140735958948544 139776877333680 139777407314562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140735958950356 140735958950531 140735958950531 140735958953935 0
Current children cumulated CPU time (s) 153.39
Current children cumulated vsize (KiB) 13990244
[startup+105.501 s]
/proc/loadavg: 2.08 1.99 1.89 6/211 10259
/proc/meminfo: memFree=20038872/32770624 swapFree=0/187900
[pid=10162] ppid=10159 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10162/stat : 10162 (xcsp3-exec) S 10159 10162 5091 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10364152 9740288 345 18446744073709551615 4194304 5098028 140721047226528 140721047224632 139998635688572 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 9084928 140721047228827 140721047229031 140721047229031 140721047232491 0
/proc/10162/statm: 2378 345 289 221 0 87 0
[pid=10164] ppid=10162 vsize=0 CPUtime=153.49 cores=0,2,4,6
/proc/10164/stat : 10164 (java) Z 10162 10162 5091 0 -1 4227084 581501 0 0 0 14136 1213 0 0 20 0 2 0 10364160 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/10164/statm: 0 0 0 0 0 0 0
[pid=10164/tid=10173] ppid=10162 vsize=0 CPUtime=0.01 cores=0,2,4,6
/proc/10164/task/10173/stat : 10173 (java) R 10162 10162 5091 0 -1 4203588 7 0 0 0 0 1 0 0 20 0 2 0 10364165 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 153.49
Current children cumulated vsize (KiB) 9512
Child status: 1
Real time (s): 105.59
CPU time (s): 153.593
CPU user time (s): 141.37
CPU system time (s): 12.2224
CPU usage (%): 145.461
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 141.37
system time used= 12.2224
maximum resident set size= 11719492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 582023
page faults= 0
swaps= 0
block input operations= 8
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14421
involuntary context switches= 914
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.531953 second user time and 0.675126 second system time
The end