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-4244660-1502044938/watcher-4244660-1502044938 -o /tmp/evaluation-result-4244660-1502044938/solver-4244660-1502044938 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31899 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 89870696 HOME/instance-4244660-1502044938.xml
pid=1256
running on 4 cores: 1,3,5,7
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: 8.64 8.36 7.45 6/204 1259
/proc/meminfo: memFree=31145804/32770624 swapFree=0/319336
[pid=1259] ppid=1256 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/1259/stat : 1259 (runsolver) D 1256 1259 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 52309097 24240128 108 18446744073709551615 4194304 4338465 140731483004608 140731483002248 140065984881367 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 18415616 140731483013208 140731483013705 140731483013705 140731483017162 0
/proc/1259/statm: 5918 108 54 36 0 2156 0
[startup+0.100132 s]
/proc/loadavg: 8.64 8.36 7.45 6/204 1259
/proc/meminfo: memFree=31145804/32770624 swapFree=0/319336
[pid=1259] ppid=1256 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/1259/stat : 1259 (xcsp3-exec) S 1256 1259 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52309097 9740288 345 18446744073709551615 4194304 5098028 140724812378224 140724812376328 140040457290364 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 31973376 140724812382618 140724812382826 140724812382826 140724812386283 0
/proc/1259/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200245 s]
/proc/loadavg: 8.64 8.36 7.45 6/204 1259
/proc/meminfo: memFree=31145804/32770624 swapFree=0/319336
[pid=1259] ppid=1256 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/1259/stat : 1259 (xcsp3-exec) S 1256 1259 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52309097 9740288 345 18446744073709551615 4194304 5098028 140724812378224 140724812376328 140040457290364 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 31973376 140724812382618 140724812382826 140724812382826 140724812386283 0
/proc/1259/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300263 s]
/proc/loadavg: 8.64 8.36 7.45 6/204 1259
/proc/meminfo: memFree=31145804/32770624 swapFree=0/319336
[pid=1259] ppid=1256 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/1259/stat : 1259 (xcsp3-exec) S 1256 1259 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52309097 9740288 345 18446744073709551615 4194304 5098028 140724812378224 140724812376328 140040457290364 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 31973376 140724812382618 140724812382826 140724812382826 140724812386283 0
/proc/1259/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701136 s]
/proc/loadavg: 8.64 8.36 7.45 6/204 1259
/proc/meminfo: memFree=31145804/32770624 swapFree=0/319336
[pid=1259] ppid=1256 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/1259/stat : 1259 (xcsp3-exec) S 1256 1259 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52309097 9740288 345 18446744073709551615 4194304 5098028 140724812378224 140724812376328 140040457290364 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 31973376 140724812382618 140724812382826 140724812382826 140724812386283 0
/proc/1259/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50814 s]
/proc/loadavg: 8.64 8.36 7.45 10/224 1279
/proc/meminfo: memFree=31067572/32770624 swapFree=0/319364
[pid=1259] ppid=1256 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/1259/stat : 1259 (xcsp3-exec) S 1256 1259 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52309097 9740288 345 18446744073709551615 4194304 5098028 140724812378224 140724812376328 140040457290364 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 31973376 140724812382618 140724812382826 140724812382826 140724812386283 0
/proc/1259/statm: 2378 345 289 221 0 87 0
[pid=1261] ppid=1259 vsize=13185584 CPUtime=4.24 cores=1,3,5,7
/proc/1261/stat : 1261 (java) S 1259 1259 25100 0 -1 1077944320 19477 0 0 0 418 6 0 0 20 0 19 0 52309105 13502038016 30437 18446744073709551615 4194304 4196468 140724745205456 140724745188000 140687036554999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
/proc/1261/statm: 3296396 30437 3206 1 0 3284688 0
[pid=1261/tid=1262] ppid=1259 vsize=13185584 CPUtime=0.6 cores=1,3,5,7
/proc/1261/task/1262/stat : 1262 (java) S 1259 1259 25100 0 -1 1077944384 9053 0 0 0 57 3 0 0 20 0 19 0 52309106 13502038016 30437 18446744073709551615 4194304 4196468 140724745205456 140687040795776 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1263] ppid=1259 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1263/stat : 1263 (java) S 1259 1259 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52309106 13502038016 30437 18446744073709551615 4194304 4196468 140724745205456 140686959381008 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1264] ppid=1259 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1264/stat : 1264 (java) S 1259 1259 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52309106 13502038016 30437 18446744073709551615 4194304 4196468 140724745205456 140686958328464 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1265] ppid=1259 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1265/stat : 1265 (java) S 1259 1259 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52309106 13502038016 30437 18446744073709551615 4194304 4196468 140724745205456 140686957275408 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1266] ppid=1259 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1266/stat : 1266 (java) S 1259 1259 25100 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 52309106 13502038016 30437 18446744073709551615 4194304 4196468 140724745205456 140686636607888 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1267] ppid=1259 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1267/stat : 1267 (java) S 1259 1259 25100 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 52309108 13502038016 30437 18446744073709551615 4194304 4196468 140724745205456 140686520527600 140687036566146 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1268] ppid=1259 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1268/stat : 1268 (java) S 1259 1259 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 52309108 13502038016 30437 18446744073709551615 4194304 4196468 140724745205456 140686519473824 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1269] ppid=1259 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1269/stat : 1269 (java) S 1259 1259 25100 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 52309108 13502038016 30437 18446744073709551615 4194304 4196468 140724745205456 140686518420720 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1270] ppid=1259 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1270/stat : 1270 (java) S 1259 1259 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52309111 13502038016 30437 18446744073709551615 4194304 4196468 140724745205456 140686517369296 140687036573595 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1271] ppid=1259 vsize=13185584 CPUtime=0.53 cores=1,3,5,7
/proc/1261/task/1271/stat : 1271 (java) R 1259 1259 25100 0 -1 4202560 2962 0 0 0 53 0 0 0 20 0 19 0 52309111 13502038016 30437 18446744073709551615 4194304 4196468 140724745205456 140686516309592 140687018075893 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1272] ppid=1259 vsize=13185584 CPUtime=0.55 cores=1,3,5,7
/proc/1261/task/1272/stat : 1272 (java) R 1259 1259 25100 0 -1 4202560 2646 0 0 0 55 0 0 0 20 0 19 0 52309111 13502038016 30437 18446744073709551615 4194304 4196468 140724745205456 140686515247520 140687020041040 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1273] ppid=1259 vsize=13185584 CPUtime=0.56 cores=1,3,5,7
/proc/1261/task/1273/stat : 1273 (java) S 1259 1259 25100 0 -1 1077944384 2917 0 0 0 55 1 0 0 20 0 19 0 52309111 13502038016 30437 18446744073709551615 4194304 4196468 140724745205456 140686514210800 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1274] ppid=1259 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1274/stat : 1274 (java) S 1259 1259 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52309111 13502038016 30437 18446744073709551615 4194304 4196468 140724745205456 140686513158496 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1275] ppid=1259 vsize=13185584 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1275/stat : 1275 (java) S 1259 1259 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52309115 13502038016 30437 18446744073709551615 4194304 4196468 140724745205456 140686512106544 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 13195096
[startup+3.10114 s]
/proc/loadavg: 8.64 8.36 7.45 12/224 1307
/proc/meminfo: memFree=30916132/32770624 swapFree=0/319368
[pid=1259] ppid=1256 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/1259/stat : 1259 (xcsp3-exec) S 1256 1259 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52309097 9740288 345 18446744073709551615 4194304 5098028 140724812378224 140724812376328 140040457290364 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 31973376 140724812382618 140724812382826 140724812382826 140724812386283 0
/proc/1259/statm: 2378 345 289 221 0 87 0
[pid=1261] ppid=1259 vsize=13319740 CPUtime=10.28 cores=1,3,5,7
/proc/1261/stat : 1261 (java) S 1259 1259 25100 0 -1 1077944320 48240 0 0 0 1017 11 0 0 20 0 19 0 52309105 13639413760 62768 18446744073709551615 4194304 4196468 140724745205456 140724745188000 140687036554999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
/proc/1261/statm: 3329935 62768 3228 1 0 3318227 0
[pid=1261/tid=1262] ppid=1259 vsize=13319740 CPUtime=0.6 cores=1,3,5,7
/proc/1261/task/1262/stat : 1262 (java) S 1259 1259 25100 0 -1 1077944384 9109 0 0 0 57 3 0 0 20 0 19 0 52309106 13639413760 62768 18446744073709551615 4194304 4196468 140724745205456 140687040795776 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1263] ppid=1259 vsize=13319740 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1263/stat : 1263 (java) S 1259 1259 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52309106 13639413760 62768 18446744073709551615 4194304 4196468 140724745205456 140686959381008 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1264] ppid=1259 vsize=13319740 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1264/stat : 1264 (java) S 1259 1259 25100 0 -1 1077944384 357 0 0 0 0 0 0 0 20 0 19 0 52309106 13639413760 62768 18446744073709551615 4194304 4196468 140724745205456 140686958328464 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1265] ppid=1259 vsize=13319740 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1265/stat : 1265 (java) S 1259 1259 25100 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 52309106 13639413760 62768 18446744073709551615 4194304 4196468 140724745205456 140686957275408 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1266] ppid=1259 vsize=13319740 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1266/stat : 1266 (java) S 1259 1259 25100 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 19 0 52309106 13639413760 62768 18446744073709551615 4194304 4196468 140724745205456 140686636607888 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1267] ppid=1259 vsize=13319740 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1267/stat : 1267 (java) S 1259 1259 25100 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 52309108 13639413760 62768 18446744073709551615 4194304 4196468 140724745205456 140686520527600 140687036566146 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1268] ppid=1259 vsize=13319740 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1268/stat : 1268 (java) S 1259 1259 25100 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 52309108 13639413760 62768 18446744073709551615 4194304 4196468 140724745205456 140686519473824 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1269] ppid=1259 vsize=13319740 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1269/stat : 1269 (java) S 1259 1259 25100 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 52309108 13639413760 62768 18446744073709551615 4194304 4196468 140724745205456 140686518420720 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1270] ppid=1259 vsize=13319740 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1270/stat : 1270 (java) S 1259 1259 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52309111 13639413760 62768 18446744073709551615 4194304 4196468 140724745205456 140686517369296 140687036573595 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1271] ppid=1259 vsize=13319740 CPUtime=1.77 cores=1,3,5,7
/proc/1261/task/1271/stat : 1271 (java) R 1259 1259 25100 0 -1 4202560 13518 0 0 0 176 1 0 0 20 0 19 0 52309111 13639413760 62768 18446744073709551615 4194304 4196468 140724745205456 140686516308888 140687021306943 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1272] ppid=1259 vsize=13319740 CPUtime=1.75 cores=1,3,5,7
/proc/1261/task/1272/stat : 1272 (java) R 1259 1259 25100 0 -1 4202560 17168 0 0 0 173 2 0 0 20 0 19 0 52309111 13639413760 62768 18446744073709551615 4194304 4196468 140724745205456 140686515249736 140687016241667 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1273] ppid=1259 vsize=13319740 CPUtime=0.66 cores=1,3,5,7
/proc/1261/task/1273/stat : 1273 (java) S 1259 1259 25100 0 -1 1077944384 4648 0 0 0 65 1 0 0 20 0 19 0 52309111 13639413760 62768 18446744073709551615 4194304 4196468 140724745205456 140686514210800 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1274] ppid=1259 vsize=13319740 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1274/stat : 1274 (java) S 1259 1259 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52309111 13639413760 62768 18446744073709551615 4194304 4196468 140724745205456 140686513158496 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1275] ppid=1259 vsize=13319740 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1275/stat : 1275 (java) S 1259 1259 25100 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 52309115 13639413760 62768 18446744073709551615 4194304 4196468 140724745205456 140686512106544 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
Current children cumulated CPU time (s) 10.28
Current children cumulated vsize (KiB) 13329252
[startup+6.30114 s]
/proc/loadavg: 8.91 8.43 7.48 10/224 1375
/proc/meminfo: memFree=30898552/32770624 swapFree=0/319368
[pid=1259] ppid=1256 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/1259/stat : 1259 (xcsp3-exec) S 1256 1259 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52309097 9740288 345 18446744073709551615 4194304 5098028 140724812378224 140724812376328 140040457290364 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 31973376 140724812382618 140724812382826 140724812382826 140724812386283 0
/proc/1259/statm: 2378 345 289 221 0 87 0
[pid=1261] ppid=1259 vsize=13386304 CPUtime=22.8 cores=1,3,5,7
/proc/1261/stat : 1261 (java) S 1259 1259 25100 0 -1 1077944320 53502 0 0 0 2266 14 0 0 20 0 19 0 52309105 13707575296 64599 18446744073709551615 4194304 4196468 140724745205456 140724745188000 140687036554999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
/proc/1261/statm: 3346576 64599 3257 1 0 3334868 0
[pid=1261/tid=1262] ppid=1259 vsize=13386304 CPUtime=0.61 cores=1,3,5,7
/proc/1261/task/1262/stat : 1262 (java) S 1259 1259 25100 0 -1 1077944384 9270 0 0 0 58 3 0 0 20 0 19 0 52309106 13707575296 64599 18446744073709551615 4194304 4196468 140724745205456 140687040795776 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1263] ppid=1259 vsize=13386304 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1263/stat : 1263 (java) S 1259 1259 25100 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 52309106 13707575296 64599 18446744073709551615 4194304 4196468 140724745205456 140686959381008 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1264] ppid=1259 vsize=13386304 CPUtime=0.01 cores=1,3,5,7
/proc/1261/task/1264/stat : 1264 (java) S 1259 1259 25100 0 -1 1077944384 375 0 0 0 1 0 0 0 20 0 19 0 52309106 13707575296 64599 18446744073709551615 4194304 4196468 140724745205456 140686958328464 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1265] ppid=1259 vsize=13386304 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1265/stat : 1265 (java) S 1259 1259 25100 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 52309106 13707575296 64599 18446744073709551615 4194304 4196468 140724745205456 140686957275408 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1266] ppid=1259 vsize=13386304 CPUtime=0.01 cores=1,3,5,7
/proc/1261/task/1266/stat : 1266 (java) S 1259 1259 25100 0 -1 1077944384 546 0 0 0 1 0 0 0 20 0 19 0 52309106 13707575296 64599 18446744073709551615 4194304 4196468 140724745205456 140686636607888 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1267] ppid=1259 vsize=13386304 CPUtime=0.02 cores=1,3,5,7
/proc/1261/task/1267/stat : 1267 (java) S 1259 1259 25100 0 -1 1077944384 207 0 0 0 1 1 0 0 20 0 19 0 52309108 13707575296 64599 18446744073709551615 4194304 4196468 140724745205456 140686520527600 140687036566146 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1268] ppid=1259 vsize=13386304 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1268/stat : 1268 (java) S 1259 1259 25100 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 52309108 13707575296 64599 18446744073709551615 4194304 4196468 140724745205456 140686519473824 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1269] ppid=1259 vsize=13386304 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1269/stat : 1269 (java) S 1259 1259 25100 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 52309108 13707575296 64599 18446744073709551615 4194304 4196468 140724745205456 140686518420720 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1270] ppid=1259 vsize=13386304 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1270/stat : 1270 (java) S 1259 1259 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52309111 13707575296 64599 18446744073709551615 4194304 4196468 140724745205456 140686517369296 140687036573595 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1271] ppid=1259 vsize=13386304 CPUtime=3.95 cores=1,3,5,7
/proc/1261/task/1271/stat : 1271 (java) S 1259 1259 25100 0 -1 1077944384 14457 0 0 0 393 2 0 0 20 0 19 0 52309111 13707575296 64599 18446744073709551615 4194304 4196468 140724745205456 140686516316400 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1272] ppid=1259 vsize=13386304 CPUtime=3.74 cores=1,3,5,7
/proc/1261/task/1272/stat : 1272 (java) S 1259 1259 25100 0 -1 1077944384 17790 0 0 0 372 2 0 0 20 0 19 0 52309111 13707575296 64599 18446744073709551615 4194304 4196468 140724745205456 140686515263856 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1273] ppid=1259 vsize=13386304 CPUtime=0.76 cores=1,3,5,7
/proc/1261/task/1273/stat : 1273 (java) S 1259 1259 25100 0 -1 1077944384 5135 0 0 0 75 1 0 0 20 0 19 0 52309111 13707575296 64599 18446744073709551615 4194304 4196468 140724745205456 140686514210800 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1274] ppid=1259 vsize=13386304 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1274/stat : 1274 (java) S 1259 1259 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52309111 13707575296 64599 18446744073709551615 4194304 4196468 140724745205456 140686513158496 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1275] ppid=1259 vsize=13386304 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1275/stat : 1275 (java) S 1259 1259 25100 0 -1 1077944384 248 0 0 0 0 0 0 0 20 0 19 0 52309115 13707575296 64599 18446744073709551615 4194304 4196468 140724745205456 140686512106544 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
Current children cumulated CPU time (s) 22.8
Current children cumulated vsize (KiB) 13395816
[startup+12.7011 s]
/proc/loadavg: 8.91 8.43 7.49 10/224 1391
/proc/meminfo: memFree=30917360/32770624 swapFree=0/319376
[pid=1259] ppid=1256 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/1259/stat : 1259 (xcsp3-exec) S 1256 1259 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52309097 9740288 345 18446744073709551615 4194304 5098028 140724812378224 140724812376328 140040457290364 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 31973376 140724812382618 140724812382826 140724812382826 140724812386283 0
/proc/1259/statm: 2378 345 289 221 0 87 0
[pid=1261] ppid=1259 vsize=13386304 CPUtime=48.21 cores=1,3,5,7
/proc/1261/stat : 1261 (java) S 1259 1259 25100 0 -1 1077944320 62131 0 0 0 4804 17 0 0 20 0 19 0 52309105 13707575296 58973 18446744073709551615 4194304 4196468 140724745205456 140724745188000 140687036554999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
/proc/1261/statm: 3346576 58973 3259 1 0 3334868 0
[pid=1261/tid=1262] ppid=1259 vsize=13386304 CPUtime=0.61 cores=1,3,5,7
/proc/1261/task/1262/stat : 1262 (java) S 1259 1259 25100 0 -1 1077944384 9450 0 0 0 58 3 0 0 20 0 19 0 52309106 13707575296 58973 18446744073709551615 4194304 4196468 140724745205456 140687040795776 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1263] ppid=1259 vsize=13386304 CPUtime=0.02 cores=1,3,5,7
/proc/1261/task/1263/stat : 1263 (java) S 1259 1259 25100 0 -1 1077944384 460 0 0 0 2 0 0 0 20 0 19 0 52309106 13707575296 58973 18446744073709551615 4194304 4196468 140724745205456 140686959381008 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1264] ppid=1259 vsize=13386304 CPUtime=0.03 cores=1,3,5,7
/proc/1261/task/1264/stat : 1264 (java) S 1259 1259 25100 0 -1 1077944384 718 0 0 0 3 0 0 0 20 0 19 0 52309106 13707575296 58973 18446744073709551615 4194304 4196468 140724745205456 140686958328464 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
################
# More data... #
################
/proc/1261/task/1269/stat : 1269 (java) S 1259 1259 25100 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 52309108 13707575296 111791 18446744073709551615 4194304 4196468 140724745205456 140686518420720 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1270] ppid=1259 vsize=13386304 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1270/stat : 1270 (java) S 1259 1259 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52309111 13707575296 111791 18446744073709551615 4194304 4196468 140724745205456 140686517369296 140687036573595 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1271] ppid=1259 vsize=13386304 CPUtime=4.8 cores=1,3,5,7
/proc/1261/task/1271/stat : 1271 (java) S 1259 1259 25100 0 -1 1077944384 25389 0 0 0 478 2 0 0 20 0 19 0 52309111 13707575296 111791 18446744073709551615 4194304 4196468 140724745205456 140686516316400 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1272] ppid=1259 vsize=13386304 CPUtime=4.57 cores=1,3,5,7
/proc/1261/task/1272/stat : 1272 (java) S 1259 1259 25100 0 -1 1077944384 30666 0 0 0 454 3 0 0 20 0 19 0 52309111 13707575296 111791 18446744073709551615 4194304 4196468 140724745205456 140686515263856 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1273] ppid=1259 vsize=13386304 CPUtime=0.84 cores=1,3,5,7
/proc/1261/task/1273/stat : 1273 (java) S 1259 1259 25100 0 -1 1077944384 10235 0 0 0 82 2 0 0 20 0 19 0 52309111 13707575296 111791 18446744073709551615 4194304 4196468 140724745205456 140686514210800 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1274] ppid=1259 vsize=13386304 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1274/stat : 1274 (java) S 1259 1259 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52309111 13707575296 111791 18446744073709551615 4194304 4196468 140724745205456 140686513158496 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1275] ppid=1259 vsize=13386304 CPUtime=0.04 cores=1,3,5,7
/proc/1261/task/1275/stat : 1275 (java) S 1259 1259 25100 0 -1 1077944384 994 0 0 0 0 4 0 0 20 0 19 0 52309115 13707575296 111791 18446744073709551615 4194304 4196468 140724745205456 140686512106544 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1396] ppid=1259 vsize=13386304 CPUtime=78.96 cores=1,3,5,7
/proc/1261/task/1396/stat : 1396 (java) R 1259 1259 25100 0 -1 4202560 3324 0 0 0 7895 1 0 0 20 0 19 0 52311071 13707575296 111791 18446744073709551615 4194304 4196468 140724745205456 140686497774960 140686646571432 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1397] ppid=1259 vsize=13386304 CPUtime=78.81 cores=1,3,5,7
/proc/1261/task/1397/stat : 1397 (java) R 1259 1259 25100 0 -1 4202560 3537 0 0 0 7880 1 0 0 20 0 19 0 52311071 13707575296 111791 18446744073709551615 4194304 4196468 140724745205456 140686504091896 140686643260782 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1398] ppid=1259 vsize=13386304 CPUtime=78.98 cores=1,3,5,7
/proc/1261/task/1398/stat : 1398 (java) R 1259 1259 25100 0 -1 4202560 7762 0 0 0 7896 2 0 0 20 0 19 0 52311071 13707575296 111791 18446744073709551615 4194304 4196468 140724745205456 140686496726672 140686646897124 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1399] ppid=1259 vsize=13386304 CPUtime=78.96 cores=1,3,5,7
/proc/1261/task/1399/stat : 1399 (java) R 1259 1259 25100 0 -1 4202560 3061 0 0 0 7895 1 0 0 20 0 19 0 52311071 13707575296 111791 18446744073709551615 4194304 4196468 140724745205456 140686503041800 140686640196388 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
Current children cumulated CPU time (s) 394.9
Current children cumulated vsize (KiB) 13395816
[startup+100.901 s]
/proc/loadavg: 8.87 8.48 7.59 9/223 1502
/proc/meminfo: memFree=30382948/32770624 swapFree=0/319420
[pid=1259] ppid=1256 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/1259/stat : 1259 (xcsp3-exec) S 1256 1259 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52309097 9740288 345 18446744073709551615 4194304 5098028 140724812378224 140724812376328 140040457290364 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 31973376 140724812382618 140724812382826 140724812382826 140724812386283 0
/proc/1259/statm: 2378 345 289 221 0 87 0
[pid=1261] ppid=1259 vsize=13386304 CPUtime=398.08 cores=1,3,5,7
/proc/1261/stat : 1261 (java) S 1259 1259 25100 0 -1 1077944320 116594 0 0 0 39739 69 0 0 20 0 19 0 52309105 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140724745188000 140687036554999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
/proc/1261/statm: 3346576 109739 3259 1 0 3334868 0
[pid=1261/tid=1262] ppid=1259 vsize=13386304 CPUtime=0.61 cores=1,3,5,7
/proc/1261/task/1262/stat : 1262 (java) S 1259 1259 25100 0 -1 1077944384 9612 0 0 0 58 3 0 0 20 0 19 0 52309106 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140687040795776 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1263] ppid=1259 vsize=13386304 CPUtime=0.57 cores=1,3,5,7
/proc/1261/task/1263/stat : 1263 (java) S 1259 1259 25100 0 -1 1077944384 3008 0 0 0 47 10 0 0 20 0 19 0 52309106 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686959381008 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1264] ppid=1259 vsize=13386304 CPUtime=0.58 cores=1,3,5,7
/proc/1261/task/1264/stat : 1264 (java) S 1259 1259 25100 0 -1 1077944384 1883 0 0 0 47 11 0 0 20 0 19 0 52309106 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686958328464 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1265] ppid=1259 vsize=13386304 CPUtime=0.57 cores=1,3,5,7
/proc/1261/task/1265/stat : 1265 (java) S 1259 1259 25100 0 -1 1077944384 1961 0 0 0 47 10 0 0 20 0 19 0 52309106 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686957275408 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1266] ppid=1259 vsize=13386304 CPUtime=0.58 cores=1,3,5,7
/proc/1261/task/1266/stat : 1266 (java) S 1259 1259 25100 0 -1 1077944384 2492 0 0 0 48 10 0 0 20 0 19 0 52309106 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686636607888 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1267] ppid=1259 vsize=13386304 CPUtime=0.27 cores=1,3,5,7
/proc/1261/task/1267/stat : 1267 (java) S 1259 1259 25100 0 -1 1077944384 3049 0 0 0 19 8 0 0 20 0 19 0 52309108 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686520527600 140687036566146 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1268] ppid=1259 vsize=13386304 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1268/stat : 1268 (java) S 1259 1259 25100 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 52309108 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686519473824 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1269] ppid=1259 vsize=13386304 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1269/stat : 1269 (java) S 1259 1259 25100 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 52309108 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686518420720 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1270] ppid=1259 vsize=13386304 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1270/stat : 1270 (java) S 1259 1259 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52309111 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686517369296 140687036573595 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1271] ppid=1259 vsize=13386304 CPUtime=4.8 cores=1,3,5,7
/proc/1261/task/1271/stat : 1271 (java) S 1259 1259 25100 0 -1 1077944384 25389 0 0 0 478 2 0 0 20 0 19 0 52309111 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686516316400 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1272] ppid=1259 vsize=13386304 CPUtime=4.57 cores=1,3,5,7
/proc/1261/task/1272/stat : 1272 (java) S 1259 1259 25100 0 -1 1077944384 30666 0 0 0 454 3 0 0 20 0 19 0 52309111 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686515263856 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1273] ppid=1259 vsize=13386304 CPUtime=0.84 cores=1,3,5,7
/proc/1261/task/1273/stat : 1273 (java) S 1259 1259 25100 0 -1 1077944384 10235 0 0 0 82 2 0 0 20 0 19 0 52309111 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686514210800 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1274] ppid=1259 vsize=13386304 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1274/stat : 1274 (java) S 1259 1259 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52309111 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686513158496 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1275] ppid=1259 vsize=13386304 CPUtime=0.04 cores=1,3,5,7
/proc/1261/task/1275/stat : 1275 (java) S 1259 1259 25100 0 -1 1077944384 994 0 0 0 0 4 0 0 20 0 19 0 52309115 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686512106544 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1396] ppid=1259 vsize=13386304 CPUtime=79.76 cores=1,3,5,7
/proc/1261/task/1396/stat : 1396 (java) R 1259 1259 25100 0 -1 4202560 3326 0 0 0 7975 1 0 0 20 0 19 0 52311071 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686497775720 140686644628123 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1397] ppid=1259 vsize=13386304 CPUtime=79.61 cores=1,3,5,7
/proc/1261/task/1397/stat : 1397 (java) R 1259 1259 25100 0 -1 4202560 3539 0 0 0 7960 1 0 0 20 0 19 0 52311071 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686504091904 140686640197743 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1398] ppid=1259 vsize=13386304 CPUtime=79.77 cores=1,3,5,7
/proc/1261/task/1398/stat : 1398 (java) R 1259 1259 25100 0 -1 4202560 7762 0 0 0 7975 2 0 0 20 0 19 0 52311071 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686496725952 140686646897131 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1399] ppid=1259 vsize=13386304 CPUtime=79.75 cores=1,3,5,7
/proc/1261/task/1399/stat : 1399 (java) R 1259 1259 25100 0 -1 4202560 3062 0 0 0 7974 1 0 0 20 0 19 0 52311071 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686503039256 140686643015955 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
Current children cumulated CPU time (s) 398.08
Current children cumulated vsize (KiB) 13395816
[startup+101.101 s]
/proc/loadavg: 8.87 8.48 7.59 9/223 1502
/proc/meminfo: memFree=30382948/32770624 swapFree=0/319420
[pid=1259] ppid=1256 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/1259/stat : 1259 (xcsp3-exec) S 1256 1259 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52309097 9740288 345 18446744073709551615 4194304 5098028 140724812378224 140724812376328 140040457290364 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 31973376 140724812382618 140724812382826 140724812382826 140724812386283 0
/proc/1259/statm: 2378 345 289 221 0 87 0
[pid=1261] ppid=1259 vsize=13386304 CPUtime=398.88 cores=1,3,5,7
/proc/1261/stat : 1261 (java) S 1259 1259 25100 0 -1 1077944320 116594 0 0 0 39819 69 0 0 20 0 19 0 52309105 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140724745188000 140687036554999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
/proc/1261/statm: 3346576 109739 3259 1 0 3334868 0
[pid=1261/tid=1262] ppid=1259 vsize=13386304 CPUtime=0.61 cores=1,3,5,7
/proc/1261/task/1262/stat : 1262 (java) S 1259 1259 25100 0 -1 1077944384 9612 0 0 0 58 3 0 0 20 0 19 0 52309106 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140687040795776 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1263] ppid=1259 vsize=13386304 CPUtime=0.57 cores=1,3,5,7
/proc/1261/task/1263/stat : 1263 (java) S 1259 1259 25100 0 -1 1077944384 3008 0 0 0 47 10 0 0 20 0 19 0 52309106 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686959381008 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1264] ppid=1259 vsize=13386304 CPUtime=0.58 cores=1,3,5,7
/proc/1261/task/1264/stat : 1264 (java) S 1259 1259 25100 0 -1 1077944384 1883 0 0 0 47 11 0 0 20 0 19 0 52309106 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686958328464 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1265] ppid=1259 vsize=13386304 CPUtime=0.57 cores=1,3,5,7
/proc/1261/task/1265/stat : 1265 (java) S 1259 1259 25100 0 -1 1077944384 1961 0 0 0 47 10 0 0 20 0 19 0 52309106 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686957275408 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1266] ppid=1259 vsize=13386304 CPUtime=0.58 cores=1,3,5,7
/proc/1261/task/1266/stat : 1266 (java) S 1259 1259 25100 0 -1 1077944384 2492 0 0 0 48 10 0 0 20 0 19 0 52309106 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686636607888 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1267] ppid=1259 vsize=13386304 CPUtime=0.27 cores=1,3,5,7
/proc/1261/task/1267/stat : 1267 (java) S 1259 1259 25100 0 -1 1077944384 3049 0 0 0 19 8 0 0 20 0 19 0 52309108 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686520527600 140687036566146 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1268] ppid=1259 vsize=13386304 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1268/stat : 1268 (java) S 1259 1259 25100 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 52309108 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686519473824 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1269] ppid=1259 vsize=13386304 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1269/stat : 1269 (java) S 1259 1259 25100 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 52309108 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686518420720 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1270] ppid=1259 vsize=13386304 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1270/stat : 1270 (java) S 1259 1259 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52309111 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686517369296 140687036573595 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1271] ppid=1259 vsize=13386304 CPUtime=4.8 cores=1,3,5,7
/proc/1261/task/1271/stat : 1271 (java) S 1259 1259 25100 0 -1 1077944384 25389 0 0 0 478 2 0 0 20 0 19 0 52309111 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686516316400 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1272] ppid=1259 vsize=13386304 CPUtime=4.57 cores=1,3,5,7
/proc/1261/task/1272/stat : 1272 (java) S 1259 1259 25100 0 -1 1077944384 30666 0 0 0 454 3 0 0 20 0 19 0 52309111 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686515263856 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1273] ppid=1259 vsize=13386304 CPUtime=0.84 cores=1,3,5,7
/proc/1261/task/1273/stat : 1273 (java) S 1259 1259 25100 0 -1 1077944384 10235 0 0 0 82 2 0 0 20 0 19 0 52309111 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686514210800 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1274] ppid=1259 vsize=13386304 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1274/stat : 1274 (java) S 1259 1259 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52309111 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686513158496 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1275] ppid=1259 vsize=13386304 CPUtime=0.04 cores=1,3,5,7
/proc/1261/task/1275/stat : 1275 (java) S 1259 1259 25100 0 -1 1077944384 994 0 0 0 0 4 0 0 20 0 19 0 52309115 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686512106544 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1396] ppid=1259 vsize=13386304 CPUtime=79.96 cores=1,3,5,7
/proc/1261/task/1396/stat : 1396 (java) R 1259 1259 25100 0 -1 4202560 3326 0 0 0 7995 1 0 0 20 0 19 0 52311071 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686497775720 140686644628235 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1397] ppid=1259 vsize=13386304 CPUtime=79.81 cores=1,3,5,7
/proc/1261/task/1397/stat : 1397 (java) R 1259 1259 25100 0 -1 4202560 3539 0 0 0 7980 1 0 0 20 0 19 0 52311071 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686504091904 140686640794688 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1398] ppid=1259 vsize=13386304 CPUtime=79.97 cores=1,3,5,7
/proc/1261/task/1398/stat : 1398 (java) R 1259 1259 25100 0 -1 4202560 7762 0 0 0 7995 2 0 0 20 0 19 0 52311071 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686496725952 140686646897259 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1399] ppid=1259 vsize=13386304 CPUtime=79.95 cores=1,3,5,7
/proc/1261/task/1399/stat : 1399 (java) R 1259 1259 25100 0 -1 4202560 3062 0 0 0 7994 1 0 0 20 0 19 0 52311071 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686503039256 140686644197903 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
Current children cumulated CPU time (s) 398.88
Current children cumulated vsize (KiB) 13395816
[startup+101.202 s]
/proc/loadavg: 8.87 8.48 7.59 9/223 1502
/proc/meminfo: memFree=30382948/32770624 swapFree=0/319420
[pid=1259] ppid=1256 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/1259/stat : 1259 (xcsp3-exec) S 1256 1259 25100 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 52309097 9740288 345 18446744073709551615 4194304 5098028 140724812378224 140724812376328 140040457290364 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 31973376 140724812382618 140724812382826 140724812382826 140724812386283 0
/proc/1259/statm: 2378 345 289 221 0 87 0
[pid=1261] ppid=1259 vsize=13386304 CPUtime=399.28 cores=1,3,5,7
/proc/1261/stat : 1261 (java) S 1259 1259 25100 0 -1 1077944320 116603 0 0 0 39859 69 0 0 20 0 19 0 52309105 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140724745188000 140687036554999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
/proc/1261/statm: 3346576 109739 3259 1 0 3334868 0
[pid=1261/tid=1262] ppid=1259 vsize=13386304 CPUtime=0.61 cores=1,3,5,7
/proc/1261/task/1262/stat : 1262 (java) S 1259 1259 25100 0 -1 1077944384 9612 0 0 0 58 3 0 0 20 0 19 0 52309106 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140687040795776 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1263] ppid=1259 vsize=13386304 CPUtime=0.57 cores=1,3,5,7
/proc/1261/task/1263/stat : 1263 (java) R 1259 1259 25100 0 -1 4202560 3009 0 0 0 47 10 0 0 20 0 19 0 52309106 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686959381008 140687029183207 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1264] ppid=1259 vsize=13386304 CPUtime=0.58 cores=1,3,5,7
/proc/1261/task/1264/stat : 1264 (java) R 1259 1259 25100 0 -1 4202560 1883 0 0 0 47 11 0 0 20 0 19 0 52309106 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686958328584 140687029183207 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1265] ppid=1259 vsize=13386304 CPUtime=0.57 cores=1,3,5,7
/proc/1261/task/1265/stat : 1265 (java) R 1259 1259 25100 0 -1 4202560 1963 0 0 0 47 10 0 0 20 0 19 0 52309106 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686957275408 140687028793964 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1266] ppid=1259 vsize=13386304 CPUtime=0.58 cores=1,3,5,7
/proc/1261/task/1266/stat : 1266 (java) R 1259 1259 25100 0 -1 4202560 2492 0 0 0 48 10 0 0 20 0 19 0 52309106 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686636607888 140687029183207 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1267] ppid=1259 vsize=13386304 CPUtime=0.27 cores=1,3,5,7
/proc/1261/task/1267/stat : 1267 (java) S 1259 1259 25100 0 -1 1077944384 3049 0 0 0 19 8 0 0 20 0 19 0 52309108 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686520526112 140687036565205 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1268] ppid=1259 vsize=13386304 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1268/stat : 1268 (java) S 1259 1259 25100 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 52309108 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686519473824 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1269] ppid=1259 vsize=13386304 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1269/stat : 1269 (java) S 1259 1259 25100 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 52309108 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686518420720 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1270] ppid=1259 vsize=13386304 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1270/stat : 1270 (java) S 1259 1259 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52309111 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686517369296 140687036573595 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1271] ppid=1259 vsize=13386304 CPUtime=4.8 cores=1,3,5,7
/proc/1261/task/1271/stat : 1271 (java) S 1259 1259 25100 0 -1 1077944384 25389 0 0 0 478 2 0 0 20 0 19 0 52309111 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686516316400 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1272] ppid=1259 vsize=13386304 CPUtime=4.57 cores=1,3,5,7
/proc/1261/task/1272/stat : 1272 (java) S 1259 1259 25100 0 -1 1077944384 30666 0 0 0 454 3 0 0 20 0 19 0 52309111 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686515263856 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1273] ppid=1259 vsize=13386304 CPUtime=0.84 cores=1,3,5,7
/proc/1261/task/1273/stat : 1273 (java) S 1259 1259 25100 0 -1 1077944384 10235 0 0 0 82 2 0 0 20 0 19 0 52309111 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686514210800 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1274] ppid=1259 vsize=13386304 CPUtime=0 cores=1,3,5,7
/proc/1261/task/1274/stat : 1274 (java) S 1259 1259 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 52309111 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686513158496 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1275] ppid=1259 vsize=13386304 CPUtime=0.04 cores=1,3,5,7
/proc/1261/task/1275/stat : 1275 (java) S 1259 1259 25100 0 -1 1077944384 994 0 0 0 0 4 0 0 20 0 19 0 52309115 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686512106544 140687036566146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1396] ppid=1259 vsize=13386304 CPUtime=80.06 cores=1,3,5,7
/proc/1261/task/1396/stat : 1396 (java) S 1259 1259 25100 0 -1 1077944384 3326 0 0 0 8005 1 0 0 20 0 19 0 52311071 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686497774960 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1397] ppid=1259 vsize=13386304 CPUtime=79.9 cores=1,3,5,7
/proc/1261/task/1397/stat : 1397 (java) S 1259 1259 25100 0 -1 1077944384 3545 0 0 0 7989 1 0 0 20 0 19 0 52311071 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686504091840 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1398] ppid=1259 vsize=13386304 CPUtime=80.07 cores=1,3,5,7
/proc/1261/task/1398/stat : 1398 (java) S 1259 1259 25100 0 -1 1077944384 7762 0 0 0 8005 2 0 0 20 0 19 0 52311071 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686496723024 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
[pid=1261/tid=1399] ppid=1259 vsize=13386304 CPUtime=80.05 cores=1,3,5,7
/proc/1261/task/1399/stat : 1399 (java) S 1259 1259 25100 0 -1 1077944384 3062 0 0 0 8004 1 0 0 20 0 19 0 52311071 13707575296 109739 18446744073709551615 4194304 4196468 140724745205456 140686503041664 140687036565205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26345472 140724745212374 140724745212550 140724745212550 140724745215951 0
Current children cumulated CPU time (s) 399.28
Current children cumulated vsize (KiB) 13395816
Child status: 0
Real time (s): 101.291
CPU time (s): 399.551
CPU user time (s): 398.849
CPU system time (s): 0.702121
CPU usage (%): 394.457
Max. virtual memory (cumulated for all children) (KiB): 13395816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 398.849
system time used= 0.702121
maximum resident set size= 505872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118250
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14213
involuntary context switches= 7418
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.535623 second user time and 0.766421 second system time
The end