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-4248830-1500693329/watcher-4248830-1500693329 -o /tmp/evaluation-result-4248830-1500693329/solver-4248830-1500693329 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 50433361 HOME/instance-4248830-1500693329.xml
pid=13205
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 14.41 13.87 14.00 11/270 13208
/proc/meminfo: memFree=31543644/32770624 swapFree=5656/331496
[pid=13208] ppid=13205 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13208/stat : 13208 (xcsp3-exec) S 13205 13208 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4600445 9740288 346 33554432000 4194304 5098028 140732935877296 140732935875400 139829168554620 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7532544 140732935885968 140732935886176 140732935886176 140732935888875 0
/proc/13208/statm: 2378 346 289 221 0 87 0
[startup+0.100161 s]
/proc/loadavg: 14.41 13.87 14.00 11/270 13208
/proc/meminfo: memFree=31543644/32770624 swapFree=5656/331496
[pid=13208] ppid=13205 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13208/stat : 13208 (xcsp3-exec) S 13205 13208 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4600445 9740288 346 33554432000 4194304 5098028 140732935877296 140732935875400 139829168554620 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7532544 140732935885968 140732935886176 140732935886176 140732935888875 0
/proc/13208/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200322 s]
/proc/loadavg: 14.41 13.87 14.00 11/270 13208
/proc/meminfo: memFree=31543644/32770624 swapFree=5656/331496
[pid=13208] ppid=13205 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13208/stat : 13208 (xcsp3-exec) S 13205 13208 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4600445 9740288 346 33554432000 4194304 5098028 140732935877296 140732935875400 139829168554620 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7532544 140732935885968 140732935886176 140732935886176 140732935888875 0
/proc/13208/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300279 s]
/proc/loadavg: 14.41 13.87 14.00 11/270 13208
/proc/meminfo: memFree=31543644/32770624 swapFree=5656/331496
[pid=13208] ppid=13205 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13208/stat : 13208 (xcsp3-exec) S 13205 13208 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4600445 9740288 346 33554432000 4194304 5098028 140732935877296 140732935875400 139829168554620 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7532544 140732935885968 140732935886176 140732935886176 140732935888875 0
/proc/13208/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700344 s]
/proc/loadavg: 14.41 13.87 14.00 11/270 13208
/proc/meminfo: memFree=31543644/32770624 swapFree=5656/331496
[pid=13208] ppid=13205 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13208/stat : 13208 (xcsp3-exec) S 13205 13208 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4600445 9740288 346 33554432000 4194304 5098028 140732935877296 140732935875400 139829168554620 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7532544 140732935885968 140732935886176 140732935886176 140732935888875 0
/proc/13208/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50102 s]
/proc/loadavg: 14.41 13.87 14.00 11/291 13229
/proc/meminfo: memFree=31213744/32770624 swapFree=5656/331540
[pid=13208] ppid=13205 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13208/stat : 13208 (xcsp3-exec) S 13205 13208 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4600445 9740288 346 33554432000 4194304 5098028 140732935877296 140732935875400 139829168554620 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7532544 140732935885968 140732935886176 140732935886176 140732935888875 0
/proc/13208/statm: 2378 346 289 221 0 87 0
[pid=13209] ppid=13208 vsize=13267208 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/13209/stat : 13209 (java) S 13208 13208 7102 0 -1 1077944320 12612 0 0 0 227 24 0 0 20 0 20 0 4600445 13585620992 68343 33554432000 4194304 4196468 140730617631216 140730617613760 139867710164727 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
/proc/13209/statm: 3316802 68343 3208 1 0 3304035 0
[pid=13209/tid=13210] ppid=13208 vsize=13267208 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13210/stat : 13210 (java) R 13208 13208 7102 0 -1 4202560 6629 0 0 0 137 6 0 0 20 0 20 0 4600445 13585620992 68343 33554432000 4194304 4196468 140730617631216 139867714402088 139867307468864 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13212] ppid=13208 vsize=13267208 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13212/stat : 13212 (java) S 13208 13208 7102 0 -1 1077944384 32 0 0 0 1 2 0 0 20 0 20 0 4600446 13585620992 68343 33554432000 4194304 4196468 140730617631216 139867628645392 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13213] ppid=13208 vsize=13267208 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13213/stat : 13213 (java) S 13208 13208 7102 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 20 0 4600446 13585620992 68343 33554432000 4194304 4196468 140730617631216 139867627592848 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13214] ppid=13208 vsize=13267208 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13214/stat : 13214 (java) S 13208 13208 7102 0 -1 1077944384 31 0 0 0 1 2 0 0 20 0 20 0 4600446 13585620992 68343 33554432000 4194304 4196468 140730617631216 139867626539792 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13215] ppid=13208 vsize=13267208 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13215/stat : 13215 (java) S 13208 13208 7102 0 -1 1077944384 33 0 0 0 1 2 0 0 20 0 20 0 4600446 13585620992 68343 33554432000 4194304 4196468 140730617631216 139867625487248 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13216] ppid=13208 vsize=13267208 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13216/stat : 13216 (java) S 13208 13208 7102 0 -1 1077944384 27 0 0 0 1 2 0 0 20 0 20 0 4600446 13585620992 68343 33554432000 4194304 4196468 140730617631216 139867624434192 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13217] ppid=13208 vsize=13267208 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13217/stat : 13217 (java) S 13208 13208 7102 0 -1 1077944384 32 0 0 0 1 2 0 0 20 0 20 0 4600446 13585620992 68343 33554432000 4194304 4196468 140730617631216 139867304487568 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13218] ppid=13208 vsize=13267208 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13218/stat : 13218 (java) S 13208 13208 7102 0 -1 1077944384 31 0 0 0 1 2 0 0 20 0 20 0 4600446 13585620992 68343 33554432000 4194304 4196468 140730617631216 139867303434512 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13219] ppid=13208 vsize=13267208 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13219/stat : 13219 (java) S 13208 13208 7102 0 -1 1077944384 27 0 0 0 1 2 0 0 20 0 20 0 4600446 13585620992 68343 33554432000 4194304 4196468 140730617631216 139867302381968 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13220] ppid=13208 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13220/stat : 13220 (java) S 13208 13208 7102 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 4600448 13585620992 68343 33554432000 4194304 4196468 140730617631216 139867172346608 139867710175874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13221] ppid=13208 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13221/stat : 13221 (java) S 13208 13208 7102 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4600449 13585620992 68343 33554432000 4194304 4196468 140730617631216 139867171292832 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13222] ppid=13208 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13222/stat : 13222 (java) S 13208 13208 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4600449 13585620992 68343 33554432000 4194304 4196468 140730617631216 139867170239728 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13223] ppid=13208 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13223/stat : 13223 (java) S 13208 13208 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4600452 13585620992 68343 33554432000 4194304 4196468 140730617631216 139867169188304 139867710183323 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13224] ppid=13208 vsize=13267208 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13224/stat : 13224 (java) S 13208 13208 7102 0 -1 1077944384 1263 0 0 0 24 0 0 0 20 0 20 0 4600452 13585620992 68343 33554432000 4194304 4196468 140730617631216 139867168135408 139867710175874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13225] ppid=13208 vsize=13267208 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13225/stat : 13225 (java) S 13208 13208 7102 0 -1 1077944384 605 0 0 0 13 0 0 0 20 0 20 0 4600452 13585620992 68343 33554432000 4194304 4196468 140730617631216 139867167082864 139867710175874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13226] ppid=13208 vsize=13267208 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13226/stat : 13226 (java) R 13208 13208 7102 0 -1 4202560 1002 0 0 0 15 0 0 0 20 0 20 0 4600453 13585620992 68343 33554432000 4194304 4196468 140730617631216 139867166018000 139867694075256 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13227] ppid=13208 vsize=13267208 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13227/stat : 13227 (java) S 13208 13208 7102 0 -1 1077944384 1499 0 0 0 23 0 0 0 20 0 20 0 4600453 13585620992 68343 33554432000 4194304 4196468 140730617631216 139867164977264 139867710175874 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13228] ppid=13208 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13228/stat : 13228 (java) S 13208 13208 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4600453 13585620992 68343 33554432000 4194304 4196468 140730617631216 139867163925472 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13229] ppid=13208 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13229/stat : 13229 (java) S 13208 13208 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4600453 13585620992 68343 33554432000 4194304 4196468 140730617631216 139867162873008 139867710175874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 13276720
[startup+3.10089 s]
/proc/loadavg: 14.41 13.87 14.00 17/291 13229
/proc/meminfo: memFree=31042196/32770624 swapFree=5656/331540
[pid=13208] ppid=13205 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13208/stat : 13208 (xcsp3-exec) S 13205 13208 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4600445 9740288 346 33554432000 4194304 5098028 140732935877296 140732935875400 139829168554620 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7532544 140732935885968 140732935886176 140732935886176 140732935888875 0
/proc/13208/statm: 2378 346 289 221 0 87 0
[pid=13209] ppid=13208 vsize=13269256 CPUtime=4.66 cores=0,2,4,6,8,10,12,14
/proc/13209/stat : 13209 (java) S 13208 13208 7102 0 -1 1077944320 13772 0 0 0 410 56 0 0 20 0 20 0 4600445 13587718144 122525 33554432000 4194304 4196468 140730617631216 140730617613760 139867710164727 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
/proc/13209/statm: 3317314 122525 3234 1 0 3304547 0
[pid=13209/tid=13210] ppid=13208 vsize=13269256 CPUtime=2.95 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13210/stat : 13210 (java) R 13208 13208 7102 0 -1 4202560 6985 0 0 0 287 8 0 0 20 0 20 0 4600445 13587718144 122525 33554432000 4194304 4196468 140730617631216 139867714400456 139867307593284 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13212] ppid=13208 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13212/stat : 13212 (java) S 13208 13208 7102 0 -1 1077944384 99 0 0 0 3 6 0 0 20 0 20 0 4600446 13587718144 122525 33554432000 4194304 4196468 140730617631216 139867628645392 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13213] ppid=13208 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13213/stat : 13213 (java) S 13208 13208 7102 0 -1 1077944384 76 0 0 0 3 5 0 0 20 0 20 0 4600446 13587718144 122525 33554432000 4194304 4196468 140730617631216 139867627592848 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13214] ppid=13208 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13214/stat : 13214 (java) S 13208 13208 7102 0 -1 1077944384 113 0 0 0 5 5 0 0 20 0 20 0 4600446 13587718144 122525 33554432000 4194304 4196468 140730617631216 139867626539792 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13215] ppid=13208 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13215/stat : 13215 (java) S 13208 13208 7102 0 -1 1077944384 63 0 0 0 3 5 0 0 20 0 20 0 4600446 13587718144 122525 33554432000 4194304 4196468 140730617631216 139867625487248 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13216] ppid=13208 vsize=13269256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13216/stat : 13216 (java) S 13208 13208 7102 0 -1 1077944384 117 0 0 0 3 6 0 0 20 0 20 0 4600446 13587718144 122525 33554432000 4194304 4196468 140730617631216 139867624434192 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13217] ppid=13208 vsize=13269256 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13217/stat : 13217 (java) S 13208 13208 7102 0 -1 1077944384 84 0 0 0 3 5 0 0 20 0 20 0 4600446 13587718144 122525 33554432000 4194304 4196468 140730617631216 139867304487568 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13218] ppid=13208 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13218/stat : 13218 (java) S 13208 13208 7102 0 -1 1077944384 208 0 0 0 6 4 0 0 20 0 20 0 4600446 13587718144 122525 33554432000 4194304 4196468 140730617631216 139867303434512 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13219] ppid=13208 vsize=13269256 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13219/stat : 13219 (java) S 13208 13208 7102 0 -1 1077944384 76 0 0 0 4 6 0 0 20 0 20 0 4600446 13587718144 122525 33554432000 4194304 4196468 140730617631216 139867302381968 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13220] ppid=13208 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13220/stat : 13220 (java) S 13208 13208 7102 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 4600448 13587718144 122525 33554432000 4194304 4196468 140730617631216 139867172346608 139867710175874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13221] ppid=13208 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13221/stat : 13221 (java) S 13208 13208 7102 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4600449 13587718144 122525 33554432000 4194304 4196468 140730617631216 139867171292896 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13222] ppid=13208 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13222/stat : 13222 (java) S 13208 13208 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4600449 13587718144 122525 33554432000 4194304 4196468 140730617631216 139867170239744 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13223] ppid=13208 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13223/stat : 13223 (java) S 13208 13208 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4600452 13587718144 122525 33554432000 4194304 4196468 140730617631216 139867169188304 139867710183323 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13224] ppid=13208 vsize=13269256 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13224/stat : 13224 (java) S 13208 13208 7102 0 -1 1077944384 1265 0 0 0 24 0 0 0 20 0 20 0 4600452 13587718144 122525 33554432000 4194304 4196468 140730617631216 139867168135408 139867710175874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13225] ppid=13208 vsize=13269256 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13225/stat : 13225 (java) S 13208 13208 7102 0 -1 1077944384 619 0 0 0 17 0 0 0 20 0 20 0 4600452 13587718144 122525 33554432000 4194304 4196468 140730617631216 139867167082864 139867710175874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13226] ppid=13208 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13226/stat : 13226 (java) S 13208 13208 7102 0 -1 1077944384 1022 0 0 0 20 0 0 0 20 0 20 0 4600453 13587718144 122525 33554432000 4194304 4196468 140730617631216 139867166029808 139867710175874 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13227] ppid=13208 vsize=13269256 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13227/stat : 13227 (java) S 13208 13208 7102 0 -1 1077944384 1540 0 0 0 25 0 0 0 20 0 20 0 4600453 13587718144 122525 33554432000 4194304 4196468 140730617631216 139867164977264 139867710175874 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13228] ppid=13208 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13228/stat : 13228 (java) S 13208 13208 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4600453 13587718144 122525 33554432000 4194304 4196468 140730617631216 139867163925472 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13229] ppid=13208 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13229/stat : 13229 (java) S 13208 13208 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4600453 13587718144 122525 33554432000 4194304 4196468 140730617631216 139867162873008 139867710175874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
Current children cumulated CPU time (s) 4.66
Current children cumulated vsize (KiB) 13278768
[startup+6.30091 s]
/proc/loadavg: 13.97 13.78 13.98 10/291 13229
/proc/meminfo: memFree=30473120/32770624 swapFree=5656/331540
[pid=13208] ppid=13205 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13208/stat : 13208 (xcsp3-exec) S 13205 13208 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4600445 9740288 346 33554432000 4194304 5098028 140732935877296 140732935875400 139829168554620 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7532544 140732935885968 140732935886176 140732935886176 140732935888875 0
/proc/13208/statm: 2378 346 289 221 0 87 0
[pid=13209] ppid=13208 vsize=13269256 CPUtime=8.6 cores=0,2,4,6,8,10,12,14
/proc/13209/stat : 13209 (java) S 13208 13208 7102 0 -1 1077944320 17605 0 0 0 755 105 0 0 20 0 20 0 4600445 13587718144 198034 33554432000 4194304 4196468 140730617631216 140730617613760 139867710164727 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
/proc/13209/statm: 3317314 198034 3235 1 0 3304547 0
[pid=13209/tid=13210] ppid=13208 vsize=13269256 CPUtime=6.05 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13210/stat : 13210 (java) R 13208 13208 7102 0 -1 4202560 8267 0 0 0 594 11 0 0 20 0 20 0 4600445 13587718144 198034 33554432000 4194304 4196468 140730617631216 139867714403176 139867307469272 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13212] ppid=13208 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13212/stat : 13212 (java) S 13208 13208 7102 0 -1 1077944384 146 0 0 0 8 11 0 0 20 0 20 0 4600446 13587718144 198034 33554432000 4194304 4196468 140730617631216 139867628645392 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13213] ppid=13208 vsize=13269256 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13213/stat : 13213 (java) S 13208 13208 7102 0 -1 1077944384 120 0 0 0 7 10 0 0 20 0 20 0 4600446 13587718144 198034 33554432000 4194304 4196468 140730617631216 139867627592848 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13214] ppid=13208 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13214/stat : 13214 (java) S 13208 13208 7102 0 -1 1077944384 162 0 0 0 9 10 0 0 20 0 20 0 4600446 13587718144 198034 33554432000 4194304 4196468 140730617631216 139867626539792 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13215] ppid=13208 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13215/stat : 13215 (java) S 13208 13208 7102 0 -1 1077944384 112 0 0 0 7 11 0 0 20 0 20 0 4600446 13587718144 198034 33554432000 4194304 4196468 140730617631216 139867625487248 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13216] ppid=13208 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13216/stat : 13216 (java) S 13208 13208 7102 0 -1 1077944384 164 0 0 0 7 12 0 0 20 0 20 0 4600446 13587718144 198034 33554432000 4194304 4196468 140730617631216 139867624434192 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13217] ppid=13208 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13217/stat : 13217 (java) S 13208 13208 7102 0 -1 1077944384 136 0 0 0 7 11 0 0 20 0 20 0 4600446 13587718144 198034 33554432000 4194304 4196468 140730617631216 139867304487568 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13218] ppid=13208 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13218/stat : 13218 (java) S 13208 13208 7102 0 -1 1077944384 258 0 0 0 10 10 0 0 20 0 20 0 4600446 13587718144 198034 33554432000 4194304 4196468 140730617631216 139867303434512 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13219] ppid=13208 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13219/stat : 13219 (java) S 13208 13208 7102 0 -1 1077944384 125 0 0 0 8 12 0 0 20 0 20 0 4600446 13587718144 198034 33554432000 4194304 4196468 140730617631216 139867302381968 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13220] ppid=13208 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13220/stat : 13220 (java) S 13208 13208 7102 0 -1 1077944384 531 0 0 0 1 0 0 0 20 0 20 0 4600448 13587718144 198034 33554432000 4194304 4196468 140730617631216 139867172346608 139867710175874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13221] ppid=13208 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13221/stat : 13221 (java) S 13208 13208 7102 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4600449 13587718144 198034 33554432000 4194304 4196468 140730617631216 139867171292896 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13222] ppid=13208 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13222/stat : 13222 (java) S 13208 13208 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4600449 13587718144 198034 33554432000 4194304 4196468 140730617631216 139867170239744 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13223] ppid=13208 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13223/stat : 13223 (java) S 13208 13208 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4600452 13587718144 198034 33554432000 4194304 4196468 140730617631216 139867169188304 139867710183323 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
################
# More data... #
################
/proc/13209/task/13213/stat : 13213 (java) R 13208 13208 7102 0 -1 4202560 2882 0 0 0 287 101 0 0 20 0 23 0 4600446 13792202752 1173094 33554432000 4194304 4196468 140730617631216 139867627592968 139867702792935 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13214] ppid=13208 vsize=13468948 CPUtime=3.86 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13214/stat : 13214 (java) R 13208 13208 7102 0 -1 4202560 3972 0 0 0 288 98 0 0 20 0 23 0 4600446 13792202752 1173094 33554432000 4194304 4196468 140730617631216 139867626539912 139867702792935 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13215] ppid=13208 vsize=13468948 CPUtime=3.9 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13215/stat : 13215 (java) R 13208 13208 7102 0 -1 4202560 5671 0 0 0 299 91 0 0 20 0 23 0 4600446 13792202752 1173094 33554432000 4194304 4196468 140730617631216 139867625487368 139867702792935 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13216] ppid=13208 vsize=13468948 CPUtime=3.98 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13216/stat : 13216 (java) R 13208 13208 7102 0 -1 4202560 2667 0 0 0 292 106 0 0 20 0 23 0 4600446 13792202752 1173094 33554432000 4194304 4196468 140730617631216 139867624434312 139867702792935 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13217] ppid=13208 vsize=13468948 CPUtime=3.92 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13217/stat : 13217 (java) R 13208 13208 7102 0 -1 4202560 3183 0 0 0 296 96 0 0 20 0 23 0 4600446 13792202752 1173094 33554432000 4194304 4196468 140730617631216 139867304487688 139867702792935 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13218] ppid=13208 vsize=13468948 CPUtime=3.97 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13218/stat : 13218 (java) R 13208 13208 7102 0 -1 4202560 3089 0 0 0 303 94 0 0 20 0 23 0 4600446 13792202752 1173094 33554432000 4194304 4196468 140730617631216 139867303434632 139867693547762 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13219] ppid=13208 vsize=13468948 CPUtime=3.99 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13219/stat : 13219 (java) R 13208 13208 7102 0 -1 4202560 14115 0 0 0 303 96 0 0 20 0 23 0 4600446 13792202752 1173094 33554432000 4194304 4196468 140730617631216 139867302382168 139867691774482 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13220] ppid=13208 vsize=13468948 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13220/stat : 13220 (java) S 13208 13208 7102 0 -1 1077944384 4479 0 0 0 100 0 0 0 20 0 23 0 4600448 13792202752 1173094 33554432000 4194304 4196468 140730617631216 139867172345152 139867710174933 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13221] ppid=13208 vsize=13468948 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13221/stat : 13221 (java) S 13208 13208 7102 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 23 0 4600449 13792202752 1173094 33554432000 4194304 4196468 140730617631216 139867171292896 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13222] ppid=13208 vsize=13468948 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13222/stat : 13222 (java) S 13208 13208 7102 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 23 0 4600449 13792202752 1173094 33554432000 4194304 4196468 140730617631216 139867170239744 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13223] ppid=13208 vsize=13468948 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13223/stat : 13223 (java) S 13208 13208 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 4600452 13792202752 1173094 33554432000 4194304 4196468 140730617631216 139867169188304 139867710183323 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13224] ppid=13208 vsize=13468948 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13224/stat : 13224 (java) S 13208 13208 7102 0 -1 1077944384 2398 0 0 0 43 0 0 0 20 0 23 0 4600452 13792202752 1173094 33554432000 4194304 4196468 140730617631216 139867168135408 139867710175874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13225] ppid=13208 vsize=13468948 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13225/stat : 13225 (java) S 13208 13208 7102 0 -1 1077944384 1796 0 0 0 38 1 0 0 20 0 23 0 4600452 13792202752 1173094 33554432000 4194304 4196468 140730617631216 139867167082864 139867710175874 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13226] ppid=13208 vsize=13468948 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13226/stat : 13226 (java) S 13208 13208 7102 0 -1 1077944384 4194 0 0 0 65 0 0 0 20 0 23 0 4600453 13792202752 1173094 33554432000 4194304 4196468 140730617631216 139867166029808 139867710175874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13227] ppid=13208 vsize=13468948 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13227/stat : 13227 (java) S 13208 13208 7102 0 -1 1077944384 5188 0 0 0 49 0 0 0 20 0 23 0 4600453 13792202752 1173094 33554432000 4194304 4196468 140730617631216 139867164971584 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13228] ppid=13208 vsize=13468948 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13228/stat : 13228 (java) S 13208 13208 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 23 0 4600453 13792202752 1173094 33554432000 4194304 4196468 140730617631216 139867163925472 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13229] ppid=13208 vsize=13468948 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13229/stat : 13229 (java) S 13208 13208 7102 0 -1 1077944384 76 0 0 0 1 1 0 0 20 0 23 0 4600453 13792202752 1173094 33554432000 4194304 4196468 140730617631216 139867162873008 139867710175874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13231] ppid=13208 vsize=13468948 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13231/stat : 13231 (java) S 13208 13208 7102 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 23 0 4606822 13792202752 1173094 33554432000 4194304 4196468 140730617631216 139867154860592 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13232] ppid=13208 vsize=13468948 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13232/stat : 13232 (java) S 13208 13208 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 23 0 4606823 13792202752 1173094 33554432000 4194304 4196468 140730617631216 139866885054992 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13233] ppid=13208 vsize=13468948 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13233/stat : 13233 (java) S 13208 13208 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 23 0 4606823 13792202752 1173094 33554432000 4194304 4196468 140730617631216 139866884004384 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
Current children cumulated CPU time (s) 94.26
Current children cumulated vsize (KiB) 13478460
[startup+65.2011 s]
/proc/loadavg: 11.01 12.95 13.68 17/294 13233
/proc/meminfo: memFree=25283340/32770624 swapFree=5656/331632
[pid=13208] ppid=13205 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13208/stat : 13208 (xcsp3-exec) S 13205 13208 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4600445 9740288 346 33554432000 4194304 5098028 140732935877296 140732935875400 139829168554620 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7532544 140732935885968 140732935886176 140732935886176 140732935888875 0
/proc/13208/statm: 2378 346 289 221 0 87 0
[pid=13209] ppid=13208 vsize=13468948 CPUtime=96.51 cores=0,2,4,6,8,10,12,14
/proc/13209/stat : 13209 (java) S 13208 13208 7102 0 -1 1077944320 75155 0 0 0 8808 843 0 0 20 0 23 0 4600445 13792202752 1173236 33554432000 4194304 4196468 140730617631216 140730617613760 139867710164727 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
/proc/13209/statm: 3367237 1173236 3266 1 0 3354470 0
[pid=13209/tid=13210] ppid=13208 vsize=13468948 CPUtime=59.7 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13210/stat : 13210 (java) S 13208 13208 7102 0 -1 1077944384 15594 0 0 0 5927 43 0 0 20 0 23 0 4600445 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867714405504 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13212] ppid=13208 vsize=13468948 CPUtime=4.2 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13212/stat : 13212 (java) S 13208 13208 7102 0 -1 1077944384 3824 0 0 0 312 108 0 0 20 0 23 0 4600446 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867628645392 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13213] ppid=13208 vsize=13468948 CPUtime=4.16 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13213/stat : 13213 (java) S 13208 13208 7102 0 -1 1077944384 2898 0 0 0 314 102 0 0 20 0 23 0 4600446 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867627592848 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13214] ppid=13208 vsize=13468948 CPUtime=4.12 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13214/stat : 13214 (java) S 13208 13208 7102 0 -1 1077944384 3998 0 0 0 314 98 0 0 20 0 23 0 4600446 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867626539792 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13215] ppid=13208 vsize=13468948 CPUtime=4.17 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13215/stat : 13215 (java) S 13208 13208 7102 0 -1 1077944384 5731 0 0 0 326 91 0 0 20 0 23 0 4600446 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867625487248 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13216] ppid=13208 vsize=13468948 CPUtime=4.24 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13216/stat : 13216 (java) S 13208 13208 7102 0 -1 1077944384 2697 0 0 0 318 106 0 0 20 0 23 0 4600446 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867624434192 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13217] ppid=13208 vsize=13468948 CPUtime=4.19 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13217/stat : 13217 (java) S 13208 13208 7102 0 -1 1077944384 3223 0 0 0 323 96 0 0 20 0 23 0 4600446 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867304487568 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13218] ppid=13208 vsize=13468948 CPUtime=4.22 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13218/stat : 13218 (java) S 13208 13208 7102 0 -1 1077944384 3136 0 0 0 328 94 0 0 20 0 23 0 4600446 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867303434512 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13219] ppid=13208 vsize=13468948 CPUtime=4.25 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13219/stat : 13219 (java) S 13208 13208 7102 0 -1 1077944384 14140 0 0 0 329 96 0 0 20 0 23 0 4600446 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867302381968 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13220] ppid=13208 vsize=13468948 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13220/stat : 13220 (java) R 13208 13208 7102 0 -1 4202560 4835 0 0 0 113 0 0 0 20 0 23 0 4600448 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867172345040 139867694865472 0 0 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13221] ppid=13208 vsize=13468948 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13221/stat : 13221 (java) S 13208 13208 7102 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 23 0 4600449 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867171292896 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13222] ppid=13208 vsize=13468948 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13222/stat : 13222 (java) S 13208 13208 7102 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 23 0 4600449 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867170239744 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13223] ppid=13208 vsize=13468948 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13223/stat : 13223 (java) S 13208 13208 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 4600452 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867169188304 139867710183323 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13224] ppid=13208 vsize=13468948 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13224/stat : 13224 (java) S 13208 13208 7102 0 -1 1077944384 2398 0 0 0 43 0 0 0 20 0 23 0 4600452 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867168135408 139867710175874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13225] ppid=13208 vsize=13468948 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13225/stat : 13225 (java) S 13208 13208 7102 0 -1 1077944384 1796 0 0 0 38 1 0 0 20 0 23 0 4600452 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867167082864 139867710175874 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13226] ppid=13208 vsize=13468948 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13226/stat : 13226 (java) S 13208 13208 7102 0 -1 1077944384 4194 0 0 0 65 0 0 0 20 0 23 0 4600453 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867166029808 139867710175874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13227] ppid=13208 vsize=13468948 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13227/stat : 13227 (java) S 13208 13208 7102 0 -1 1077944384 5188 0 0 0 49 0 0 0 20 0 23 0 4600453 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867164971584 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13228] ppid=13208 vsize=13468948 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13228/stat : 13228 (java) S 13208 13208 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 23 0 4600453 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867163925472 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13229] ppid=13208 vsize=13468948 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13229/stat : 13229 (java) S 13208 13208 7102 0 -1 1077944384 91 0 0 0 1 1 0 0 20 0 23 0 4600453 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867162873008 139867710175874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13231] ppid=13208 vsize=13468948 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13231/stat : 13231 (java) S 13208 13208 7102 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 23 0 4606822 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867154860592 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13232] ppid=13208 vsize=13468948 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13232/stat : 13232 (java) S 13208 13208 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 23 0 4606823 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139866885054992 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13233] ppid=13208 vsize=13468948 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13233/stat : 13233 (java) S 13208 13208 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 23 0 4606823 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139866884004384 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
Current children cumulated CPU time (s) 96.51
Current children cumulated vsize (KiB) 13478460
[startup+65.601 s]
/proc/loadavg: 11.01 12.95 13.68 17/294 13233
/proc/meminfo: memFree=25283340/32770624 swapFree=5656/331632
[pid=13208] ppid=13205 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13208/stat : 13208 (xcsp3-exec) S 13205 13208 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4600445 9740288 346 33554432000 4194304 5098028 140732935877296 140732935875400 139829168554620 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7532544 140732935885968 140732935886176 140732935886176 140732935888875 0
/proc/13208/statm: 2378 346 289 221 0 87 0
[pid=13209] ppid=13208 vsize=13468948 CPUtime=96.91 cores=0,2,4,6,8,10,12,14
/proc/13209/stat : 13209 (java) S 13208 13208 7102 0 -1 1077944320 75571 0 0 0 8848 843 0 0 20 0 23 0 4600445 13792202752 1173236 33554432000 4194304 4196468 140730617631216 140730617613760 139867710164727 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
/proc/13209/statm: 3367237 1173236 3266 1 0 3354470 0
[pid=13209/tid=13210] ppid=13208 vsize=13468948 CPUtime=59.7 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13210/stat : 13210 (java) S 13208 13208 7102 0 -1 1077944384 15594 0 0 0 5927 43 0 0 20 0 23 0 4600445 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867714405504 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13212] ppid=13208 vsize=13468948 CPUtime=4.2 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13212/stat : 13212 (java) S 13208 13208 7102 0 -1 1077944384 3824 0 0 0 312 108 0 0 20 0 23 0 4600446 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867628645392 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13213] ppid=13208 vsize=13468948 CPUtime=4.16 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13213/stat : 13213 (java) S 13208 13208 7102 0 -1 1077944384 2898 0 0 0 314 102 0 0 20 0 23 0 4600446 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867627592848 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13214] ppid=13208 vsize=13468948 CPUtime=4.12 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13214/stat : 13214 (java) S 13208 13208 7102 0 -1 1077944384 3998 0 0 0 314 98 0 0 20 0 23 0 4600446 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867626539792 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13215] ppid=13208 vsize=13468948 CPUtime=4.17 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13215/stat : 13215 (java) S 13208 13208 7102 0 -1 1077944384 5731 0 0 0 326 91 0 0 20 0 23 0 4600446 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867625487248 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13216] ppid=13208 vsize=13468948 CPUtime=4.24 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13216/stat : 13216 (java) S 13208 13208 7102 0 -1 1077944384 2697 0 0 0 318 106 0 0 20 0 23 0 4600446 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867624434192 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13217] ppid=13208 vsize=13468948 CPUtime=4.19 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13217/stat : 13217 (java) S 13208 13208 7102 0 -1 1077944384 3223 0 0 0 323 96 0 0 20 0 23 0 4600446 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867304487568 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13218] ppid=13208 vsize=13468948 CPUtime=4.22 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13218/stat : 13218 (java) S 13208 13208 7102 0 -1 1077944384 3136 0 0 0 328 94 0 0 20 0 23 0 4600446 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867303434512 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13219] ppid=13208 vsize=13468948 CPUtime=4.25 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13219/stat : 13219 (java) S 13208 13208 7102 0 -1 1077944384 14140 0 0 0 329 96 0 0 20 0 23 0 4600446 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867302381968 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13220] ppid=13208 vsize=13468948 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13220/stat : 13220 (java) R 13208 13208 7102 0 -1 4202560 5046 0 0 0 153 0 0 0 20 0 23 0 4600448 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867172345040 139867694622297 0 0 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13221] ppid=13208 vsize=13468948 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13221/stat : 13221 (java) S 13208 13208 7102 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 23 0 4600449 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867171292896 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13222] ppid=13208 vsize=13468948 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13222/stat : 13222 (java) S 13208 13208 7102 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 23 0 4600449 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867170239744 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13223] ppid=13208 vsize=13468948 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13223/stat : 13223 (java) S 13208 13208 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 4600452 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867169188304 139867710183323 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13224] ppid=13208 vsize=13468948 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13224/stat : 13224 (java) S 13208 13208 7102 0 -1 1077944384 2398 0 0 0 43 0 0 0 20 0 23 0 4600452 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867168135408 139867710175874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13225] ppid=13208 vsize=13468948 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13225/stat : 13225 (java) S 13208 13208 7102 0 -1 1077944384 1796 0 0 0 38 1 0 0 20 0 23 0 4600452 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867167082864 139867710175874 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13226] ppid=13208 vsize=13468948 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13226/stat : 13226 (java) S 13208 13208 7102 0 -1 1077944384 4194 0 0 0 65 0 0 0 20 0 23 0 4600453 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867166029808 139867710175874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13227] ppid=13208 vsize=13468948 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13227/stat : 13227 (java) S 13208 13208 7102 0 -1 1077944384 5188 0 0 0 49 0 0 0 20 0 23 0 4600453 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867164971584 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13228] ppid=13208 vsize=13468948 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13228/stat : 13228 (java) S 13208 13208 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 23 0 4600453 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867163925472 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13229] ppid=13208 vsize=13468948 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13229/stat : 13229 (java) S 13208 13208 7102 0 -1 1077944384 296 0 0 0 2 1 0 0 20 0 23 0 4600453 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867162873008 139867710175874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13231] ppid=13208 vsize=13468948 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13231/stat : 13231 (java) S 13208 13208 7102 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 23 0 4606822 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139867154860592 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13232] ppid=13208 vsize=13468948 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13232/stat : 13232 (java) S 13208 13208 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 23 0 4606823 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139866885054992 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
[pid=13209/tid=13233] ppid=13208 vsize=13468948 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13233/stat : 13233 (java) S 13208 13208 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 23 0 4606823 13792202752 1173236 33554432000 4194304 4196468 140730617631216 139866884004384 139867710174933 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17879040 140730617640124 140730617640300 140730617640300 140730617642959 0
Current children cumulated CPU time (s) 96.91
Current children cumulated vsize (KiB) 13478460
[startup+65.7008 s]
/proc/loadavg: 11.01 12.95 13.68 17/294 13233
/proc/meminfo: memFree=25283340/32770624 swapFree=5656/331632
[pid=13208] ppid=13205 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13208/stat : 13208 (xcsp3-exec) S 13205 13208 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4600445 9740288 346 33554432000 4194304 5098028 140732935877296 140732935875400 139829168554620 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7532544 140732935885968 140732935886176 140732935886176 140732935888875 0
/proc/13208/statm: 2378 346 289 221 0 87 0
[pid=13209] ppid=13208 vsize=0 CPUtime=97.38 cores=0,2,4,6,8,10,12,14
/proc/13209/stat : 13209 (java) Z 13208 13208 7102 0 -1 4227084 81154 0 0 0 8893 845 0 0 20 0 2 0 4600445 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/13209/statm: 0 0 0 0 0 0 0
[pid=13209/tid=13226] ppid=13208 vsize=0 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/13209/task/13226/stat : 13226 (java) R 13208 13208 7102 0 -1 4203588 4309 0 0 0 67 1 0 0 20 0 2 0 4600453 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 97.38
Current children cumulated vsize (KiB) 9512
Child status: 0
Real time (s): 65.7323
CPU time (s): 97.4241
CPU user time (s): 88.9393
CPU system time (s): 8.48474
CPU usage (%): 148.213
Max. virtual memory (cumulated for all children) (KiB): 13478460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.9393
system time used= 8.48474
maximum resident set size= 4696828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81684
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6449
involuntary context switches= 6829
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.533526 second user time and 0.638828 second system time
The end