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-4254340-1501612483/watcher-4254340-1501612483 -o /tmp/evaluation-result-4254340-1501612483/solver-4254340-1501612483 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501611152-5191 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1445816472 HOME/instance-4254340-1501612483.xml
pid=5651
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: 1.97 1.62 0.85 4/196 5654
/proc/meminfo: memFree=31813512/32770624 swapFree=0/183332
[pid=5654] ppid=5651 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5654/stat : 5654 (runsolver) D 5651 5654 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9868623 24240128 106 18446744073709551615 4194304 4338465 140723753818608 140723753816248 139623222170327 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 32169984 140723753824349 140723753824838 140723753824838 140723753828298 0
/proc/5654/statm: 5918 106 53 36 0 2156 0
[startup+0.101176 s]
/proc/loadavg: 1.97 1.62 0.85 4/196 5654
/proc/meminfo: memFree=31813512/32770624 swapFree=0/183332
[pid=5654] ppid=5651 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5654/stat : 5654 (xcsp3-exec) S 5651 5654 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9868623 9740288 345 18446744073709551615 4194304 5098028 140723224678000 140723224676104 140337154130556 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 26828800 140723224682907 140723224683111 140723224683111 140723224686571 0
/proc/5654/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.205613 s]
/proc/loadavg: 1.97 1.62 0.85 4/196 5654
/proc/meminfo: memFree=31813512/32770624 swapFree=0/183332
[pid=5654] ppid=5651 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5654/stat : 5654 (xcsp3-exec) S 5651 5654 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9868623 9740288 345 18446744073709551615 4194304 5098028 140723224678000 140723224676104 140337154130556 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 26828800 140723224682907 140723224683111 140723224683111 140723224686571 0
/proc/5654/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300302 s]
/proc/loadavg: 1.97 1.62 0.85 4/196 5654
/proc/meminfo: memFree=31813512/32770624 swapFree=0/183332
[pid=5654] ppid=5651 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5654/stat : 5654 (xcsp3-exec) S 5651 5654 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9868623 9740288 345 18446744073709551615 4194304 5098028 140723224678000 140723224676104 140337154130556 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 26828800 140723224682907 140723224683111 140723224683111 140723224686571 0
/proc/5654/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700377 s]
/proc/loadavg: 1.97 1.62 0.85 4/196 5654
/proc/meminfo: memFree=31813512/32770624 swapFree=0/183332
[pid=5654] ppid=5651 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5654/stat : 5654 (xcsp3-exec) S 5651 5654 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9868623 9740288 345 18446744073709551615 4194304 5098028 140723224678000 140723224676104 140337154130556 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 26828800 140723224682907 140723224683111 140723224683111 140723224686571 0
/proc/5654/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50065 s]
/proc/loadavg: 1.97 1.62 0.85 5/212 5670
/proc/meminfo: memFree=31744984/32770624 swapFree=0/183348
[pid=5654] ppid=5651 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5654/stat : 5654 (xcsp3-exec) S 5651 5654 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9868623 9740288 345 18446744073709551615 4194304 5098028 140723224678000 140723224676104 140337154130556 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 26828800 140723224682907 140723224683111 140723224683111 140723224686571 0
/proc/5654/statm: 2378 345 289 221 0 87 0
[pid=5656] ppid=5654 vsize=13980732 CPUtime=3.78 cores=0,2,4,6
/proc/5656/stat : 5656 (java) S 5654 5654 5131 0 -1 1077944320 24897 0 0 0 370 8 0 0 20 0 15 0 9868630 14316269568 24287 18446744073709551615 4194304 4196468 140721625996640 140721625979184 140294616219383 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
/proc/5656/statm: 3495183 24287 3180 1 0 3483484 0
[pid=5656/tid=5657] ppid=5654 vsize=13980732 CPUtime=1.34 cores=0,2,4,6
/proc/5656/task/5657/stat : 5657 (java) R 5654 5654 5131 0 -1 4202560 9617 0 0 0 129 5 0 0 20 0 15 0 9868630 14316269568 24287 18446744073709551615 4194304 4196468 140721625996640 140294620456888 140294255978816 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5658] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5658/stat : 5658 (java) S 5654 5654 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9868631 14316269568 24287 18446744073709551615 4194304 4196468 140721625996640 140294573186192 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5659] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5659/stat : 5659 (java) S 5654 5654 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9868631 14316269568 24287 18446744073709551615 4194304 4196468 140721625996640 140294572133392 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5660] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5660/stat : 5660 (java) S 5654 5654 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9868631 14316269568 24287 18446744073709551615 4194304 4196468 140721625996640 140294571080592 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5661] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5661/stat : 5661 (java) S 5654 5654 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9868631 14316269568 24287 18446744073709551615 4194304 4196468 140721625996640 140294213528336 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5662] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5662/stat : 5662 (java) S 5654 5654 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9868632 14316269568 24287 18446744073709551615 4194304 4196468 140721625996640 140294094821744 140294616230530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5663] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5663/stat : 5663 (java) S 5654 5654 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9868633 14316269568 24287 18446744073709551615 4194304 4196468 140721625996640 140294093767712 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5664] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5664/stat : 5664 (java) S 5654 5654 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9868633 14316269568 24287 18446744073709551615 4194304 4196468 140721625996640 140294092714864 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5665] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5665/stat : 5665 (java) S 5654 5654 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9868636 14316269568 24287 18446744073709551615 4194304 4196468 140721625996640 140294091663184 140294616237979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5666] ppid=5654 vsize=13980732 CPUtime=0.99 cores=0,2,4,6
/proc/5656/task/5666/stat : 5666 (java) R 5654 5654 5131 0 -1 4202560 6627 0 0 0 98 1 0 0 20 0 15 0 9868636 14316269568 24287 18446744073709551615 4194304 4196468 140721625996640 140294090597728 140294596461730 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5667] ppid=5654 vsize=13980732 CPUtime=0.95 cores=0,2,4,6
/proc/5656/task/5667/stat : 5667 (java) R 5654 5654 5131 0 -1 4202560 5086 0 0 0 95 0 0 0 20 0 15 0 9868636 14316269568 24287 18446744073709551615 4194304 4196468 140721625996640 140294089545312 140294593814128 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5668] ppid=5654 vsize=13980732 CPUtime=0.46 cores=0,2,4,6
/proc/5656/task/5668/stat : 5668 (java) S 5654 5654 5131 0 -1 1077944384 2257 0 0 0 45 1 0 0 20 0 15 0 9868636 14316269568 24287 18446744073709551615 4194304 4196468 140721625996640 140294088505968 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5669] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5669/stat : 5669 (java) S 5654 5654 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9868636 14316269568 24287 18446744073709551615 4194304 4196468 140721625996640 140294087453408 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5670] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5670/stat : 5670 (java) S 5654 5654 5131 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 9868643 14316269568 24287 18446744073709551615 4194304 4196468 140721625996640 140294086400688 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 13990244
[startup+3.10073 s]
/proc/loadavg: 1.97 1.62 0.85 3/212 5670
/proc/meminfo: memFree=31699412/32770624 swapFree=0/183340
[pid=5654] ppid=5651 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5654/stat : 5654 (xcsp3-exec) S 5651 5654 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9868623 9740288 345 18446744073709551615 4194304 5098028 140723224678000 140723224676104 140337154130556 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 26828800 140723224682907 140723224683111 140723224683111 140723224686571 0
/proc/5654/statm: 2378 345 289 221 0 87 0
[pid=5656] ppid=5654 vsize=13980732 CPUtime=6.24 cores=0,2,4,6
/proc/5656/stat : 5656 (java) S 5654 5654 5131 0 -1 1077944320 26611 0 0 0 614 10 0 0 20 0 15 0 9868630 14316269568 35559 18446744073709551615 4194304 4196468 140721625996640 140721625979184 140294616219383 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
/proc/5656/statm: 3495183 35559 3182 1 0 3483484 0
[pid=5656/tid=5657] ppid=5654 vsize=13980732 CPUtime=2.94 cores=0,2,4,6
/proc/5656/task/5657/stat : 5657 (java) R 5654 5654 5131 0 -1 4202560 9753 0 0 0 289 5 0 0 20 0 15 0 9868630 14316269568 35559 18446744073709551615 4194304 4196468 140721625996640 140294620456592 140294256320284 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5658] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5658/stat : 5658 (java) S 5654 5654 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9868631 14316269568 35559 18446744073709551615 4194304 4196468 140721625996640 140294573186192 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5659] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5659/stat : 5659 (java) S 5654 5654 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9868631 14316269568 35559 18446744073709551615 4194304 4196468 140721625996640 140294572133392 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5660] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5660/stat : 5660 (java) S 5654 5654 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9868631 14316269568 35559 18446744073709551615 4194304 4196468 140721625996640 140294571080592 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5661] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5661/stat : 5661 (java) S 5654 5654 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9868631 14316269568 35559 18446744073709551615 4194304 4196468 140721625996640 140294213528336 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5662] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5662/stat : 5662 (java) S 5654 5654 5131 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 9868632 14316269568 35559 18446744073709551615 4194304 4196468 140721625996640 140294094821744 140294616230530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5663] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5663/stat : 5663 (java) S 5654 5654 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9868633 14316269568 35559 18446744073709551615 4194304 4196468 140721625996640 140294093767712 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5664] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5664/stat : 5664 (java) S 5654 5654 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9868633 14316269568 35559 18446744073709551615 4194304 4196468 140721625996640 140294092714864 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5665] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5665/stat : 5665 (java) S 5654 5654 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9868636 14316269568 35559 18446744073709551615 4194304 4196468 140721625996640 140294091663184 140294616237979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5666] ppid=5654 vsize=13980732 CPUtime=1.41 cores=0,2,4,6
/proc/5656/task/5666/stat : 5666 (java) S 5654 5654 5131 0 -1 1077944384 6809 0 0 0 140 1 0 0 20 0 15 0 9868636 14316269568 35559 18446744073709551615 4194304 4196468 140721625996640 140294090611568 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5667] ppid=5654 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/5656/task/5667/stat : 5667 (java) S 5654 5654 5131 0 -1 1077944384 6325 0 0 0 135 1 0 0 20 0 15 0 9868636 14316269568 35559 18446744073709551615 4194304 4196468 140721625996640 140294089558768 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5668] ppid=5654 vsize=13980732 CPUtime=0.49 cores=0,2,4,6
/proc/5656/task/5668/stat : 5668 (java) S 5654 5654 5131 0 -1 1077944384 2365 0 0 0 48 1 0 0 20 0 15 0 9868636 14316269568 35559 18446744073709551615 4194304 4196468 140721625996640 140294088505968 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5669] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5669/stat : 5669 (java) S 5654 5654 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9868636 14316269568 35559 18446744073709551615 4194304 4196468 140721625996640 140294087453408 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5670] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5670/stat : 5670 (java) S 5654 5654 5131 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 9868643 14316269568 35559 18446744073709551615 4194304 4196468 140721625996640 140294086400688 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 13990244
[startup+6.30073 s]
/proc/loadavg: 1.97 1.62 0.86 3/212 5670
/proc/meminfo: memFree=31585060/32770624 swapFree=0/183352
[pid=5654] ppid=5651 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5654/stat : 5654 (xcsp3-exec) S 5651 5654 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9868623 9740288 345 18446744073709551615 4194304 5098028 140723224678000 140723224676104 140337154130556 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 26828800 140723224682907 140723224683111 140723224683111 140723224686571 0
/proc/5654/statm: 2378 345 289 221 0 87 0
[pid=5656] ppid=5654 vsize=13980732 CPUtime=9.58 cores=0,2,4,6
/proc/5656/stat : 5656 (java) S 5654 5654 5131 0 -1 1077944320 31312 0 0 0 947 11 0 0 20 0 15 0 9868630 14316269568 50516 18446744073709551615 4194304 4196468 140721625996640 140721625979184 140294616219383 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
/proc/5656/statm: 3495183 50516 3201 1 0 3483484 0
[pid=5656/tid=5657] ppid=5654 vsize=13980732 CPUtime=6.13 cores=0,2,4,6
/proc/5656/task/5657/stat : 5657 (java) R 5654 5654 5131 0 -1 4202560 10468 0 0 0 607 6 0 0 20 0 15 0 9868630 14316269568 50516 18446744073709551615 4194304 4196468 140721625996640 140294620456536 140294255477774 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5658] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5658/stat : 5658 (java) S 5654 5654 5131 0 -1 1077944384 577 0 0 0 0 0 0 0 20 0 15 0 9868631 14316269568 50516 18446744073709551615 4194304 4196468 140721625996640 140294573186192 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5659] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5659/stat : 5659 (java) S 5654 5654 5131 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 15 0 9868631 14316269568 50516 18446744073709551615 4194304 4196468 140721625996640 140294572133392 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5660] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5660/stat : 5660 (java) S 5654 5654 5131 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 9868631 14316269568 50516 18446744073709551615 4194304 4196468 140721625996640 140294571080592 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5661] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5661/stat : 5661 (java) S 5654 5654 5131 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 9868631 14316269568 50516 18446744073709551615 4194304 4196468 140721625996640 140294213528336 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5662] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5662/stat : 5662 (java) S 5654 5654 5131 0 -1 1077944384 487 0 0 0 0 0 0 0 20 0 15 0 9868632 14316269568 50516 18446744073709551615 4194304 4196468 140721625996640 140294094821744 140294616230530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5663] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5663/stat : 5663 (java) S 5654 5654 5131 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9868633 14316269568 50516 18446744073709551615 4194304 4196468 140721625996640 140294093767712 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5664] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5664/stat : 5664 (java) S 5654 5654 5131 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 9868633 14316269568 50516 18446744073709551615 4194304 4196468 140721625996640 140294092714864 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5665] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5665/stat : 5665 (java) S 5654 5654 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9868636 14316269568 50516 18446744073709551615 4194304 4196468 140721625996640 140294091663184 140294616237979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5666] ppid=5654 vsize=13980732 CPUtime=1.45 cores=0,2,4,6
/proc/5656/task/5666/stat : 5666 (java) S 5654 5654 5131 0 -1 1077944384 7081 0 0 0 144 1 0 0 20 0 15 0 9868636 14316269568 50516 18446744073709551615 4194304 4196468 140721625996640 140294090611568 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5667] ppid=5654 vsize=13980732 CPUtime=1.45 cores=0,2,4,6
/proc/5656/task/5667/stat : 5667 (java) S 5654 5654 5131 0 -1 1077944384 7192 0 0 0 144 1 0 0 20 0 15 0 9868636 14316269568 50516 18446744073709551615 4194304 4196468 140721625996640 140294089558768 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5668] ppid=5654 vsize=13980732 CPUtime=0.5 cores=0,2,4,6
/proc/5656/task/5668/stat : 5668 (java) S 5654 5654 5131 0 -1 1077944384 3342 0 0 0 49 1 0 0 20 0 15 0 9868636 14316269568 50516 18446744073709551615 4194304 4196468 140721625996640 140294088505968 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5669] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5669/stat : 5669 (java) S 5654 5654 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9868636 14316269568 50516 18446744073709551615 4194304 4196468 140721625996640 140294087453408 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5670] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5670/stat : 5670 (java) S 5654 5654 5131 0 -1 1077944384 507 0 0 0 0 0 0 0 20 0 15 0 9868643 14316269568 50516 18446744073709551615 4194304 4196468 140721625996640 140294086400688 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
Current children cumulated CPU time (s) 9.58
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.97 1.63 0.86 3/212 5670
/proc/meminfo: memFree=31580360/32770624 swapFree=0/183360
[pid=5654] ppid=5651 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5654/stat : 5654 (xcsp3-exec) S 5651 5654 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9868623 9740288 345 18446744073709551615 4194304 5098028 140723224678000 140723224676104 140337154130556 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 26828800 140723224682907 140723224683111 140723224683111 140723224686571 0
/proc/5654/statm: 2378 345 289 221 0 87 0
[pid=5656] ppid=5654 vsize=13980732 CPUtime=16.08 cores=0,2,4,6
/proc/5656/stat : 5656 (java) S 5654 5654 5131 0 -1 1077944320 33212 0 0 0 1597 11 0 0 20 0 15 0 9868630 14316269568 51570 18446744073709551615 4194304 4196468 140721625996640 140721625979184 140294616219383 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
/proc/5656/statm: 3495183 51570 3203 1 0 3483484 0
[pid=5656/tid=5657] ppid=5654 vsize=13980732 CPUtime=12.52 cores=0,2,4,6
/proc/5656/task/5657/stat : 5657 (java) R 5654 5654 5131 0 -1 4202560 10950 0 0 0 1246 6 0 0 20 0 15 0 9868630 14316269568 51570 18446744073709551615 4194304 4196468 140721625996640 140294620450640 140294255477009 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5658] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5658/stat : 5658 (java) S 5654 5654 5131 0 -1 1077944384 587 0 0 0 0 0 0 0 20 0 15 0 9868631 14316269568 51570 18446744073709551615 4194304 4196468 140721625996640 140294573186192 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5659] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5659/stat : 5659 (java) S 5654 5654 5131 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 15 0 9868631 14316269568 51570 18446744073709551615 4194304 4196468 140721625996640 140294572133392 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
################
# More data... #
################
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5656 sig 9
??? kill 5654 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6007 s]
/proc/loadavg: 1.97 1.65 0.88 3/212 5670
/proc/meminfo: memFree=31572908/32770624 swapFree=0/183372
[pid=5654] ppid=5651 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5654/stat : 5654 (xcsp3-exec) S 5651 5654 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9868623 9740288 345 18446744073709551615 4194304 5098028 140723224678000 140723224676104 140337154130556 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 26828800 140723224682907 140723224683111 140723224683111 140723224686571 0
/proc/5654/statm: 2378 345 289 221 0 87 0
[pid=5656] ppid=5654 vsize=13980732 CPUtime=29.22 cores=0,2,4,6
/proc/5656/stat : 5656 (java) S 5654 5654 5131 0 -1 1077944320 37391 0 0 0 2910 12 0 0 20 0 15 0 9868630 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140721625979184 140294616219383 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
/proc/5656/statm: 3495183 49568 3211 1 0 3483484 0
[pid=5656/tid=5657] ppid=5654 vsize=13980732 CPUtime=25.4 cores=0,2,4,6
/proc/5656/task/5657/stat : 5657 (java) R 5654 5654 5131 0 -1 4202560 11548 0 0 0 2534 6 0 0 20 0 15 0 9868630 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294620458656 140294252223860 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5658] ppid=5654 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5656/task/5658/stat : 5658 (java) S 5654 5654 5131 0 -1 1077944384 1152 0 0 0 1 0 0 0 20 0 15 0 9868631 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294573186192 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5659] ppid=5654 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5656/task/5659/stat : 5659 (java) S 5654 5654 5131 0 -1 1077944384 497 0 0 0 1 0 0 0 20 0 15 0 9868631 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294572133392 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5660] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5660/stat : 5660 (java) S 5654 5654 5131 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 9868631 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294571080592 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5661] ppid=5654 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5656/task/5661/stat : 5661 (java) S 5654 5654 5131 0 -1 1077944384 130 0 0 0 1 0 0 0 20 0 15 0 9868631 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294213528336 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5662] ppid=5654 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5656/task/5662/stat : 5662 (java) S 5654 5654 5131 0 -1 1077944384 691 0 0 0 1 0 0 0 20 0 15 0 9868632 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294094821744 140294616230530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5663] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5663/stat : 5663 (java) S 5654 5654 5131 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9868633 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294093767712 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5664] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5664/stat : 5664 (java) S 5654 5654 5131 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 9868633 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294092714864 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5665] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5665/stat : 5665 (java) S 5654 5654 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9868636 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294091663184 140294616237979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5666] ppid=5654 vsize=13980732 CPUtime=1.63 cores=0,2,4,6
/proc/5656/task/5666/stat : 5666 (java) S 5654 5654 5131 0 -1 1077944384 8839 0 0 0 162 1 0 0 20 0 15 0 9868636 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294090611568 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5667] ppid=5654 vsize=13980732 CPUtime=1.56 cores=0,2,4,6
/proc/5656/task/5667/stat : 5667 (java) S 5654 5654 5131 0 -1 1077944384 8359 0 0 0 155 1 0 0 20 0 15 0 9868636 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294089558768 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5668] ppid=5654 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/5656/task/5668/stat : 5668 (java) S 5654 5654 5131 0 -1 1077944384 4098 0 0 0 51 1 0 0 20 0 15 0 9868636 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294088505968 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5669] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5669/stat : 5669 (java) S 5654 5654 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9868636 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294087453408 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5670] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5670/stat : 5670 (java) S 5654 5654 5131 0 -1 1077944384 619 0 0 0 0 0 0 0 20 0 15 0 9868643 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294086400688 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
Current children cumulated CPU time (s) 29.22
Current children cumulated vsize (KiB) 13990244
[startup+26.0006 s]
/proc/loadavg: 1.97 1.65 0.88 3/212 5670
/proc/meminfo: memFree=31572908/32770624 swapFree=0/183372
[pid=5654] ppid=5651 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5654/stat : 5654 (xcsp3-exec) S 5651 5654 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9868623 9740288 345 18446744073709551615 4194304 5098028 140723224678000 140723224676104 140337154130556 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 26828800 140723224682907 140723224683111 140723224683111 140723224686571 0
/proc/5654/statm: 2378 345 289 221 0 87 0
[pid=5656] ppid=5654 vsize=13980732 CPUtime=29.62 cores=0,2,4,6
/proc/5656/stat : 5656 (java) S 5654 5654 5131 0 -1 1077944320 37412 0 0 0 2950 12 0 0 20 0 15 0 9868630 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140721625979184 140294616219383 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
/proc/5656/statm: 3495183 49568 3211 1 0 3483484 0
[pid=5656/tid=5657] ppid=5654 vsize=13980732 CPUtime=25.8 cores=0,2,4,6
/proc/5656/task/5657/stat : 5657 (java) R 5654 5654 5131 0 -1 4202560 11564 0 0 0 2574 6 0 0 20 0 15 0 9868630 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294620458656 140294255477009 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5658] ppid=5654 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5656/task/5658/stat : 5658 (java) S 5654 5654 5131 0 -1 1077944384 1152 0 0 0 1 0 0 0 20 0 15 0 9868631 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294573186192 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5659] ppid=5654 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5656/task/5659/stat : 5659 (java) S 5654 5654 5131 0 -1 1077944384 497 0 0 0 1 0 0 0 20 0 15 0 9868631 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294572133392 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5660] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5660/stat : 5660 (java) S 5654 5654 5131 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 9868631 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294571080592 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5661] ppid=5654 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5656/task/5661/stat : 5661 (java) S 5654 5654 5131 0 -1 1077944384 130 0 0 0 1 0 0 0 20 0 15 0 9868631 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294213528336 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5662] ppid=5654 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5656/task/5662/stat : 5662 (java) S 5654 5654 5131 0 -1 1077944384 696 0 0 0 1 0 0 0 20 0 15 0 9868632 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294094821744 140294616230530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5663] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5663/stat : 5663 (java) S 5654 5654 5131 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9868633 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294093767712 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5664] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5664/stat : 5664 (java) S 5654 5654 5131 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 9868633 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294092714864 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5665] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5665/stat : 5665 (java) S 5654 5654 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9868636 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294091663184 140294616237979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5666] ppid=5654 vsize=13980732 CPUtime=1.63 cores=0,2,4,6
/proc/5656/task/5666/stat : 5666 (java) S 5654 5654 5131 0 -1 1077944384 8839 0 0 0 162 1 0 0 20 0 15 0 9868636 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294090611568 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5667] ppid=5654 vsize=13980732 CPUtime=1.56 cores=0,2,4,6
/proc/5656/task/5667/stat : 5667 (java) S 5654 5654 5131 0 -1 1077944384 8359 0 0 0 155 1 0 0 20 0 15 0 9868636 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294089558768 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5668] ppid=5654 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/5656/task/5668/stat : 5668 (java) S 5654 5654 5131 0 -1 1077944384 4098 0 0 0 51 1 0 0 20 0 15 0 9868636 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294088505968 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5669] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5669/stat : 5669 (java) S 5654 5654 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9868636 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294087453408 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5670] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5670/stat : 5670 (java) S 5654 5654 5131 0 -1 1077944384 619 0 0 0 0 0 0 0 20 0 15 0 9868643 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294086400688 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
Current children cumulated CPU time (s) 29.62
Current children cumulated vsize (KiB) 13990244
[startup+26.2006 s]
/proc/loadavg: 1.97 1.65 0.88 3/212 5670
/proc/meminfo: memFree=31572908/32770624 swapFree=0/183372
[pid=5654] ppid=5651 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5654/stat : 5654 (xcsp3-exec) S 5651 5654 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9868623 9740288 345 18446744073709551615 4194304 5098028 140723224678000 140723224676104 140337154130556 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 26828800 140723224682907 140723224683111 140723224683111 140723224686571 0
/proc/5654/statm: 2378 345 289 221 0 87 0
[pid=5656] ppid=5654 vsize=13980732 CPUtime=29.82 cores=0,2,4,6
/proc/5656/stat : 5656 (java) S 5654 5654 5131 0 -1 1077944320 37418 0 0 0 2970 12 0 0 20 0 15 0 9868630 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140721625979184 140294616219383 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
/proc/5656/statm: 3495183 49568 3211 1 0 3483484 0
[pid=5656/tid=5657] ppid=5654 vsize=13980732 CPUtime=26 cores=0,2,4,6
/proc/5656/task/5657/stat : 5657 (java) R 5654 5654 5131 0 -1 4202560 11570 0 0 0 2594 6 0 0 20 0 15 0 9868630 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294620458656 140294255476869 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5658] ppid=5654 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5656/task/5658/stat : 5658 (java) S 5654 5654 5131 0 -1 1077944384 1152 0 0 0 1 0 0 0 20 0 15 0 9868631 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294573186192 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5659] ppid=5654 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5656/task/5659/stat : 5659 (java) S 5654 5654 5131 0 -1 1077944384 497 0 0 0 1 0 0 0 20 0 15 0 9868631 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294572133392 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5660] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5660/stat : 5660 (java) S 5654 5654 5131 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 9868631 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294571080592 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5661] ppid=5654 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5656/task/5661/stat : 5661 (java) S 5654 5654 5131 0 -1 1077944384 130 0 0 0 1 0 0 0 20 0 15 0 9868631 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294213528336 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5662] ppid=5654 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5656/task/5662/stat : 5662 (java) S 5654 5654 5131 0 -1 1077944384 696 0 0 0 1 0 0 0 20 0 15 0 9868632 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294094821744 140294616230530 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5663] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5663/stat : 5663 (java) S 5654 5654 5131 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9868633 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294093767712 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5664] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5664/stat : 5664 (java) S 5654 5654 5131 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 9868633 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294092714864 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5665] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5665/stat : 5665 (java) S 5654 5654 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9868636 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294091663184 140294616237979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5666] ppid=5654 vsize=13980732 CPUtime=1.63 cores=0,2,4,6
/proc/5656/task/5666/stat : 5666 (java) S 5654 5654 5131 0 -1 1077944384 8839 0 0 0 162 1 0 0 20 0 15 0 9868636 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294090611568 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5667] ppid=5654 vsize=13980732 CPUtime=1.56 cores=0,2,4,6
/proc/5656/task/5667/stat : 5667 (java) S 5654 5654 5131 0 -1 1077944384 8359 0 0 0 155 1 0 0 20 0 15 0 9868636 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294089558768 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5668] ppid=5654 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/5656/task/5668/stat : 5668 (java) S 5654 5654 5131 0 -1 1077944384 4098 0 0 0 51 1 0 0 20 0 15 0 9868636 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294088505968 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5669] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5669/stat : 5669 (java) S 5654 5654 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9868636 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294087453408 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5670] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5670/stat : 5670 (java) S 5654 5654 5131 0 -1 1077944384 619 0 0 0 0 0 0 0 20 0 15 0 9868643 14316269568 49568 18446744073709551615 4194304 4196468 140721625996640 140294086400688 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
Current children cumulated CPU time (s) 29.82
Current children cumulated vsize (KiB) 13990244
[startup+26.3007 s]
/proc/loadavg: 1.97 1.65 0.88 3/212 5670
/proc/meminfo: memFree=31572908/32770624 swapFree=0/183372
[pid=5654] ppid=5651 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5654/stat : 5654 (xcsp3-exec) S 5651 5654 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9868623 9740288 345 18446744073709551615 4194304 5098028 140723224678000 140723224676104 140337154130556 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 26828800 140723224682907 140723224683111 140723224683111 140723224686571 0
/proc/5654/statm: 2378 345 289 221 0 87 0
[pid=5656] ppid=5654 vsize=13980732 CPUtime=29.92 cores=0,2,4,6
/proc/5656/stat : 5656 (java) S 5654 5654 5131 0 -1 1077944320 38885 0 0 0 2980 12 0 0 20 0 15 0 9868630 14316269568 50602 18446744073709551615 4194304 4196468 140721625996640 140721625979184 140294616219383 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
/proc/5656/statm: 3495183 50602 3211 1 0 3483484 0
[pid=5656/tid=5657] ppid=5654 vsize=13980732 CPUtime=26.1 cores=0,2,4,6
/proc/5656/task/5657/stat : 5657 (java) R 5654 5654 5131 0 -1 4202560 11668 0 0 0 2604 6 0 0 20 0 15 0 9868630 14316269568 50602 18446744073709551615 4194304 4196468 140721625996640 140294620459104 140294254468361 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5658] ppid=5654 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5656/task/5658/stat : 5658 (java) S 5654 5654 5131 0 -1 1077944384 1829 0 0 0 1 0 0 0 20 0 15 0 9868631 14316269568 50602 18446744073709551615 4194304 4196468 140721625996640 140294573186192 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5659] ppid=5654 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5656/task/5659/stat : 5659 (java) S 5654 5654 5131 0 -1 1077944384 582 0 0 0 1 0 0 0 20 0 15 0 9868631 14316269568 50602 18446744073709551615 4194304 4196468 140721625996640 140294572133392 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5660] ppid=5654 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5656/task/5660/stat : 5660 (java) S 5654 5654 5131 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 15 0 9868631 14316269568 50602 18446744073709551615 4194304 4196468 140721625996640 140294571080592 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5661] ppid=5654 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5656/task/5661/stat : 5661 (java) S 5654 5654 5131 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 15 0 9868631 14316269568 50602 18446744073709551615 4194304 4196468 140721625996640 140294213528336 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5662] ppid=5654 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/5656/task/5662/stat : 5662 (java) S 5654 5654 5131 0 -1 1077944384 920 0 0 0 1 0 0 0 20 0 15 0 9868632 14316269568 50602 18446744073709551615 4194304 4196468 140721625996640 140294094821744 140294616230530 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5663] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5663/stat : 5663 (java) S 5654 5654 5131 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9868633 14316269568 50602 18446744073709551615 4194304 4196468 140721625996640 140294093767712 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5664] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5664/stat : 5664 (java) S 5654 5654 5131 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 9868633 14316269568 50602 18446744073709551615 4194304 4196468 140721625996640 140294092714864 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5665] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5665/stat : 5665 (java) S 5654 5654 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9868636 14316269568 50602 18446744073709551615 4194304 4196468 140721625996640 140294091663184 140294616237979 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5666] ppid=5654 vsize=13980732 CPUtime=1.63 cores=0,2,4,6
/proc/5656/task/5666/stat : 5666 (java) S 5654 5654 5131 0 -1 1077944384 8839 0 0 0 162 1 0 0 20 0 15 0 9868636 14316269568 50602 18446744073709551615 4194304 4196468 140721625996640 140294090611568 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5667] ppid=5654 vsize=13980732 CPUtime=1.56 cores=0,2,4,6
/proc/5656/task/5667/stat : 5667 (java) S 5654 5654 5131 0 -1 1077944384 8359 0 0 0 155 1 0 0 20 0 15 0 9868636 14316269568 50602 18446744073709551615 4194304 4196468 140721625996640 140294089558768 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5668] ppid=5654 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/5656/task/5668/stat : 5668 (java) S 5654 5654 5131 0 -1 1077944384 4098 0 0 0 51 1 0 0 20 0 15 0 9868636 14316269568 50602 18446744073709551615 4194304 4196468 140721625996640 140294088505968 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5669] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5669/stat : 5669 (java) S 5654 5654 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9868636 14316269568 50602 18446744073709551615 4194304 4196468 140721625996640 140294087453408 140294616229589 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
[pid=5656/tid=5670] ppid=5654 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5656/task/5670/stat : 5670 (java) S 5654 5654 5131 0 -1 1077944384 619 0 0 0 0 0 0 0 20 0 15 0 9868643 14316269568 50602 18446744073709551615 4194304 4196468 140721625996640 140294086400688 140294616230530 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35028992 140721625997780 140721625997955 140721625997955 140721626001359 0
Current children cumulated CPU time (s) 29.92
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 26.3634
CPU time (s): 30.0022
CPU user time (s): 29.8659
CPU system time (s): 0.13632
CPU usage (%): 113.803
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.8659
system time used= 0.13632
maximum resident set size= 206428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40153
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= 2876
involuntary context switches= 54
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.114003 second user time and 0.164511 second system time
The end