runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (4970 MiB free)
memory of node 1: 16384 MiB (13883 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301681-1532884795/watcher-4301681-1532884795 -o /tmp/evaluation-result-4301681-1532884795/solver-4301681-1532884795 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532884072-6816 --watchdog 312 HOME/xcsp3-exec -seed 1239086390 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301681-1532884795.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7358, runsolver pid=7355
[startup+0.100151 s]*
/proc/loadavg: 1.99 2.00 1.88 4/217 7374
/proc/meminfo: memFree=19289440/32770624 swapFree=67108688/67108860
[pid=7358] ppid=7355 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7358/stat : 7358 (xcsp3-exec) S 7355 7358 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106042489 115843072 363 33554432000 4194304 5098028 140727469272800 140727469270904 140494657970812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34856960 140727469274176 140727469274377 140727469274377 140727469277130 0
/proc/7358/statm: 28282 363 306 221 0 87 0
[pid=7360] ppid=7358 vsize=14082940 memory=29072 CPUtime=0.12 cores=1,3,5,7
/proc/7360/stat : 7360 (java) S 7358 7358 6529 0 -1 1077944320 5564 0 0 0 11 1 0 0 20 0 15 0 106042489 14420930560 7268 33554432000 4194304 4196468 140734804136048 140734804118592 140581112536823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
/proc/7360/statm: 3520735 7268 3056 1 0 3483012 0
[pid=7360/tid=7361] ppid=7358 vsize=14082940 memory=7973242294261486427 CPUtime=0.08 cores=1,3,5,7
/proc/7360/task/7361/stat : 7361 (java) R 7358 7358 6529 0 -1 4202560 3578 0 0 0 8 0 0 0 20 0 15 0 106042489 14420930560 7268 33554432000 4194304 4196468 140734804136048 140581116762544 140580739880563 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7362] ppid=7358 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7362/stat : 7362 (java) S 7358 7358 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106042490 14420930560 7268 33554432000 4194304 4196468 140734804136048 140581065157776 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7363] ppid=7358 vsize=14082940 memory=140152671360640 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7363/stat : 7363 (java) S 7358 7358 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106042490 14420930560 7268 33554432000 4194304 4196468 140734804136048 140581064104976 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7364] ppid=7358 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7364/stat : 7364 (java) S 7358 7358 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106042490 14420930560 7268 33554432000 4194304 4196468 140734804136048 140581063052176 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7365] ppid=7358 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7365/stat : 7365 (java) S 7358 7358 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106042490 14420930560 7268 33554432000 4194304 4196468 140734804136048 140581061999376 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7366] ppid=7358 vsize=14082940 memory=140152671360640 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7366/stat : 7366 (java) S 7358 7358 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106042491 14420930560 7268 33554432000 4194304 4196468 140734804136048 140580092107120 140581112547970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7367] ppid=7358 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7367/stat : 7367 (java) S 7358 7358 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106042492 14420930560 7268 33554432000 4194304 4196468 140734804136048 140580091053088 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7368] ppid=7358 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7368/stat : 7368 (java) S 7358 7358 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106042492 14420930560 7268 33554432000 4194304 4196468 140734804136048 140580090000240 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7369] ppid=7358 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7369/stat : 7369 (java) S 7358 7358 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106042494 14420930560 7268 33554432000 4194304 4196468 140734804136048 140580088948560 140581112555419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7370] ppid=7358 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7370/stat : 7370 (java) S 7358 7358 6529 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 15 0 106042494 14420930560 7268 33554432000 4194304 4196468 140734804136048 140580087896944 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7371] ppid=7358 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7371/stat : 7371 (java) S 7358 7358 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106042494 14420930560 7268 33554432000 4194304 4196468 140734804136048 140580086844144 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7372] ppid=7358 vsize=14082940 memory=140152671360640 CPUtime=0.01 cores=1,3,5,7
/proc/7360/task/7372/stat : 7372 (java) R 7358 7358 6529 0 -1 4202560 330 0 0 0 1 0 0 0 20 0 15 0 106042494 14420930560 7268 33554432000 4194304 4196468 140734804136048 140580085791344 140581091468588 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7373] ppid=7358 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7373/stat : 7373 (java) S 7358 7358 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106042495 14420930560 7334 33554432000 4194304 4196468 140734804136048 140580084738784 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7374] ppid=7358 vsize=14082940 memory=140152671360640 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7374/stat : 7374 (java) S 7358 7358 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106042495 14420930560 7334 33554432000 4194304 4196468 140734804136048 140580083686064 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30524 KiB
[startup+0.210607 s]*
/proc/loadavg: 1.99 2.00 1.88 4/217 7374
/proc/meminfo: memFree=19277888/32770624 swapFree=67108688/67108860
[pid=7358] ppid=7355 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7358/stat : 7358 (xcsp3-exec) S 7355 7358 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106042489 115843072 363 33554432000 4194304 5098028 140727469272800 140727469270904 140494657970812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34856960 140727469274176 140727469274377 140727469274377 140727469277130 0
/proc/7358/statm: 28282 363 306 221 0 87 0
[pid=7360] ppid=7358 vsize=14082940 memory=40608 CPUtime=0.34 cores=1,3,5,7
/proc/7360/stat : 7360 (java) S 7358 7358 6529 0 -1 1077944320 8208 0 0 0 32 2 0 0 20 0 15 0 106042489 14420930560 10152 33554432000 4194304 4196468 140734804136048 140734804118592 140581112536823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
/proc/7360/statm: 3520735 10152 3179 1 0 3483012 0
[pid=7360/tid=7361] ppid=7358 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/7360/task/7361/stat : 7361 (java) D 7358 7358 6529 0 -1 1077944384 5447 0 0 0 19 1 0 0 20 0 15 0 106042489 14420930560 10154 33554432000 4194304 4196468 140734804136048 140581116758968 140581114812103 0 4 0 16800975 18446744072101572132 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7362] ppid=7358 vsize=14082940 memory=12627 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7362/stat : 7362 (java) S 7358 7358 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106042490 14420930560 10154 33554432000 4194304 4196468 140734804136048 140581065157776 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7363] ppid=7358 vsize=14082940 memory=140152671380461 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7363/stat : 7363 (java) S 7358 7358 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106042490 14420930560 10154 33554432000 4194304 4196468 140734804136048 140581064104976 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7364] ppid=7358 vsize=14085056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7364/stat : 7364 (java) S 7358 7358 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106042490 14423097344 10154 33554432000 4194304 4196468 140734804136048 140581063052176 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7365] ppid=7358 vsize=14085056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7365/stat : 7365 (java) S 7358 7358 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106042490 14423097344 10154 33554432000 4194304 4196468 140734804136048 140581061999376 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7366] ppid=7358 vsize=14085056 memory=140152671360640 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7366/stat : 7366 (java) S 7358 7358 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106042491 14423097344 10154 33554432000 4194304 4196468 140734804136048 140580092107120 140581112547970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7367] ppid=7358 vsize=14085056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7367/stat : 7367 (java) S 7358 7358 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106042492 14423097344 10154 33554432000 4194304 4196468 140734804136048 140580091053088 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7368] ppid=7358 vsize=14085056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7368/stat : 7368 (java) S 7358 7358 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106042492 14423097344 10154 33554432000 4194304 4196468 140734804136048 140580090000240 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7369] ppid=7358 vsize=14085056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7369/stat : 7369 (java) S 7358 7358 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106042494 14423097344 10154 33554432000 4194304 4196468 140734804136048 140580088948560 140581112555419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7370] ppid=7358 vsize=14085056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7360/task/7370/stat : 7370 (java) S 7358 7358 6529 0 -1 1077944384 559 0 0 0 2 0 0 0 20 0 15 0 106042494 14423097344 10154 33554432000 4194304 4196468 140734804136048 140580087896944 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7371] ppid=7358 vsize=14085056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/7360/task/7371/stat : 7371 (java) S 7358 7358 6529 0 -1 1077944384 118 0 0 0 2 0 0 0 20 0 15 0 106042494 14423097344 10154 33554432000 4194304 4196468 140734804136048 140580086844144 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7372] ppid=7358 vsize=14085056 memory=140152671360640 CPUtime=0.08 cores=1,3,5,7
/proc/7360/task/7372/stat : 7372 (java) S 7358 7358 6529 0 -1 1077944384 784 0 0 0 8 0 0 0 20 0 15 0 106042494 14423097344 10154 33554432000 4194304 4196468 140734804136048 140580085791344 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7373] ppid=7358 vsize=14085056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7373/stat : 7373 (java) S 7358 7358 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106042495 14423097344 10154 33554432000 4194304 4196468 140734804136048 140580084738784 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7374] ppid=7358 vsize=14085056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7374/stat : 7374 (java) S 7358 7358 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106042495 14423097344 10154 33554432000 4194304 4196468 140734804136048 140580083686064 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42060 KiB
[startup+0.317691 s]*
/proc/loadavg: 1.99 2.00 1.88 3/217 7374
/proc/meminfo: memFree=19270444/32770624 swapFree=67108688/67108860
[pid=7358] ppid=7355 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7358/stat : 7358 (xcsp3-exec) S 7355 7358 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106042489 115843072 363 33554432000 4194304 5098028 140727469272800 140727469270904 140494657970812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34856960 140727469274176 140727469274377 140727469274377 140727469277130 0
/proc/7358/statm: 28282 363 306 221 0 87 0
[pid=7360] ppid=7358 vsize=14087196 memory=48516 CPUtime=0.54 cores=1,3,5,7
/proc/7360/stat : 7360 (java) S 7358 7358 6529 0 -1 1077944320 9277 0 0 0 51 3 0 0 20 0 15 0 106042489 14425288704 12129 33554432000 4194304 4196468 140734804136048 140734804118592 140581112536823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
/proc/7360/statm: 3521799 12129 3251 1 0 3483012 0
[pid=7360/tid=7361] ppid=7358 vsize=14087196 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/7360/task/7361/stat : 7361 (java) R 7358 7358 6529 0 -1 4202560 6238 0 0 0 28 2 0 0 20 0 15 0 106042489 14425288704 12129 33554432000 4194304 4196468 140734804136048 140581116768592 140581112548758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7362] ppid=7358 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7362/stat : 7362 (java) S 7358 7358 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106042490 14425288704 12129 33554432000 4194304 4196468 140734804136048 140581065157776 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7363] ppid=7358 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7363/stat : 7363 (java) S 7358 7358 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106042490 14425288704 12129 33554432000 4194304 4196468 140734804136048 140581064104976 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7364] ppid=7358 vsize=14087196 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7364/stat : 7364 (java) S 7358 7358 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106042490 14425288704 12129 33554432000 4194304 4196468 140734804136048 140581063052176 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7365] ppid=7358 vsize=14087196 memory=7089317150647820184 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7365/stat : 7365 (java) S 7358 7358 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106042490 14425288704 12129 33554432000 4194304 4196468 140734804136048 140581061999376 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7366] ppid=7358 vsize=14087196 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7366/stat : 7366 (java) S 7358 7358 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106042491 14425288704 12129 33554432000 4194304 4196468 140734804136048 140580092107120 140581112547970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7367] ppid=7358 vsize=14087196 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7367/stat : 7367 (java) S 7358 7358 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106042492 14425288704 12129 33554432000 4194304 4196468 140734804136048 140580091053088 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7368] ppid=7358 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7368/stat : 7368 (java) S 7358 7358 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106042492 14425288704 12129 33554432000 4194304 4196468 140734804136048 140580090000240 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7369] ppid=7358 vsize=14087196 memory=-6444775992005010620 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7369/stat : 7369 (java) S 7358 7358 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106042494 14425288704 12129 33554432000 4194304 4196468 140734804136048 140580088948560 140581112555419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7370] ppid=7358 vsize=14087196 memory=8325818968683490714 CPUtime=0.04 cores=1,3,5,7
/proc/7360/task/7370/stat : 7370 (java) S 7358 7358 6529 0 -1 1077944384 568 0 0 0 4 0 0 0 20 0 15 0 106042494 14425288704 12129 33554432000 4194304 4196468 140734804136048 140580087896944 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7371] ppid=7358 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/7360/task/7371/stat : 7371 (java) S 7358 7358 6529 0 -1 1077944384 228 0 0 0 5 0 0 0 20 0 15 0 106042494 14425288704 12129 33554432000 4194304 4196468 140734804136048 140580086844144 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7372] ppid=7358 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7360/task/7372/stat : 7372 (java) R 7358 7358 6529 0 -1 4202560 942 0 0 0 12 0 0 0 20 0 15 0 106042494 14425288704 12129 33554432000 4194304 4196468 140734804136048 140580085791344 140581096617310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7373] ppid=7358 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7373/stat : 7373 (java) S 7358 7358 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106042495 14425288704 12129 33554432000 4194304 4196468 140734804136048 140580084738784 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7374] ppid=7358 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7374/stat : 7374 (java) S 7358 7358 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106042495 14425288704 12129 33554432000 4194304 4196468 140734804136048 140580083686064 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49968 KiB
[startup+0.70104 s]
/proc/loadavg: 1.99 2.00 1.88 5/217 7374
/proc/meminfo: memFree=19178168/32770624 swapFree=67108688/67108860
[pid=7358] ppid=7355 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7358/stat : 7358 (xcsp3-exec) S 7355 7358 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106042489 115843072 363 33554432000 4194304 5098028 140727469272800 140727469270904 140494657970812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34856960 140727469274176 140727469274377 140727469274377 140727469277130 0
/proc/7358/statm: 28282 363 306 221 0 87 0
[pid=7360] ppid=7358 vsize=14087196 memory=290728 CPUtime=1.72 cores=1,3,5,7
/proc/7360/stat : 7360 (java) S 7358 7358 6529 0 -1 1077944320 11804 0 0 0 150 22 0 0 20 0 15 0 106042489 14425288704 72682 33554432000 4194304 4196468 140734804136048 140734804118592 140581112536823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
/proc/7360/statm: 3521799 72682 3330 1 0 3483012 0
[pid=7360/tid=7361] ppid=7358 vsize=14087196 memory=30328 CPUtime=0.6 cores=1,3,5,7
/proc/7360/task/7361/stat : 7361 (java) R 7358 7358 6529 0 -1 4202560 6310 0 0 0 54 6 0 0 20 0 15 0 106042489 14425288704 72682 33554432000 4194304 4196468 140734804136048 140581116775952 140581112558749 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7362] ppid=7358 vsize=14087196 memory=1296 CPUtime=0.05 cores=1,3,5,7
/proc/7360/task/7362/stat : 7362 (java) S 7358 7358 6529 0 -1 1077944384 69 0 0 0 2 3 0 0 20 0 15 0 106042490 14425288704 72682 33554432000 4194304 4196468 140734804136048 140581065157776 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7363] ppid=7358 vsize=14087196 memory=2408 CPUtime=0.05 cores=1,3,5,7
/proc/7360/task/7363/stat : 7363 (java) S 7358 7358 6529 0 -1 1077944384 50 0 0 0 2 3 0 0 20 0 15 0 106042490 14425288704 72682 33554432000 4194304 4196468 140734804136048 140581064104976 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7364] ppid=7358 vsize=14087196 memory=1724 CPUtime=0.05 cores=1,3,5,7
/proc/7360/task/7364/stat : 7364 (java) S 7358 7358 6529 0 -1 1077944384 55 0 0 0 2 3 0 0 20 0 15 0 106042490 14425288704 72682 33554432000 4194304 4196468 140734804136048 140581063052176 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7365] ppid=7358 vsize=14087196 memory=1004 CPUtime=0.05 cores=1,3,5,7
/proc/7360/task/7365/stat : 7365 (java) S 7358 7358 6529 0 -1 1077944384 66 0 0 0 2 3 0 0 20 0 15 0 106042490 14425288704 72682 33554432000 4194304 4196468 140734804136048 140581061999376 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7366] ppid=7358 vsize=14087196 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7366/stat : 7366 (java) S 7358 7358 6529 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 106042491 14425288704 72682 33554432000 4194304 4196468 140734804136048 140580092107120 140581112547970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7367] ppid=7358 vsize=14087196 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7367/stat : 7367 (java) S 7358 7358 6529 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106042492 14425288704 72682 33554432000 4194304 4196468 140734804136048 140580091053088 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7368] ppid=7358 vsize=14087196 memory=792 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7368/stat : 7368 (java) S 7358 7358 6529 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 106042492 14425288704 72682 33554432000 4194304 4196468 140734804136048 140580090000240 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7369] ppid=7358 vsize=14087196 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7369/stat : 7369 (java) S 7358 7358 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106042494 14425288704 72682 33554432000 4194304 4196468 140734804136048 140580088948560 140581112555419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7370] ppid=7358 vsize=14087196 memory=8556 CPUtime=0.32 cores=1,3,5,7
/proc/7360/task/7370/stat : 7370 (java) R 7358 7358 6529 0 -1 4202560 1651 0 0 0 32 0 0 0 20 0 15 0 106042494 14425288704 72682 33554432000 4194304 4196468 140734804136048 140580087876400 140581095923402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7371] ppid=7358 vsize=14087196 memory=1444 CPUtime=0.32 cores=1,3,5,7
/proc/7360/task/7371/stat : 7371 (java) S 7358 7358 6529 0 -1 1077944384 847 0 0 0 32 0 0 0 20 0 15 0 106042494 14425288704 72682 33554432000 4194304 4196468 140734804136048 140580086844144 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7372] ppid=7358 vsize=14087196 memory=5668 CPUtime=0.19 cores=1,3,5,7
/proc/7360/task/7372/stat : 7372 (java) S 7358 7358 6529 0 -1 1077944384 1373 0 0 0 19 0 0 0 20 0 15 0 106042494 14425288704 72682 33554432000 4194304 4196468 140734804136048 140580085791344 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7373] ppid=7358 vsize=14087196 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7373/stat : 7373 (java) S 7358 7358 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106042495 14425288704 72682 33554432000 4194304 4196468 140734804136048 140580084738784 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7374] ppid=7358 vsize=14087196 memory=14076 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7374/stat : 7374 (java) S 7358 7358 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106042495 14425288704 72682 33554432000 4194304 4196468 140734804136048 140580083686064 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 292180 KiB
[startup+1.50086 s]
/proc/loadavg: 1.99 2.00 1.88 3/217 7374
/proc/meminfo: memFree=18845096/32770624 swapFree=67108688/67108860
[pid=7358] ppid=7355 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7358/stat : 7358 (xcsp3-exec) S 7355 7358 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106042489 115843072 363 33554432000 4194304 5098028 140727469272800 140727469270904 140494657970812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34856960 140727469274176 140727469274377 140727469274377 140727469277130 0
/proc/7358/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/7360/task/7368/stat : 7368 (java) S 7358 7358 6529 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 106042492 14429560832 1475171 33554432000 4194304 4196468 140734804136048 140580090000256 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7369] ppid=7358 vsize=14091368 memory=18276 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7369/stat : 7369 (java) S 7358 7358 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106042494 14429560832 1475171 33554432000 4194304 4196468 140734804136048 140580088948560 140581112555419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7370] ppid=7358 vsize=14091368 memory=0 CPUtime=3.02 cores=1,3,5,7
/proc/7360/task/7370/stat : 7370 (java) S 7358 7358 6529 0 -1 1077944384 10825 0 0 0 300 2 0 0 20 0 15 0 106042494 14429560832 1475171 33554432000 4194304 4196468 140734804136048 140580087896944 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7371] ppid=7358 vsize=14091368 memory=-6586667735541663136 CPUtime=2.61 cores=1,3,5,7
/proc/7360/task/7371/stat : 7371 (java) S 7358 7358 6529 0 -1 1077944384 10023 0 0 0 259 2 0 0 20 0 15 0 106042494 14429560832 1475171 33554432000 4194304 4196468 140734804136048 140580086844144 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7372] ppid=7358 vsize=14091368 memory=-7025448733113094249 CPUtime=0.98 cores=1,3,5,7
/proc/7360/task/7372/stat : 7372 (java) S 7358 7358 6529 0 -1 1077944384 7976 0 0 0 96 2 0 0 20 0 15 0 106042494 14429560832 1475171 33554432000 4194304 4196468 140734804136048 140580085791344 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7373] ppid=7358 vsize=14091368 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7373/stat : 7373 (java) S 7358 7358 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106042495 14429560832 1475171 33554432000 4194304 4196468 140734804136048 140580084738784 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7374] ppid=7358 vsize=14091368 memory=301741382048153913 CPUtime=0.03 cores=1,3,5,7
/proc/7360/task/7374/stat : 7374 (java) S 7358 7358 6529 0 -1 1077944384 417 0 0 0 1 2 0 0 20 0 15 0 106042495 14429560832 1475171 33554432000 4194304 4196468 140734804136048 140580083686064 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
Current children cumulated CPU time: 84.26 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 5902136 KiB
[startup+102.301 s]
/proc/loadavg: 2.14 2.05 1.90 3/218 7461
/proc/meminfo: memFree=17913940/32770624 swapFree=67108688/67108860
[pid=7358] ppid=7355 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7358/stat : 7358 (xcsp3-exec) S 7355 7358 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106042489 115843072 363 33554432000 4194304 5098028 140727469272800 140727469270904 140494657970812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34856960 140727469274176 140727469274377 140727469274377 140727469277130 0
/proc/7358/statm: 28282 363 306 221 0 87 0
[pid=7360] ppid=7358 vsize=14091368 memory=5907468 CPUtime=136.91 cores=1,3,5,7
/proc/7360/stat : 7360 (java) S 7358 7358 6529 0 -1 1077944320 168100 0 0 0 13087 604 0 0 20 0 15 0 106042489 14429560832 1476867 33554432000 4194304 4196468 140734804136048 140734804118592 140581112536823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
/proc/7360/statm: 3522842 1476867 3428 1 0 3484036 0
[pid=7360/tid=7361] ppid=7358 vsize=14091368 memory=1452 CPUtime=92.94 cores=1,3,5,7
/proc/7360/task/7361/stat : 7361 (java) R 7358 7358 6529 0 -1 4202560 23728 0 0 0 9271 23 0 0 20 0 15 0 106042489 14429560832 1476867 33554432000 4194304 4196468 140734804136048 140581116772664 140580748824706 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7362] ppid=7358 vsize=14091368 memory=5907468 CPUtime=8.85 cores=1,3,5,7
/proc/7360/task/7362/stat : 7362 (java) S 7358 7358 6529 0 -1 1077944384 25164 0 0 0 743 142 0 0 20 0 15 0 106042490 14429560832 1476867 33554432000 4194304 4196468 140734804136048 140581065157776 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7363] ppid=7358 vsize=14091368 memory=1452 CPUtime=8.85 cores=1,3,5,7
/proc/7360/task/7363/stat : 7363 (java) S 7358 7358 6529 0 -1 1077944384 20963 0 0 0 745 140 0 0 20 0 15 0 106042490 14429560832 1476867 33554432000 4194304 4196468 140734804136048 140581064104976 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7364] ppid=7358 vsize=14091368 memory=5907468 CPUtime=8.85 cores=1,3,5,7
/proc/7360/task/7364/stat : 7364 (java) S 7358 7358 6529 0 -1 1077944384 19811 0 0 0 740 145 0 0 20 0 15 0 106042490 14429560832 1476867 33554432000 4194304 4196468 140734804136048 140581063052176 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7365] ppid=7358 vsize=14091368 memory=33 CPUtime=8.92 cores=1,3,5,7
/proc/7360/task/7365/stat : 7365 (java) S 7358 7358 6529 0 -1 1077944384 21698 0 0 0 753 139 0 0 20 0 15 0 106042490 14429560832 1476867 33554432000 4194304 4196468 140734804136048 140581061999376 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7366] ppid=7358 vsize=14091368 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/7360/task/7366/stat : 7366 (java) S 7358 7358 6529 0 -1 1077944384 17296 0 0 0 30 1 0 0 20 0 15 0 106042491 14429560832 1476867 33554432000 4194304 4196468 140734804136048 140580092107120 140581112547970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7367] ppid=7358 vsize=14091368 memory=-7595761213635136096 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7367/stat : 7367 (java) S 7358 7358 6529 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 106042492 14429560832 1476867 33554432000 4194304 4196468 140734804136048 140580091053152 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7368] ppid=7358 vsize=14091368 memory=2964 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7368/stat : 7368 (java) S 7358 7358 6529 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 106042492 14429560832 1476867 33554432000 4194304 4196468 140734804136048 140580090000256 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7369] ppid=7358 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7369/stat : 7369 (java) S 7358 7358 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106042494 14429560832 1476867 33554432000 4194304 4196468 140734804136048 140580088948560 140581112555419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7370] ppid=7358 vsize=14091368 memory=4140 CPUtime=3.82 cores=1,3,5,7
/proc/7360/task/7370/stat : 7370 (java) S 7358 7358 6529 0 -1 1077944384 15843 0 0 0 379 3 0 0 20 0 15 0 106042494 14429560832 1476867 33554432000 4194304 4196468 140734804136048 140580087896944 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7371] ppid=7358 vsize=14091368 memory=4140 CPUtime=3.22 cores=1,3,5,7
/proc/7360/task/7371/stat : 7371 (java) S 7358 7358 6529 0 -1 1077944384 13219 0 0 0 320 2 0 0 20 0 15 0 106042494 14429560832 1476867 33554432000 4194304 4196468 140734804136048 140580086844144 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7372] ppid=7358 vsize=14091368 memory=30340 CPUtime=1.01 cores=1,3,5,7
/proc/7360/task/7372/stat : 7372 (java) S 7358 7358 6529 0 -1 1077944384 8515 0 0 0 99 2 0 0 20 0 15 0 106042494 14429560832 1476867 33554432000 4194304 4196468 140734804136048 140580085791344 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7373] ppid=7358 vsize=14091368 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7373/stat : 7373 (java) S 7358 7358 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106042495 14429560832 1476867 33554432000 4194304 4196468 140734804136048 140580084738784 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7374] ppid=7358 vsize=14091368 memory=1452 CPUtime=0.05 cores=1,3,5,7
/proc/7360/task/7374/stat : 7374 (java) S 7358 7358 6529 0 -1 1077944384 540 0 0 0 2 3 0 0 20 0 15 0 106042495 14429560832 1476867 33554432000 4194304 4196468 140734804136048 140580083686064 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
Current children cumulated CPU time: 136.91 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 5908920 KiB
[startup+162.301 s]
/proc/loadavg: 2.05 2.04 1.91 3/218 7462
/proc/meminfo: memFree=17916296/32770624 swapFree=67108688/67108860
[pid=7358] ppid=7355 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7358/stat : 7358 (xcsp3-exec) S 7355 7358 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106042489 115843072 363 33554432000 4194304 5098028 140727469272800 140727469270904 140494657970812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34856960 140727469274176 140727469274377 140727469274377 140727469277130 0
/proc/7358/statm: 28282 363 306 221 0 87 0
[pid=7360] ppid=7358 vsize=14091368 memory=5904376 CPUtime=197.07 cores=1,3,5,7
/proc/7360/stat : 7360 (java) S 7358 7358 6529 0 -1 1077944320 174518 0 0 0 19100 607 0 0 20 0 15 0 106042489 14429560832 1476094 33554432000 4194304 4196468 140734804136048 140734804118592 140581112536823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
/proc/7360/statm: 3522842 1476094 3428 1 0 3484036 0
[pid=7360/tid=7361] ppid=7358 vsize=14091368 memory=5904376 CPUtime=152.92 cores=1,3,5,7
/proc/7360/task/7361/stat : 7361 (java) R 7358 7358 6529 0 -1 4202560 28034 0 0 0 15269 23 0 0 20 0 15 0 106042489 14429560832 1476094 33554432000 4194304 4196468 140734804136048 140581116772352 140580748824522 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7362] ppid=7358 vsize=14091368 memory=5904376 CPUtime=8.85 cores=1,3,5,7
/proc/7360/task/7362/stat : 7362 (java) S 7358 7358 6529 0 -1 1077944384 25164 0 0 0 743 142 0 0 20 0 15 0 106042490 14429560832 1476094 33554432000 4194304 4196468 140734804136048 140581065157776 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7363] ppid=7358 vsize=14091368 memory=5904376 CPUtime=8.85 cores=1,3,5,7
/proc/7360/task/7363/stat : 7363 (java) S 7358 7358 6529 0 -1 1077944384 20963 0 0 0 745 140 0 0 20 0 15 0 106042490 14429560832 1476094 33554432000 4194304 4196468 140734804136048 140581064104976 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7364] ppid=7358 vsize=14091368 memory=5904376 CPUtime=8.85 cores=1,3,5,7
/proc/7360/task/7364/stat : 7364 (java) S 7358 7358 6529 0 -1 1077944384 19811 0 0 0 740 145 0 0 20 0 15 0 106042490 14429560832 1476094 33554432000 4194304 4196468 140734804136048 140581063052176 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7365] ppid=7358 vsize=14091368 memory=1452 CPUtime=8.92 cores=1,3,5,7
/proc/7360/task/7365/stat : 7365 (java) S 7358 7358 6529 0 -1 1077944384 21698 0 0 0 753 139 0 0 20 0 15 0 106042490 14429560832 1476094 33554432000 4194304 4196468 140734804136048 140581061999376 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7366] ppid=7358 vsize=14091368 memory=8112282956445269571 CPUtime=0.32 cores=1,3,5,7
/proc/7360/task/7366/stat : 7366 (java) S 7358 7358 6529 0 -1 1077944384 17354 0 0 0 30 2 0 0 20 0 15 0 106042491 14429560832 1476094 33554432000 4194304 4196468 140734804136048 140580092107120 140581112547970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7367] ppid=7358 vsize=14091368 memory=288283372642632492 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7367/stat : 7367 (java) S 7358 7358 6529 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 106042492 14429560832 1476094 33554432000 4194304 4196468 140734804136048 140580091053152 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7368] ppid=7358 vsize=14091368 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7368/stat : 7368 (java) S 7358 7358 6529 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 106042492 14429560832 1476094 33554432000 4194304 4196468 140734804136048 140580090000256 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7369] ppid=7358 vsize=14091368 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7369/stat : 7369 (java) S 7358 7358 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106042494 14429560832 1476094 33554432000 4194304 4196468 140734804136048 140580088948560 140581112555419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7370] ppid=7358 vsize=14091368 memory=1724 CPUtime=3.87 cores=1,3,5,7
/proc/7360/task/7370/stat : 7370 (java) S 7358 7358 6529 0 -1 1077944384 15976 0 0 0 384 3 0 0 20 0 15 0 106042494 14429560832 1476094 33554432000 4194304 4196468 140734804136048 140580087896944 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7371] ppid=7358 vsize=14091368 memory=1004 CPUtime=3.28 cores=1,3,5,7
/proc/7360/task/7371/stat : 7371 (java) S 7358 7358 6529 0 -1 1077944384 14537 0 0 0 326 2 0 0 20 0 15 0 106042494 14429560832 1476094 33554432000 4194304 4196468 140734804136048 140580086844144 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7372] ppid=7358 vsize=14091368 memory=8556 CPUtime=1.02 cores=1,3,5,7
/proc/7360/task/7372/stat : 7372 (java) S 7358 7358 6529 0 -1 1077944384 9074 0 0 0 100 2 0 0 20 0 15 0 106042494 14429560832 1476094 33554432000 4194304 4196468 140734804136048 140580085791344 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7373] ppid=7358 vsize=14091368 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7373/stat : 7373 (java) S 7358 7358 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106042495 14429560832 1476094 33554432000 4194304 4196468 140734804136048 140580084738784 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7374] ppid=7358 vsize=14091368 memory=5668 CPUtime=0.07 cores=1,3,5,7
/proc/7360/task/7374/stat : 7374 (java) S 7358 7358 6529 0 -1 1077944384 584 0 0 0 3 4 0 0 20 0 15 0 106042495 14429560832 1476094 33554432000 4194304 4196468 140734804136048 140580083686064 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
Current children cumulated CPU time: 197.07 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 5905828 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+217.201 s]
/proc/loadavg: 2.07 2.05 1.92 3/218 7463
/proc/meminfo: memFree=17916276/32770624 swapFree=67108688/67108860
[pid=7358] ppid=7355 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7358/stat : 7358 (xcsp3-exec) S 7355 7358 6529 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106042489 115843072 363 33554432000 4194304 5098028 140727469272800 140727469270904 140494657970812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34856960 140727469274176 140727469274377 140727469274377 140727469277130 0
/proc/7358/statm: 28282 363 306 221 0 87 0
[pid=7360] ppid=7358 vsize=14091368 memory=5904380 CPUtime=252.03 cores=1,3,5,7
/proc/7360/stat : 7360 (java) S 7358 7358 6529 0 -1 1077944320 184609 0 0 0 24595 608 0 0 20 0 15 0 106042489 14429560832 1476095 33554432000 4194304 4196468 140734804136048 140734804118592 140581112536823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
/proc/7360/statm: 3522842 1476095 3428 1 0 3484036 0
[pid=7360/tid=7361] ppid=7358 vsize=14091368 memory=1408 CPUtime=207.8 cores=1,3,5,7
/proc/7360/task/7361/stat : 7361 (java) R 7358 7358 6529 0 -1 4202560 33851 0 0 0 20757 23 0 0 20 0 15 0 106042489 14429560832 1476095 33554432000 4194304 4196468 140734804136048 140581116772352 140580748775584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7362] ppid=7358 vsize=14091368 memory=8112282956445269571 CPUtime=8.85 cores=1,3,5,7
/proc/7360/task/7362/stat : 7362 (java) S 7358 7358 6529 0 -1 1077944384 25164 0 0 0 743 142 0 0 20 0 15 0 106042490 14429560832 1476095 33554432000 4194304 4196468 140734804136048 140581065157776 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7363] ppid=7358 vsize=14091368 memory=-8707038579349950309 CPUtime=8.85 cores=1,3,5,7
/proc/7360/task/7363/stat : 7363 (java) S 7358 7358 6529 0 -1 1077944384 20963 0 0 0 745 140 0 0 20 0 15 0 106042490 14429560832 1476095 33554432000 4194304 4196468 140734804136048 140581064104976 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7364] ppid=7358 vsize=14091368 memory=-6520471753822164382 CPUtime=8.85 cores=1,3,5,7
/proc/7360/task/7364/stat : 7364 (java) S 7358 7358 6529 0 -1 1077944384 19811 0 0 0 740 145 0 0 20 0 15 0 106042490 14429560832 1476095 33554432000 4194304 4196468 140734804136048 140581063052176 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7365] ppid=7358 vsize=14091368 memory=7822038051842261661 CPUtime=8.92 cores=1,3,5,7
/proc/7360/task/7365/stat : 7365 (java) S 7358 7358 6529 0 -1 1077944384 21698 0 0 0 753 139 0 0 20 0 15 0 106042490 14429560832 1476095 33554432000 4194304 4196468 140734804136048 140581061999376 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7366] ppid=7358 vsize=14091368 memory=3152 CPUtime=0.32 cores=1,3,5,7
/proc/7360/task/7366/stat : 7366 (java) S 7358 7358 6529 0 -1 1077944384 17428 0 0 0 30 2 0 0 20 0 15 0 106042491 14429560832 1476095 33554432000 4194304 4196468 140734804136048 140580092107120 140581112547970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7367] ppid=7358 vsize=14091368 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7367/stat : 7367 (java) S 7358 7358 6529 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 106042492 14429560832 1476095 33554432000 4194304 4196468 140734804136048 140580091053152 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7368] ppid=7358 vsize=14091368 memory=1544016 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7368/stat : 7368 (java) S 7358 7358 6529 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 106042492 14429560832 1476095 33554432000 4194304 4196468 140734804136048 140580090000256 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7369] ppid=7358 vsize=14091368 memory=149645250529443 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7369/stat : 7369 (java) S 7358 7358 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106042494 14429560832 1476095 33554432000 4194304 4196468 140734804136048 140580088948560 140581112555419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7370] ppid=7358 vsize=14091368 memory=140153372805361 CPUtime=3.88 cores=1,3,5,7
/proc/7360/task/7370/stat : 7370 (java) S 7358 7358 6529 0 -1 1077944384 17011 0 0 0 385 3 0 0 20 0 15 0 106042494 14429560832 1476095 33554432000 4194304 4196468 140734804136048 140580087896944 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7371] ppid=7358 vsize=14091368 memory=140153372805384 CPUtime=3.32 cores=1,3,5,7
/proc/7360/task/7371/stat : 7371 (java) S 7358 7358 6529 0 -1 1077944384 15723 0 0 0 329 3 0 0 20 0 15 0 106042494 14429560832 1476095 33554432000 4194304 4196468 140734804136048 140580086844144 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7372] ppid=7358 vsize=14091368 memory=-1 CPUtime=1.03 cores=1,3,5,7
/proc/7360/task/7372/stat : 7372 (java) S 7358 7358 6529 0 -1 1077944384 10974 0 0 0 101 2 0 0 20 0 15 0 106042494 14429560832 1476095 33554432000 4194304 4196468 140734804136048 140580085791344 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7373] ppid=7358 vsize=14091368 memory=7300458589614596965 CPUtime=0 cores=1,3,5,7
/proc/7360/task/7373/stat : 7373 (java) S 7358 7358 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106042495 14429560832 1476095 33554432000 4194304 4196468 140734804136048 140580084738784 140581112547029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
[pid=7360/tid=7374] ppid=7358 vsize=14091368 memory=8099833251296011600 CPUtime=0.1 cores=1,3,5,7
/proc/7360/task/7374/stat : 7374 (java) S 7358 7358 6529 0 -1 1077944384 663 0 0 0 4 6 0 0 20 0 15 0 106042495 14429560832 1476095 33554432000 4194304 4196468 140734804136048 140580083686064 140581112547970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38424576 140734804141196 140734804141366 140734804141366 140734804144079 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 5905832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+217.237 s]
# the end of solver process 7358 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001116 s, system=0.001116 s
[startup+217.242 s]
# the end of solver process 7360 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.955 s, system=6.12262 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 217.242
CPU time (s): 252.077
CPU user time (s): 245.955
CPU system time (s): 6.12262
CPU usage (%): 116.035
Max. virtual memory (cumulated for all children) (KiB): 14204496
Max. memory (cumulated for all children) (KiB): 5908932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.955
system time used= 6.12262
maximum resident set size= 5907480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185759
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9500
involuntary context switches= 702
# summary of solver processes directly reported to runsolver:
# pid: 7358,7360
# total CPU time (s): 252.077
# total CPU user time (s): 245.955
# total CPU system time (s): 6.12262
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.15203 second user time and 1.41566 second system time
The end