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-4254236-1501615274/watcher-4254236-1501615274 -o /tmp/evaluation-result-4254236-1501615274/solver-4254236-1501615274 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501610486-5294 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 941297096 HOME/instance-4254236-1501615274.xml
pid=9318
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.06 1.97 3/199 9321
/proc/meminfo: memFree=31658424/32770624 swapFree=0/280092
[pid=9321] ppid=9318 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/9321/stat : 9321 (runsolver) D 9318 9321 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9033126 24240128 108 18446744073709551615 4194304 4338465 140725378125472 140725378123112 140458429125335 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 7680000 140725378134110 140725378134598 140725378134598 140725378138058 0
/proc/9321/statm: 5918 108 54 36 0 2156 0
[startup+0.100196 s]
/proc/loadavg: 2.09 2.06 1.97 3/199 9321
/proc/meminfo: memFree=31658424/32770624 swapFree=0/280092
[pid=9321] ppid=9318 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9321/stat : 9321 (xcsp3-exec) S 9318 9321 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9033126 9740288 345 18446744073709551615 4194304 5098028 140724068211968 140724068210072 140088273306236 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 11751424 140724068217244 140724068217447 140724068217447 140724068220907 0
/proc/9321/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200304 s]
/proc/loadavg: 2.09 2.06 1.97 3/199 9321
/proc/meminfo: memFree=31658424/32770624 swapFree=0/280092
[pid=9321] ppid=9318 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9321/stat : 9321 (xcsp3-exec) S 9318 9321 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9033126 9740288 345 18446744073709551615 4194304 5098028 140724068211968 140724068210072 140088273306236 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 11751424 140724068217244 140724068217447 140724068217447 140724068220907 0
/proc/9321/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300283 s]
/proc/loadavg: 2.09 2.06 1.97 3/199 9321
/proc/meminfo: memFree=31658424/32770624 swapFree=0/280092
[pid=9321] ppid=9318 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9321/stat : 9321 (xcsp3-exec) S 9318 9321 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9033126 9740288 345 18446744073709551615 4194304 5098028 140724068211968 140724068210072 140088273306236 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 11751424 140724068217244 140724068217447 140724068217447 140724068220907 0
/proc/9321/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.709147 s]
/proc/loadavg: 2.09 2.06 1.97 3/199 9321
/proc/meminfo: memFree=31658424/32770624 swapFree=0/280092
[pid=9321] ppid=9318 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9321/stat : 9321 (xcsp3-exec) S 9318 9321 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9033126 9740288 345 18446744073709551615 4194304 5098028 140724068211968 140724068210072 140088273306236 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 11751424 140724068217244 140724068217447 140724068217447 140724068220907 0
/proc/9321/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50068 s]
/proc/loadavg: 2.09 2.06 1.97 5/215 9337
/proc/meminfo: memFree=31589960/32770624 swapFree=0/280112
[pid=9321] ppid=9318 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9321/stat : 9321 (xcsp3-exec) S 9318 9321 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9033126 9740288 345 18446744073709551615 4194304 5098028 140724068211968 140724068210072 140088273306236 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 11751424 140724068217244 140724068217447 140724068217447 140724068220907 0
/proc/9321/statm: 2378 345 289 221 0 87 0
[pid=9323] ppid=9321 vsize=13982960 CPUtime=3.69 cores=0,2,4,6
/proc/9323/stat : 9323 (java) S 9321 9321 5234 0 -1 1077944320 29427 0 0 0 361 8 0 0 20 0 15 0 9033134 14318551040 25272 18446744073709551615 4194304 4196468 140731768539408 140731768521952 140152022138615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
/proc/9323/statm: 3495740 25272 3186 1 0 3484041 0
[pid=9323/tid=9324] ppid=9321 vsize=13982960 CPUtime=1.36 cores=0,2,4,6
/proc/9323/task/9324/stat : 9324 (java) R 9321 9321 5234 0 -1 4202560 9536 0 0 0 132 4 0 0 20 0 15 0 9033135 14318551040 25272 18446744073709551615 4194304 4196468 140731768539408 140152026378120 140151648153981 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9325] ppid=9321 vsize=13982960 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9325/stat : 9325 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14318551040 25272 18446744073709551615 4194304 4196468 140731768539408 140151622212368 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9326] ppid=9321 vsize=13982960 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9326/stat : 9326 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14318551040 25272 18446744073709551615 4194304 4196468 140731768539408 140151621159824 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9327] ppid=9321 vsize=13982960 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9327/stat : 9327 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14318551040 25272 18446744073709551615 4194304 4196468 140731768539408 140151620107280 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9328] ppid=9321 vsize=13982960 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9328/stat : 9328 (java) S 9321 9321 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9033135 14318551040 25272 18446744073709551615 4194304 4196468 140731768539408 140151619054736 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9329] ppid=9321 vsize=13982960 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9329/stat : 9329 (java) S 9321 9321 5234 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 9033137 14318551040 25272 18446744073709551615 4194304 4196468 140731768539408 140151567874032 140152022149762 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9330] ppid=9321 vsize=13982960 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9330/stat : 9330 (java) S 9321 9321 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9033137 14318551040 25272 18446744073709551615 4194304 4196468 140731768539408 140151566820256 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9331] ppid=9321 vsize=13982960 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9331/stat : 9331 (java) S 9321 9321 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9033137 14318551040 25272 18446744073709551615 4194304 4196468 140731768539408 140151565767664 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9332] ppid=9321 vsize=13982960 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9332/stat : 9332 (java) S 9321 9321 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9033140 14318551040 25272 18446744073709551615 4194304 4196468 140731768539408 140151564716240 140152022157211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9333] ppid=9321 vsize=13982960 CPUtime=0.96 cores=0,2,4,6
/proc/9323/task/9333/stat : 9333 (java) R 9321 9321 5234 0 -1 4202560 7178 0 0 0 95 1 0 0 20 0 15 0 9033140 14318551040 25272 18446744073709551615 4194304 4196468 140731768539408 140151563649880 140152000058496 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9334] ppid=9321 vsize=13982960 CPUtime=0.94 cores=0,2,4,6
/proc/9323/task/9334/stat : 9334 (java) R 9321 9321 5234 0 -1 4202560 8919 0 0 0 93 1 0 0 20 0 15 0 9033140 14318551040 25272 18446744073709551615 4194304 4196468 140731768539408 140151562597048 140152003658200 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9335] ppid=9321 vsize=13982960 CPUtime=0.38 cores=0,2,4,6
/proc/9323/task/9335/stat : 9335 (java) S 9321 9321 5234 0 -1 1077944384 2474 0 0 0 38 0 0 0 20 0 15 0 9033140 14318551040 25272 18446744073709551615 4194304 4196468 140731768539408 140151493749488 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9336] ppid=9321 vsize=13982960 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9336/stat : 9336 (java) S 9321 9321 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9033140 14318551040 25272 18446744073709551615 4194304 4196468 140731768539408 140151492697184 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9337] ppid=9321 vsize=13982960 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9337/stat : 9337 (java) S 9321 9321 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9033145 14318551040 25272 18446744073709551615 4194304 4196468 140731768539408 140151491643696 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 13992472
[startup+3.10067 s]
/proc/loadavg: 2.24 2.09 1.98 5/215 9337
/proc/meminfo: memFree=31560240/32770624 swapFree=0/280112
[pid=9321] ppid=9318 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9321/stat : 9321 (xcsp3-exec) S 9318 9321 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9033126 9740288 345 18446744073709551615 4194304 5098028 140724068211968 140724068210072 140088273306236 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 11751424 140724068217244 140724068217447 140724068217447 140724068220907 0
/proc/9321/statm: 2378 345 289 221 0 87 0
[pid=9323] ppid=9321 vsize=13980732 CPUtime=8.52 cores=0,2,4,6
/proc/9323/stat : 9323 (java) S 9321 9321 5234 0 -1 1077944320 38070 0 0 0 843 9 0 0 20 0 15 0 9033134 14316269568 30610 18446744073709551615 4194304 4196468 140731768539408 140731768521952 140152022138615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
/proc/9323/statm: 3495183 30610 3187 1 0 3483484 0
[pid=9323/tid=9324] ppid=9321 vsize=13980732 CPUtime=2.95 cores=0,2,4,6
/proc/9323/task/9324/stat : 9324 (java) R 9321 9321 5234 0 -1 4202560 10203 0 0 0 291 4 0 0 20 0 15 0 9033135 14316269568 30610 18446744073709551615 4194304 4196468 140731768539408 140152026375592 140151648724000 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9325] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9325/stat : 9325 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 30610 18446744073709551615 4194304 4196468 140731768539408 140151622212368 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9326] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9326/stat : 9326 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 30610 18446744073709551615 4194304 4196468 140731768539408 140151621159824 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9327] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9327/stat : 9327 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 30610 18446744073709551615 4194304 4196468 140731768539408 140151620107280 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9328] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9328/stat : 9328 (java) S 9321 9321 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 30610 18446744073709551615 4194304 4196468 140731768539408 140151619054736 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9329] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9329/stat : 9329 (java) S 9321 9321 5234 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 9033137 14316269568 30610 18446744073709551615 4194304 4196468 140731768539408 140151567874032 140152022149762 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9330] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9330/stat : 9330 (java) S 9321 9321 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9033137 14316269568 30610 18446744073709551615 4194304 4196468 140731768539408 140151566820256 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9331] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9331/stat : 9331 (java) S 9321 9321 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9033137 14316269568 30610 18446744073709551615 4194304 4196468 140731768539408 140151565767664 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9332] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9332/stat : 9332 (java) S 9321 9321 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9033140 14316269568 30610 18446744073709551615 4194304 4196468 140731768539408 140151564716240 140152022157211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9333] ppid=9321 vsize=13980732 CPUtime=2.56 cores=0,2,4,6
/proc/9323/task/9333/stat : 9333 (java) R 9321 9321 5234 0 -1 4202560 10033 0 0 0 255 1 0 0 20 0 15 0 9033140 14316269568 30610 18446744073709551615 4194304 4196468 140731768539408 140151563650400 140152007246071 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9334] ppid=9321 vsize=13980732 CPUtime=2.55 cores=0,2,4,6
/proc/9323/task/9334/stat : 9334 (java) R 9321 9321 5234 0 -1 4202560 13226 0 0 0 253 2 0 0 20 0 15 0 9033140 14316269568 30610 18446744073709551615 4194304 4196468 140731768539408 140151562604128 140152007246300 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9335] ppid=9321 vsize=13980732 CPUtime=0.43 cores=0,2,4,6
/proc/9323/task/9335/stat : 9335 (java) S 9321 9321 5234 0 -1 1077944384 3246 0 0 0 42 1 0 0 20 0 15 0 9033140 14316269568 30610 18446744073709551615 4194304 4196468 140731768539408 140151493749488 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9336] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9336/stat : 9336 (java) S 9321 9321 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9033140 14316269568 30610 18446744073709551615 4194304 4196468 140731768539408 140151492697184 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9337] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9337/stat : 9337 (java) S 9321 9321 5234 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9033145 14316269568 30610 18446744073709551615 4194304 4196468 140731768539408 140151491643696 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
Current children cumulated CPU time (s) 8.52
Current children cumulated vsize (KiB) 13990244
[startup+6.30072 s]
/proc/loadavg: 2.24 2.09 1.98 3/215 9337
/proc/meminfo: memFree=31543740/32770624 swapFree=0/280124
[pid=9321] ppid=9318 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9321/stat : 9321 (xcsp3-exec) S 9318 9321 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9033126 9740288 345 18446744073709551615 4194304 5098028 140724068211968 140724068210072 140088273306236 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 11751424 140724068217244 140724068217447 140724068217447 140724068220907 0
/proc/9321/statm: 2378 345 289 221 0 87 0
[pid=9323] ppid=9321 vsize=13980732 CPUtime=12.96 cores=0,2,4,6
/proc/9323/stat : 9323 (java) S 9321 9321 5234 0 -1 1077944320 49097 0 0 0 1286 10 0 0 20 0 15 0 9033134 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140731768521952 140152022138615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
/proc/9323/statm: 3495183 32547 3199 1 0 3483484 0
[pid=9323/tid=9324] ppid=9321 vsize=13980732 CPUtime=6.15 cores=0,2,4,6
/proc/9323/task/9324/stat : 9324 (java) R 9321 9321 5234 0 -1 4202560 11104 0 0 0 611 4 0 0 20 0 15 0 9033135 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140152026374368 140151649356527 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9325] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9325/stat : 9325 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151622212368 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9326] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9326/stat : 9326 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151621159824 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9327] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9327/stat : 9327 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151620107280 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9328] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9328/stat : 9328 (java) S 9321 9321 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151619054736 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9329] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9329/stat : 9329 (java) S 9321 9321 5234 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 15 0 9033137 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151567874032 140152022149762 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9330] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9330/stat : 9330 (java) S 9321 9321 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9033137 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151566820256 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9331] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9331/stat : 9331 (java) S 9321 9321 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9033137 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151565767664 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9332] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9332/stat : 9332 (java) S 9321 9321 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9033140 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151564716240 140152022157211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9333] ppid=9321 vsize=13980732 CPUtime=3.15 cores=0,2,4,6
/proc/9323/task/9333/stat : 9333 (java) R 9321 9321 5234 0 -1 4202560 15857 0 0 0 313 2 0 0 20 0 15 0 9033140 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151563641696 140152001825296 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9334] ppid=9321 vsize=13980732 CPUtime=3.15 cores=0,2,4,6
/proc/9323/task/9334/stat : 9334 (java) S 9321 9321 5234 0 -1 1077944384 16666 0 0 0 313 2 0 0 20 0 15 0 9033140 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151562611312 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9335] ppid=9321 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/9323/task/9335/stat : 9335 (java) S 9321 9321 5234 0 -1 1077944384 3417 0 0 0 47 1 0 0 20 0 15 0 9033140 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151493749488 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9336] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9336/stat : 9336 (java) S 9321 9321 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9033140 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151492697184 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9337] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9337/stat : 9337 (java) S 9321 9321 5234 0 -1 1077944384 495 0 0 0 0 0 0 0 20 0 15 0 9033145 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151491643696 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
Current children cumulated CPU time (s) 12.96
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.20 2.09 1.98 3/215 9337
/proc/meminfo: memFree=31542492/32770624 swapFree=0/280132
[pid=9321] ppid=9318 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9321/stat : 9321 (xcsp3-exec) S 9318 9321 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9033126 9740288 345 18446744073709551615 4194304 5098028 140724068211968 140724068210072 140088273306236 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 11751424 140724068217244 140724068217447 140724068217447 140724068220907 0
/proc/9321/statm: 2378 345 289 221 0 87 0
[pid=9323] ppid=9321 vsize=13980732 CPUtime=19.56 cores=0,2,4,6
/proc/9323/stat : 9323 (java) S 9321 9321 5234 0 -1 1077944320 52572 0 0 0 1945 11 0 0 20 0 15 0 9033134 14316269568 32025 18446744073709551615 4194304 4196468 140731768539408 140731768521952 140152022138615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
/proc/9323/statm: 3495183 32025 3199 1 0 3483484 0
[pid=9323/tid=9324] ppid=9321 vsize=13980732 CPUtime=12.55 cores=0,2,4,6
/proc/9323/task/9324/stat : 9324 (java) R 9321 9321 5234 0 -1 4202560 11735 0 0 0 1251 4 0 0 20 0 15 0 9033135 14316269568 32025 18446744073709551615 4194304 4196468 140731768539408 140152026377368 140151650054607 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9325] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9325/stat : 9325 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 32025 18446744073709551615 4194304 4196468 140731768539408 140151622212368 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9326] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9326/stat : 9326 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 32025 18446744073709551615 4194304 4196468 140731768539408 140151621159824 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
################
# More data... #
################
/proc/9323/task/9335/stat : 9335 (java) S 9321 9321 5234 0 -1 1077944384 4031 0 0 0 48 1 0 0 20 0 15 0 9033140 14316269568 32540 18446744073709551615 4194304 4196468 140731768539408 140151493749488 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9336] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9336/stat : 9336 (java) S 9321 9321 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9033140 14316269568 32540 18446744073709551615 4194304 4196468 140731768539408 140151492697184 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9337] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9337/stat : 9337 (java) S 9321 9321 5234 0 -1 1077944384 655 0 0 0 0 0 0 0 20 0 15 0 9033145 14316269568 32540 18446744073709551615 4194304 4196468 140731768539408 140151491643696 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
Current children cumulated CPU time (s) 22.87
Current children cumulated vsize (KiB) 13990244
[startup+17.6007 s]
/proc/loadavg: 2.19 2.09 1.98 3/215 9337
/proc/meminfo: memFree=31540568/32770624 swapFree=0/280132
[pid=9321] ppid=9318 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9321/stat : 9321 (xcsp3-exec) S 9318 9321 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9033126 9740288 345 18446744073709551615 4194304 5098028 140724068211968 140724068210072 140088273306236 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 11751424 140724068217244 140724068217447 140724068217447 140724068220907 0
/proc/9321/statm: 2378 345 289 221 0 87 0
[pid=9323] ppid=9321 vsize=13980732 CPUtime=24.48 cores=0,2,4,6
/proc/9323/stat : 9323 (java) S 9321 9321 5234 0 -1 1077944320 53158 0 0 0 2437 11 0 0 20 0 15 0 9033134 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140731768521952 140152022138615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
/proc/9323/statm: 3495183 32547 3199 1 0 3483484 0
[pid=9323/tid=9324] ppid=9321 vsize=13980732 CPUtime=17.46 cores=0,2,4,6
/proc/9323/task/9324/stat : 9324 (java) R 9321 9321 5234 0 -1 4202560 11819 0 0 0 1742 4 0 0 20 0 15 0 9033135 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140152026375432 140151649621040 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9325] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9325/stat : 9325 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151622212368 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9326] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9326/stat : 9326 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151621159824 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9327] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9327/stat : 9327 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151620107280 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9328] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9328/stat : 9328 (java) S 9321 9321 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151619054736 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9329] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9329/stat : 9329 (java) S 9321 9321 5234 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 9033137 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151567874032 140152022149762 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9330] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9330/stat : 9330 (java) S 9321 9321 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9033137 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151566820256 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9331] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9331/stat : 9331 (java) S 9321 9321 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9033137 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151565767664 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9332] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9332/stat : 9332 (java) S 9321 9321 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9033140 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151564716240 140152022157211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9333] ppid=9321 vsize=13980732 CPUtime=3.28 cores=0,2,4,6
/proc/9323/task/9333/stat : 9333 (java) S 9321 9321 5234 0 -1 1077944384 17139 0 0 0 326 2 0 0 20 0 15 0 9033140 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151563663856 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9334] ppid=9321 vsize=13980732 CPUtime=3.2 cores=0,2,4,6
/proc/9323/task/9334/stat : 9334 (java) S 9321 9321 5234 0 -1 1077944384 17616 0 0 0 318 2 0 0 20 0 15 0 9033140 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151562611312 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9335] ppid=9321 vsize=13980732 CPUtime=0.49 cores=0,2,4,6
/proc/9323/task/9335/stat : 9335 (java) S 9321 9321 5234 0 -1 1077944384 4350 0 0 0 48 1 0 0 20 0 15 0 9033140 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151493749488 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9336] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9336/stat : 9336 (java) S 9321 9321 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9033140 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151492697184 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9337] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9337/stat : 9337 (java) S 9321 9321 5234 0 -1 1077944384 657 0 0 0 0 0 0 0 20 0 15 0 9033145 14316269568 32547 18446744073709551615 4194304 4196468 140731768539408 140151491643696 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
Current children cumulated CPU time (s) 24.48
Current children cumulated vsize (KiB) 13990244
[startup+18.0007 s]
/proc/loadavg: 2.19 2.09 1.98 3/215 9337
/proc/meminfo: memFree=31540568/32770624 swapFree=0/280132
[pid=9321] ppid=9318 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9321/stat : 9321 (xcsp3-exec) S 9318 9321 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9033126 9740288 345 18446744073709551615 4194304 5098028 140724068211968 140724068210072 140088273306236 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 11751424 140724068217244 140724068217447 140724068217447 140724068220907 0
/proc/9321/statm: 2378 345 289 221 0 87 0
[pid=9323] ppid=9321 vsize=13980732 CPUtime=24.93 cores=0,2,4,6
/proc/9323/stat : 9323 (java) S 9321 9321 5234 0 -1 1077944320 54407 0 0 0 2482 11 0 0 20 0 15 0 9033134 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140731768521952 140152022138615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
/proc/9323/statm: 3495183 33062 3199 1 0 3483484 0
[pid=9323/tid=9324] ppid=9321 vsize=13980732 CPUtime=17.85 cores=0,2,4,6
/proc/9323/task/9324/stat : 9324 (java) R 9321 9321 5234 0 -1 4202560 11857 0 0 0 1781 4 0 0 20 0 15 0 9033135 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140152026375432 140151649170230 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9325] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9325/stat : 9325 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151622212368 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9326] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9326/stat : 9326 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151621159824 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9327] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9327/stat : 9327 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151620107280 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9328] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9328/stat : 9328 (java) S 9321 9321 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151619054736 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9329] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9329/stat : 9329 (java) S 9321 9321 5234 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 9033137 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151567874032 140152022149762 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9330] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9330/stat : 9330 (java) S 9321 9321 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9033137 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151566820256 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9331] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9331/stat : 9331 (java) S 9321 9321 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9033137 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151565767664 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9332] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9332/stat : 9332 (java) S 9321 9321 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9033140 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151564716240 140152022157211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9333] ppid=9321 vsize=13980732 CPUtime=3.33 cores=0,2,4,6
/proc/9323/task/9333/stat : 9333 (java) S 9321 9321 5234 0 -1 1077944384 18213 0 0 0 331 2 0 0 20 0 15 0 9033140 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151563663856 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9334] ppid=9321 vsize=13980732 CPUtime=3.21 cores=0,2,4,6
/proc/9323/task/9334/stat : 9334 (java) S 9321 9321 5234 0 -1 1077944384 17708 0 0 0 319 2 0 0 20 0 15 0 9033140 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151562611312 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9335] ppid=9321 vsize=13980732 CPUtime=0.49 cores=0,2,4,6
/proc/9323/task/9335/stat : 9335 (java) S 9321 9321 5234 0 -1 1077944384 4395 0 0 0 48 1 0 0 20 0 15 0 9033140 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151493749488 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9336] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9336/stat : 9336 (java) S 9321 9321 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9033140 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151492697184 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9337] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9337/stat : 9337 (java) S 9321 9321 5234 0 -1 1077944384 657 0 0 0 0 0 0 0 20 0 15 0 9033145 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151491643696 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
Current children cumulated CPU time (s) 24.93
Current children cumulated vsize (KiB) 13990244
[startup+18.2007 s]
/proc/loadavg: 2.19 2.09 1.98 3/215 9337
/proc/meminfo: memFree=31540568/32770624 swapFree=0/280132
[pid=9321] ppid=9318 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9321/stat : 9321 (xcsp3-exec) S 9318 9321 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9033126 9740288 345 18446744073709551615 4194304 5098028 140724068211968 140724068210072 140088273306236 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 11751424 140724068217244 140724068217447 140724068217447 140724068220907 0
/proc/9321/statm: 2378 345 289 221 0 87 0
[pid=9323] ppid=9321 vsize=13980732 CPUtime=25.13 cores=0,2,4,6
/proc/9323/stat : 9323 (java) S 9321 9321 5234 0 -1 1077944320 54407 0 0 0 2502 11 0 0 20 0 15 0 9033134 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140731768521952 140152022138615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
/proc/9323/statm: 3495183 33062 3199 1 0 3483484 0
[pid=9323/tid=9324] ppid=9321 vsize=13980732 CPUtime=18.05 cores=0,2,4,6
/proc/9323/task/9324/stat : 9324 (java) R 9321 9321 5234 0 -1 4202560 11857 0 0 0 1801 4 0 0 20 0 15 0 9033135 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140152026375432 140151649357485 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9325] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9325/stat : 9325 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151622212368 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9326] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9326/stat : 9326 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151621159824 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9327] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9327/stat : 9327 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151620107280 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9328] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9328/stat : 9328 (java) S 9321 9321 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151619054736 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9329] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9329/stat : 9329 (java) S 9321 9321 5234 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 9033137 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151567874032 140152022149762 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9330] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9330/stat : 9330 (java) S 9321 9321 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9033137 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151566820256 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9331] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9331/stat : 9331 (java) S 9321 9321 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9033137 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151565767664 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9332] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9332/stat : 9332 (java) S 9321 9321 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9033140 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151564716240 140152022157211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9333] ppid=9321 vsize=13980732 CPUtime=3.33 cores=0,2,4,6
/proc/9323/task/9333/stat : 9333 (java) S 9321 9321 5234 0 -1 1077944384 18213 0 0 0 331 2 0 0 20 0 15 0 9033140 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151563663856 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9334] ppid=9321 vsize=13980732 CPUtime=3.21 cores=0,2,4,6
/proc/9323/task/9334/stat : 9334 (java) S 9321 9321 5234 0 -1 1077944384 17708 0 0 0 319 2 0 0 20 0 15 0 9033140 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151562611312 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9335] ppid=9321 vsize=13980732 CPUtime=0.49 cores=0,2,4,6
/proc/9323/task/9335/stat : 9335 (java) S 9321 9321 5234 0 -1 1077944384 4395 0 0 0 48 1 0 0 20 0 15 0 9033140 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151493749488 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9336] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9336/stat : 9336 (java) S 9321 9321 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9033140 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151492697184 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9337] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9337/stat : 9337 (java) S 9321 9321 5234 0 -1 1077944384 657 0 0 0 0 0 0 0 20 0 15 0 9033145 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151491643696 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 13990244
[startup+18.3007 s]
/proc/loadavg: 2.19 2.09 1.98 3/215 9337
/proc/meminfo: memFree=31540568/32770624 swapFree=0/280132
[pid=9321] ppid=9318 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9321/stat : 9321 (xcsp3-exec) S 9318 9321 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9033126 9740288 345 18446744073709551615 4194304 5098028 140724068211968 140724068210072 140088273306236 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 11751424 140724068217244 140724068217447 140724068217447 140724068220907 0
/proc/9321/statm: 2378 345 289 221 0 87 0
[pid=9323] ppid=9321 vsize=13980732 CPUtime=25.23 cores=0,2,4,6
/proc/9323/stat : 9323 (java) S 9321 9321 5234 0 -1 1077944320 54407 0 0 0 2512 11 0 0 20 0 15 0 9033134 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140731768521952 140152022138615 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
/proc/9323/statm: 3495183 33062 3199 1 0 3483484 0
[pid=9323/tid=9324] ppid=9321 vsize=13980732 CPUtime=18.15 cores=0,2,4,6
/proc/9323/task/9324/stat : 9324 (java) R 9321 9321 5234 0 -1 4202560 11857 0 0 0 1811 4 0 0 20 0 15 0 9033135 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140152026375432 140151649177856 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9325] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9325/stat : 9325 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151622212368 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9326] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9326/stat : 9326 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151621159824 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9327] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9327/stat : 9327 (java) S 9321 9321 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151620107280 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9328] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9328/stat : 9328 (java) S 9321 9321 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9033135 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151619054736 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9329] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9329/stat : 9329 (java) S 9321 9321 5234 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 9033137 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151567874032 140152022149762 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9330] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9330/stat : 9330 (java) S 9321 9321 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9033137 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151566820256 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9331] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9331/stat : 9331 (java) S 9321 9321 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9033137 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151565767664 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9332] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9332/stat : 9332 (java) S 9321 9321 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9033140 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151564716240 140152022157211 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9333] ppid=9321 vsize=13980732 CPUtime=3.33 cores=0,2,4,6
/proc/9323/task/9333/stat : 9333 (java) S 9321 9321 5234 0 -1 1077944384 18213 0 0 0 331 2 0 0 20 0 15 0 9033140 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151563663856 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9334] ppid=9321 vsize=13980732 CPUtime=3.21 cores=0,2,4,6
/proc/9323/task/9334/stat : 9334 (java) S 9321 9321 5234 0 -1 1077944384 17708 0 0 0 319 2 0 0 20 0 15 0 9033140 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151562611312 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9335] ppid=9321 vsize=13980732 CPUtime=0.49 cores=0,2,4,6
/proc/9323/task/9335/stat : 9335 (java) S 9321 9321 5234 0 -1 1077944384 4395 0 0 0 48 1 0 0 20 0 15 0 9033140 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151493749488 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9336] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9336/stat : 9336 (java) S 9321 9321 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9033140 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151492697184 140152022148821 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
[pid=9323/tid=9337] ppid=9321 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9323/task/9337/stat : 9337 (java) S 9321 9321 5234 0 -1 1077944384 657 0 0 0 0 0 0 0 20 0 15 0 9033145 14316269568 33062 18446744073709551615 4194304 4196468 140731768539408 140151491643696 140152022149762 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14852096 140731768541652 140731768541827 140731768541827 140731768545231 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 18.3421
CPU time (s): 25.2826
CPU user time (s): 25.1582
CPU system time (s): 0.124378
CPU usage (%): 137.839
Max. virtual memory (cumulated for all children) (KiB): 13992676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.1582
system time used= 0.124378
maximum resident set size= 134616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55606
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2781
involuntary context switches= 44
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.08997 second user time and 0.104706 second system time
The end