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 (15215 MiB free)
memory of node 1: 16384 MiB (15433 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270019-1502622722/watcher-4270019-1502622722 -o /tmp/evaluation-result-4270019-1502622722/solver-4270019-1502622722 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28320 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1695204642 HOME/instance-4270019-1502622722.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1359, runsolver pid=1356
Current StackSize limit: 8192 KiB
[startup+0.100153 s]*
/proc/loadavg: 1.86 1.97 1.95 2/196 1360
/proc/meminfo: memFree=31384364/32770624 swapFree=67108860/67108860
[pid=1359] ppid=1356 vsize=9512 memory=1136 CPUtime=0 cores=0,2,4,6
/proc/1359/stat : 1359 (xcsp3-exec) R 1356 1359 17093 0 -1 4202496 490 0 0 0 0 0 0 0 20 0 1 0 64465574 9740288 284 18446744073709551615 4194304 5098028 140729776655136 140729776655136 4649392 0 0 5 65536 0 0 0 17 4 0 0 10 0 0 7196144 7232144 7667712 140729776656766 140729776656970 140729776656970 140729776660459 0
/proc/1359/statm: 2378 284 236 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1136 KiB
[startup+0.209269 s]*
/proc/loadavg: 1.86 1.97 1.95 2/210 1374
/proc/meminfo: memFree=31374372/32770624 swapFree=67108860/67108860
[pid=1359] ppid=1356 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1359/stat : 1359 (xcsp3-exec) S 1356 1359 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64465574 9740288 344 18446744073709551615 4194304 5098028 140729776655136 140729776653240 140292311179900 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 7667712 140729776656766 140729776656970 140729776656970 140729776660459 0
/proc/1359/statm: 2378 344 289 221 0 87 0
[pid=1361] ppid=1359 vsize=13907304 memory=20664 CPUtime=0.05 cores=0,2,4,6
/proc/1361/stat : 1361 (java) S 1359 1359 17093 0 -1 1077944320 4612 0 0 0 4 1 0 0 20 0 14 0 64465585 14241079296 5166 18446744073709551615 4194304 4196468 140731635228512 140731635211056 140216024256247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
/proc/1361/statm: 3476826 5166 2558 1 0 3466323 0
[pid=1361/tid=1362] ppid=1359 vsize=13907304 memory=9124443767561732153 CPUtime=0.04 cores=0,2,4,6
/proc/1361/task/1362/stat : 1362 (java) D 1359 1359 17093 0 -1 4202560 2789 0 0 0 4 0 0 0 20 0 14 0 64465585 14241079296 5166 18446744073709551615 4194304 4196468 140731635228512 140216028493728 140216024278269 0 4 1 16800974 18446744071580418449 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1363] ppid=1359 vsize=13907304 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1363/stat : 1363 (java) S 1359 1359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64465586 14241079296 5166 18446744073709551615 4194304 4196468 140731635228512 140215987362832 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1364] ppid=1359 vsize=13907304 memory=140416752338560 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1364/stat : 1364 (java) S 1359 1359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64465586 14241079296 5166 18446744073709551615 4194304 4196468 140731635228512 140215622909072 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1365] ppid=1359 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1365/stat : 1365 (java) S 1359 1359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 64465586 14241079296 5166 18446744073709551615 4194304 4196468 140731635228512 140215621856016 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1366] ppid=1359 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1366/stat : 1366 (java) S 1359 1359 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64465586 14241079296 5166 18446744073709551615 4194304 4196468 140731635228512 140215620803472 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1367] ppid=1359 vsize=13907304 memory=140416752338560 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1367/stat : 1367 (java) S 1359 1359 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 64465587 14241079296 5166 18446744073709551615 4194304 4196468 140731635228512 140214941063408 140216024267394 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1368] ppid=1359 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1368/stat : 1368 (java) S 1359 1359 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 64465588 14241079296 5166 18446744073709551615 4194304 4196468 140731635228512 140214940009632 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1369] ppid=1359 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1369/stat : 1369 (java) S 1359 1359 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 64465588 14241079296 5166 18446744073709551615 4194304 4196468 140731635228512 140214938956528 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1370] ppid=1359 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1370/stat : 1370 (java) S 1359 1359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64465590 14241079296 5166 18446744073709551615 4194304 4196468 140731635228512 140214937905104 140216024274843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1371] ppid=1359 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1371/stat : 1371 (java) S 1359 1359 17093 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 14 0 64465590 14241079296 5166 18446744073709551615 4194304 4196468 140731635228512 140214936853232 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1372] ppid=1359 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1372/stat : 1372 (java) S 1359 1359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64465590 14241079296 5166 18446744073709551615 4194304 4196468 140731635228512 140214935800688 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1373] ppid=1359 vsize=13907304 memory=140416752338560 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1373/stat : 1373 (java) S 1359 1359 17093 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 14 0 64465590 14241079296 5166 18446744073709551615 4194304 4196468 140731635228512 140214934747632 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1374] ppid=1359 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1374/stat : 1374 (java) S 1359 1359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 64465591 14241079296 5166 18446744073709551615 4194304 4196468 140731635228512 140214933695328 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22040 KiB
[startup+0.317023 s]*
/proc/loadavg: 1.86 1.97 1.95 5/211 1376
/proc/meminfo: memFree=31365788/32770624 swapFree=67108860/67108860
[pid=1359] ppid=1356 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1359/stat : 1359 (xcsp3-exec) S 1356 1359 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64465574 9740288 344 18446744073709551615 4194304 5098028 140729776655136 140729776653240 140292311179900 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 7667712 140729776656766 140729776656970 140729776656970 140729776660459 0
/proc/1359/statm: 2378 344 289 221 0 87 0
[pid=1361] ppid=1359 vsize=13974352 memory=31564 CPUtime=0.21 cores=0,2,4,6
/proc/1361/stat : 1361 (java) S 1359 1359 17093 0 -1 1077944320 6341 0 0 0 19 2 0 0 20 0 15 0 64465585 14309736448 7891 18446744073709551615 4194304 4196468 140731635228512 140731635211056 140216024256247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
/proc/1361/statm: 3493588 7891 2972 1 0 3482964 0
[pid=1361/tid=1362] ppid=1359 vsize=13974352 memory=29678448712876256 CPUtime=0.13 cores=0,2,4,6
/proc/1361/task/1362/stat : 1362 (java) R 1359 1359 17093 0 -1 4202560 3603 0 0 0 12 1 0 0 20 0 15 0 64465585 14309736448 7956 18446744073709551615 4194304 4196468 140731635228512 140216028494096 140216008336734 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1363] ppid=1359 vsize=13974352 memory=4294967602 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1363/stat : 1363 (java) S 1359 1359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64465586 14309736448 7956 18446744073709551615 4194304 4196468 140731635228512 140215987362832 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1364] ppid=1359 vsize=13974352 memory=140416752356767 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1364/stat : 1364 (java) S 1359 1359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64465586 14309736448 7956 18446744073709551615 4194304 4196468 140731635228512 140215622909072 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1365] ppid=1359 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1365/stat : 1365 (java) S 1359 1359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64465586 14309736448 7956 18446744073709551615 4194304 4196468 140731635228512 140215621856016 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1366] ppid=1359 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1366/stat : 1366 (java) S 1359 1359 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64465586 14309736448 7956 18446744073709551615 4194304 4196468 140731635228512 140215620803472 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1367] ppid=1359 vsize=13974352 memory=140416752338560 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1367/stat : 1367 (java) S 1359 1359 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64465587 14309736448 7956 18446744073709551615 4194304 4196468 140731635228512 140214941063408 140216024267394 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1368] ppid=1359 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1368/stat : 1368 (java) S 1359 1359 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64465588 14309736448 7956 18446744073709551615 4194304 4196468 140731635228512 140214940009632 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1369] ppid=1359 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1369/stat : 1369 (java) S 1359 1359 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64465588 14309736448 7956 18446744073709551615 4194304 4196468 140731635228512 140214938956528 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1370] ppid=1359 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1370/stat : 1370 (java) S 1359 1359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64465590 14309736448 7956 18446744073709551615 4194304 4196468 140731635228512 140214937905104 140216024274843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1371] ppid=1359 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1361/task/1371/stat : 1371 (java) S 1359 1359 17093 0 -1 1077944384 681 0 0 0 1 0 0 0 20 0 15 0 64465590 14309736448 7956 18446744073709551615 4194304 4196468 140731635228512 140214936853232 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1372] ppid=1359 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/1361/task/1372/stat : 1372 (java) S 1359 1359 17093 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 15 0 64465590 14309736448 7956 18446744073709551615 4194304 4196468 140731635228512 140214935800688 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1373] ppid=1359 vsize=13974352 memory=140416752338560 CPUtime=0.05 cores=0,2,4,6
/proc/1361/task/1373/stat : 1373 (java) R 1359 1359 17093 0 -1 4202560 710 0 0 0 5 0 0 0 20 0 15 0 64465590 14309736448 7956 18446744073709551615 4194304 4196468 140731635228512 140214934747632 140216008336734 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1374] ppid=1359 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1374/stat : 1374 (java) S 1359 1359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64465591 14309736448 7956 18446744073709551615 4194304 4196468 140731635228512 140214933695328 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1376] ppid=1359 vsize=13974352 memory=140416752338560 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1376/stat : 1376 (java) S 1359 1359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64465598 14309736448 7956 18446744073709551615 4194304 4196468 140731635228512 140214932642352 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32940 KiB
[startup+0.701524 s]
/proc/loadavg: 1.86 1.97 1.95 4/211 1376
/proc/meminfo: memFree=31348356/32770624 swapFree=67108860/67108860
[pid=1359] ppid=1356 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1359/stat : 1359 (xcsp3-exec) S 1356 1359 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64465574 9740288 344 18446744073709551615 4194304 5098028 140729776655136 140729776653240 140292311179900 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 7667712 140729776656766 140729776656970 140729776656970 140729776660459 0
/proc/1359/statm: 2378 344 289 221 0 87 0
[pid=1361] ppid=1359 vsize=13978684 memory=69336 CPUtime=1.12 cores=0,2,4,6
/proc/1361/stat : 1361 (java) S 1359 1359 17093 0 -1 1077944320 11996 0 0 0 107 5 0 0 20 0 15 0 64465585 14314172416 17334 18446744073709551615 4194304 4196468 140731635228512 140731635211056 140216024256247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
/proc/1361/statm: 3494671 17334 3163 1 0 3482964 0
[pid=1361/tid=1362] ppid=1359 vsize=13978684 memory=6442213876473817182 CPUtime=0.5 cores=0,2,4,6
/proc/1361/task/1362/stat : 1362 (java) R 1359 1359 17093 0 -1 4202560 7960 0 0 0 47 3 0 0 20 0 15 0 64465585 14314172416 17334 18446744073709551615 4194304 4196468 140731635228512 140216028494112 140216008336734 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1363] ppid=1359 vsize=13978684 memory=7013349711127276652 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1363/stat : 1363 (java) S 1359 1359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64465586 14314172416 17334 18446744073709551615 4194304 4196468 140731635228512 140215987362832 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1364] ppid=1359 vsize=13978684 memory=7236547281622689387 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1364/stat : 1364 (java) S 1359 1359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64465586 14314172416 17334 18446744073709551615 4194304 4196468 140731635228512 140215622909072 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1365] ppid=1359 vsize=13978684 memory=8514726395715218844 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1365/stat : 1365 (java) S 1359 1359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64465586 14314172416 17334 18446744073709551615 4194304 4196468 140731635228512 140215621856016 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1366] ppid=1359 vsize=13978684 memory=8175850200296204875 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1366/stat : 1366 (java) S 1359 1359 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64465586 14314172416 17334 18446744073709551615 4194304 4196468 140731635228512 140215620803472 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1367] ppid=1359 vsize=13978684 memory=7679937539659563834 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1367/stat : 1367 (java) S 1359 1359 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64465587 14314172416 17334 18446744073709551615 4194304 4196468 140731635228512 140214941063408 140216024267394 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1368] ppid=1359 vsize=13978684 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1368/stat : 1368 (java) S 1359 1359 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64465588 14314172416 17334 18446744073709551615 4194304 4196468 140731635228512 140214940009632 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1369] ppid=1359 vsize=13978684 memory=6945782492362334265 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1369/stat : 1369 (java) S 1359 1359 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64465588 14314172416 17334 18446744073709551615 4194304 4196468 140731635228512 140214938956528 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1370] ppid=1359 vsize=13978684 memory=-7595718148000617580 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1370/stat : 1370 (java) S 1359 1359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64465590 14314172416 17334 18446744073709551615 4194304 4196468 140731635228512 140214937905104 140216024274843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1371] ppid=1359 vsize=13978684 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/1361/task/1371/stat : 1371 (java) R 1359 1359 17093 0 -1 4202560 1144 0 0 0 18 0 0 0 20 0 15 0 64465590 14314172416 17334 18446744073709551615 4194304 4196468 140731635228512 140214936840464 140216003488990 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1372] ppid=1359 vsize=13978684 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/1361/task/1372/stat : 1372 (java) R 1359 1359 17093 0 -1 4202560 391 0 0 0 16 0 0 0 20 0 15 0 64465590 14314172416 17334 18446744073709551615 4194304 4196468 140731635228512 140214935781280 140216003489643 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1373] ppid=1359 vsize=13978684 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/1361/task/1373/stat : 1373 (java) S 1359 1359 17093 0 -1 1077944384 1196 0 0 0 25 0 0 0 20 0 15 0 64465590 14314172416 17334 18446744073709551615 4194304 4196468 140731635228512 140214934747632 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1374] ppid=1359 vsize=13978684 memory=18889266171726 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1374/stat : 1374 (java) S 1359 1359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64465591 14314172416 17334 18446744073709551615 4194304 4196468 140731635228512 140214933695328 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1376] ppid=1359 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1376/stat : 1376 (java) S 1359 1359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64465598 14314172416 17334 18446744073709551615 4194304 4196468 140731635228512 140214932642352 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 70712 KiB
[startup+1.50082 s]
/proc/loadavg: 1.86 1.97 1.95 4/211 1376
/proc/meminfo: memFree=31314632/32770624 swapFree=67108860/67108860
[pid=1359] ppid=1356 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1359/stat : 1359 (xcsp3-exec) S 1356 1359 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64465574 9740288 344 18446744073709551615 4194304 5098028 140729776655136 140729776653240 140292311179900 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 7667712 140729776656766 140729776656970 140729776656970 140729776660459 0
/proc/1359/statm: 2378 344 289 221 0 87 0
[pid=1361] ppid=1359 vsize=13980732 memory=98388 CPUtime=2.62 cores=0,2,4,6
/proc/1361/stat : 1361 (java) S 1359 1359 17093 0 -1 1077944320 13983 0 0 0 256 6 0 0 20 0 15 0 64465585 14316269568 24597 18446744073709551615 4194304 4196468 140731635228512 140731635211056 140216024256247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
/proc/1361/statm: 3495183 24597 3185 1 0 3483476 0
[pid=1361/tid=1362] ppid=1359 vsize=13980732 memory=1376 CPUtime=1.3 cores=0,2,4,6
/proc/1361/task/1362/stat : 1362 (java) R 1359 1359 17093 0 -1 4202560 8601 0 0 0 126 4 0 0 20 0 15 0 64465585 14316269568 24597 18446744073709551615 4194304 4196468 140731635228512 140216028494432 140215668124172 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1363] ppid=1359 vsize=13980732 memory=85760 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1363/stat : 1363 (java) S 1359 1359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64465586 14316269568 24597 18446744073709551615 4194304 4196468 140731635228512 140215987362832 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1364] ppid=1359 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1364/stat : 1364 (java) S 1359 1359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64465586 14316269568 24597 18446744073709551615 4194304 4196468 140731635228512 140215622909072 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1365] ppid=1359 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1365/stat : 1365 (java) S 1359 1359 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64465586 14316269568 24597 18446744073709551615 4194304 4196468 140731635228512 140215621856016 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1366] ppid=1359 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1366/stat : 1366 (java) S 1359 1359 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64465586 14316269568 24597 18446744073709551615 4194304 4196468 140731635228512 140215620803472 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1367] ppid=1359 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1367/stat : 1367 (java) S 1359 1359 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64465587 14316269568 24597 18446744073709551615 4194304 4196468 140731635228512 140214941063408 140216024267394 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1368] ppid=1359 vsize=13980732 memory=11044 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1368/stat : 1368 (java) S 1359 1359 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64465588 14316269568 24597 18446744073709551615 4194304 4196468 140731635228512 140214940009632 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1369] ppid=1359 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1369/stat : 1369 (java) S 1359 1359 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64465588 14316269568 24597 18446744073709551615 4194304 4196468 140731635228512 140214938956528 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1370] ppid=1359 vsize=13980732 memory=6442213876473817182 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1370/stat : 1370 (java) S 1359 1359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64465590 14316269568 24597 18446744073709551615 4194304 4196468 140731635228512 140214937905104 140216024274843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1371] ppid=1359 vsize=13980732 memory=7739267014569911660 CPUtime=0.47 cores=0,2,4,6
/proc/1361/task/1371/stat : 1371 (java) S 1359 1359 17093 0 -1 1077944384 1594 0 0 0 47 0 0 0 20 0 15 0 64465590 14316269568 24597 18446744073709551615 4194304 4196468 140731635228512 140214936853232 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1372] ppid=1359 vsize=13980732 memory=7306365161515476326 CPUtime=0.48 cores=0,2,4,6
/proc/1361/task/1372/stat : 1372 (java) S 1359 1359 17093 0 -1 1077944384 956 0 0 0 48 0 0 0 20 0 15 0 64465590 14316269568 24597 18446744073709551615 4194304 4196468 140731635228512 140214935800688 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1373] ppid=1359 vsize=13980732 memory=5787222713669608536 CPUtime=0.34 cores=0,2,4,6
/proc/1361/task/1373/stat : 1373 (java) S 1359 1359 17093 0 -1 1077944384 1524 0 0 0 34 0 0 0 20 0 15 0 64465590 14316269568 24597 18446744073709551615 4194304 4196468 140731635228512 140214934747632 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1374] ppid=1359 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1374/stat : 1374 (java) S 1359 1359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64465591 14316269568 24597 18446744073709551615 4194304 4196468 140731635228512 140214933695328 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1376] ppid=1359 vsize=13980732 memory=8243122710528917583 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1376/stat : 1376 (java) S 1359 1359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64465598 14316269568 24597 18446744073709551615 4194304 4196468 140731635228512 140214932642352 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 13990244 KiB
################
# More data... #
################
/proc/1361/task/1369/stat : 1369 (java) S 1359 1359 17093 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 64465588 14316269568 46430 18446744073709551615 4194304 4196468 140731635228512 140214938956544 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1370] ppid=1359 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1370/stat : 1370 (java) S 1359 1359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64465590 14316269568 46430 18446744073709551615 4194304 4196468 140731635228512 140214937905104 140216024274843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1371] ppid=1359 vsize=13980732 memory=2764 CPUtime=1.17 cores=0,2,4,6
/proc/1361/task/1371/stat : 1371 (java) S 1359 1359 17093 0 -1 1077944384 5910 0 0 0 116 1 0 0 20 0 15 0 64465590 14316269568 46430 18446744073709551615 4194304 4196468 140731635228512 140214936853232 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1372] ppid=1359 vsize=13980732 memory=1376 CPUtime=1.44 cores=0,2,4,6
/proc/1361/task/1372/stat : 1372 (java) S 1359 1359 17093 0 -1 1077944384 8120 0 0 0 143 1 0 0 20 0 15 0 64465590 14316269568 46430 18446744073709551615 4194304 4196468 140731635228512 140214935800688 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1373] ppid=1359 vsize=13980732 memory=1376 CPUtime=0.48 cores=0,2,4,6
/proc/1361/task/1373/stat : 1373 (java) S 1359 1359 17093 0 -1 1077944384 5005 0 0 0 47 1 0 0 20 0 15 0 64465590 14316269568 46430 18446744073709551615 4194304 4196468 140731635228512 140214934747632 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1374] ppid=1359 vsize=13980732 memory=188800 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1374/stat : 1374 (java) S 1359 1359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64465591 14316269568 46430 18446744073709551615 4194304 4196468 140731635228512 140214933695328 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1376] ppid=1359 vsize=13980732 memory=355092 CPUtime=0.03 cores=0,2,4,6
/proc/1361/task/1376/stat : 1376 (java) S 1359 1359 17093 0 -1 1077944384 389 0 0 0 2 1 0 0 20 0 15 0 64465598 14316269568 46430 18446744073709551615 4194304 4196468 140731635228512 140214932642352 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
Current children cumulated CPU time: 105.36 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 187096 KiB
[startup+162.301 s]
/proc/loadavg: 2.33 2.15 2.02 3/214 1396
/proc/meminfo: memFree=31058592/32770624 swapFree=67108860/67108860
[pid=1359] ppid=1356 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1359/stat : 1359 (xcsp3-exec) S 1356 1359 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64465574 9740288 344 18446744073709551615 4194304 5098028 140729776655136 140729776653240 140292311179900 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 7667712 140729776656766 140729776656970 140729776656970 140729776660459 0
/proc/1359/statm: 2378 344 289 221 0 87 0
[pid=1361] ppid=1359 vsize=13980732 memory=157572 CPUtime=165.5 cores=0,2,4,6
/proc/1361/stat : 1361 (java) S 1359 1359 17093 0 -1 1077944320 42524 0 0 0 16534 16 0 0 20 0 15 0 64465585 14316269568 39393 18446744073709551615 4194304 4196468 140731635228512 140731635211056 140216024256247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
/proc/1361/statm: 3495183 39393 3232 1 0 3483476 0
[pid=1361/tid=1362] ppid=1359 vsize=13980732 memory=160136 CPUtime=161.99 cores=0,2,4,6
/proc/1361/task/1362/stat : 1362 (java) R 1359 1359 17093 0 -1 4202560 13503 0 0 0 16193 6 0 0 20 0 15 0 64465585 14316269568 39393 18446744073709551615 4194304 4196468 140731635228512 140216028495616 140215670184481 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1363] ppid=1359 vsize=13980732 memory=160136 CPUtime=0.04 cores=0,2,4,6
/proc/1361/task/1363/stat : 1363 (java) S 1359 1359 17093 0 -1 1077944384 800 0 0 0 3 1 0 0 20 0 15 0 64465586 14316269568 39393 18446744073709551615 4194304 4196468 140731635228512 140215987362832 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1364] ppid=1359 vsize=13980732 memory=157572 CPUtime=0.04 cores=0,2,4,6
/proc/1361/task/1364/stat : 1364 (java) S 1359 1359 17093 0 -1 1077944384 688 0 0 0 3 1 0 0 20 0 15 0 64465586 14316269568 39393 18446744073709551615 4194304 4196468 140731635228512 140215622909072 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1365] ppid=1359 vsize=13980732 memory=1376 CPUtime=0.04 cores=0,2,4,6
/proc/1361/task/1365/stat : 1365 (java) S 1359 1359 17093 0 -1 1077944384 706 0 0 0 3 1 0 0 20 0 15 0 64465586 14316269568 39393 18446744073709551615 4194304 4196468 140731635228512 140215621856016 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1366] ppid=1359 vsize=13980732 memory=1376 CPUtime=0.04 cores=0,2,4,6
/proc/1361/task/1366/stat : 1366 (java) S 1359 1359 17093 0 -1 1077944384 1803 0 0 0 3 1 0 0 20 0 15 0 64465586 14316269568 39393 18446744073709551615 4194304 4196468 140731635228512 140215620803472 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1367] ppid=1359 vsize=13980732 memory=162700 CPUtime=0.02 cores=0,2,4,6
/proc/1361/task/1367/stat : 1367 (java) S 1359 1359 17093 0 -1 1077944384 1236 0 0 0 2 0 0 0 20 0 15 0 64465587 14316269568 39393 18446744073709551615 4194304 4196468 140731635228512 140214941063408 140216024267394 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1368] ppid=1359 vsize=13980732 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1368/stat : 1368 (java) S 1359 1359 17093 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64465588 14316269568 39393 18446744073709551615 4194304 4196468 140731635228512 140214940009696 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1369] ppid=1359 vsize=13980732 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1369/stat : 1369 (java) S 1359 1359 17093 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 64465588 14316269568 39393 18446744073709551615 4194304 4196468 140731635228512 140214938956544 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1370] ppid=1359 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1370/stat : 1370 (java) S 1359 1359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64465590 14316269568 39393 18446744073709551615 4194304 4196468 140731635228512 140214937905104 140216024274843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1371] ppid=1359 vsize=13980732 memory=3 CPUtime=1.24 cores=0,2,4,6
/proc/1361/task/1371/stat : 1371 (java) S 1359 1359 17093 0 -1 1077944384 7357 0 0 0 123 1 0 0 20 0 15 0 64465590 14316269568 39393 18446744073709551615 4194304 4196468 140731635228512 140214936853232 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1372] ppid=1359 vsize=13980732 memory=4028 CPUtime=1.49 cores=0,2,4,6
/proc/1361/task/1372/stat : 1372 (java) S 1359 1359 17093 0 -1 1077944384 9406 0 0 0 148 1 0 0 20 0 15 0 64465590 14316269568 39393 18446744073709551615 4194304 4196468 140731635228512 140214935800688 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1373] ppid=1359 vsize=13980732 memory=36412 CPUtime=0.48 cores=0,2,4,6
/proc/1361/task/1373/stat : 1373 (java) S 1359 1359 17093 0 -1 1077944384 5165 0 0 0 47 1 0 0 20 0 15 0 64465590 14316269568 39393 18446744073709551615 4194304 4196468 140731635228512 140214934747632 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1374] ppid=1359 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1374/stat : 1374 (java) S 1359 1359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64465591 14316269568 39393 18446744073709551615 4194304 4196468 140731635228512 140214933695328 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1376] ppid=1359 vsize=13980732 memory=157572 CPUtime=0.03 cores=0,2,4,6
/proc/1361/task/1376/stat : 1376 (java) S 1359 1359 17093 0 -1 1077944384 518 0 0 0 2 1 0 0 20 0 15 0 64465598 14316269568 39393 18446744073709551615 4194304 4196468 140731635228512 140214932642352 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
Current children cumulated CPU time: 165.5 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 158948 KiB
[startup+222.301 s]
/proc/loadavg: 2.02 2.09 2.01 3/214 1508
/proc/meminfo: memFree=31255944/32770624 swapFree=67108860/67108860
[pid=1359] ppid=1356 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1359/stat : 1359 (xcsp3-exec) S 1356 1359 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64465574 9740288 344 18446744073709551615 4194304 5098028 140729776655136 140729776653240 140292311179900 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 7667712 140729776656766 140729776656970 140729776656970 140729776660459 0
/proc/1359/statm: 2378 344 289 221 0 87 0
[pid=1361] ppid=1359 vsize=13980732 memory=132436 CPUtime=225.56 cores=0,2,4,6
/proc/1361/stat : 1361 (java) S 1359 1359 17093 0 -1 1077944320 44381 0 0 0 22539 17 0 0 20 0 15 0 64465585 14316269568 33109 18446744073709551615 4194304 4196468 140731635228512 140731635211056 140216024256247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
/proc/1361/statm: 3495183 33109 3232 1 0 3483476 0
[pid=1361/tid=1362] ppid=1359 vsize=13980732 memory=132436 CPUtime=221.95 cores=0,2,4,6
/proc/1361/task/1362/stat : 1362 (java) R 1359 1359 17093 0 -1 4202560 13804 0 0 0 22189 6 0 0 20 0 15 0 64465585 14316269568 33109 18446744073709551615 4194304 4196468 140731635228512 140216028495184 140215669443090 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1363] ppid=1359 vsize=13980732 memory=132952 CPUtime=0.05 cores=0,2,4,6
/proc/1361/task/1363/stat : 1363 (java) S 1359 1359 17093 0 -1 1077944384 810 0 0 0 4 1 0 0 20 0 15 0 64465586 14316269568 33109 18446744073709551615 4194304 4196468 140731635228512 140215987362832 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1364] ppid=1359 vsize=13980732 memory=132952 CPUtime=0.05 cores=0,2,4,6
/proc/1361/task/1364/stat : 1364 (java) S 1359 1359 17093 0 -1 1077944384 711 0 0 0 4 1 0 0 20 0 15 0 64465586 14316269568 33109 18446744073709551615 4194304 4196468 140731635228512 140215622909072 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1365] ppid=1359 vsize=13980732 memory=1376 CPUtime=0.05 cores=0,2,4,6
/proc/1361/task/1365/stat : 1365 (java) S 1359 1359 17093 0 -1 1077944384 813 0 0 0 4 1 0 0 20 0 15 0 64465586 14316269568 33109 18446744073709551615 4194304 4196468 140731635228512 140215621856016 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1366] ppid=1359 vsize=13980732 memory=132436 CPUtime=0.05 cores=0,2,4,6
/proc/1361/task/1366/stat : 1366 (java) S 1359 1359 17093 0 -1 1077944384 1832 0 0 0 4 1 0 0 20 0 15 0 64465586 14316269568 33109 18446744073709551615 4194304 4196468 140731635228512 140215620803472 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1367] ppid=1359 vsize=13980732 memory=1376 CPUtime=0.03 cores=0,2,4,6
/proc/1361/task/1367/stat : 1367 (java) S 1359 1359 17093 0 -1 1077944384 1465 0 0 0 3 0 0 0 20 0 15 0 64465587 14316269568 33109 18446744073709551615 4194304 4196468 140731635228512 140214941063408 140216024267394 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1368] ppid=1359 vsize=13980732 memory=136028 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1368/stat : 1368 (java) S 1359 1359 17093 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64465588 14316269568 33109 18446744073709551615 4194304 4196468 140731635228512 140214940009696 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1369] ppid=1359 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1369/stat : 1369 (java) S 1359 1359 17093 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 64465588 14316269568 33109 18446744073709551615 4194304 4196468 140731635228512 140214938956544 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1370] ppid=1359 vsize=13980732 memory=134488 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1370/stat : 1370 (java) S 1359 1359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64465590 14316269568 33109 18446744073709551615 4194304 4196468 140731635228512 140214937905104 140216024274843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1371] ppid=1359 vsize=13980732 memory=1376 CPUtime=1.27 cores=0,2,4,6
/proc/1361/task/1371/stat : 1371 (java) S 1359 1359 17093 0 -1 1077944384 8013 0 0 0 126 1 0 0 20 0 15 0 64465590 14316269568 33109 18446744073709551615 4194304 4196468 140731635228512 140214936853232 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1372] ppid=1359 vsize=13980732 memory=1376 CPUtime=1.49 cores=0,2,4,6
/proc/1361/task/1372/stat : 1372 (java) S 1359 1359 17093 0 -1 1077944384 9406 0 0 0 148 1 0 0 20 0 15 0 64465590 14316269568 33109 18446744073709551615 4194304 4196468 140731635228512 140214935800688 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1373] ppid=1359 vsize=13980732 memory=1376 CPUtime=0.49 cores=0,2,4,6
/proc/1361/task/1373/stat : 1373 (java) S 1359 1359 17093 0 -1 1077944384 5635 0 0 0 48 1 0 0 20 0 15 0 64465590 14316269568 33109 18446744073709551615 4194304 4196468 140731635228512 140214934747632 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1374] ppid=1359 vsize=13980732 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1374/stat : 1374 (java) S 1359 1359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64465591 14316269568 33109 18446744073709551615 4194304 4196468 140731635228512 140214933695328 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1376] ppid=1359 vsize=13980732 memory=36432 CPUtime=0.05 cores=0,2,4,6
/proc/1361/task/1376/stat : 1376 (java) S 1359 1359 17093 0 -1 1077944384 550 0 0 0 3 2 0 0 20 0 15 0 64465598 14316269568 33109 18446744073709551615 4194304 4196468 140731635228512 140214932642352 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
Current children cumulated CPU time: 225.56 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 133812 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.87 2.05 2.00 3/214 1509
/proc/meminfo: memFree=31257684/32770624 swapFree=67108860/67108860
[pid=1359] ppid=1356 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/1359/stat : 1359 (xcsp3-exec) S 1356 1359 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64465574 9740288 344 18446744073709551615 4194304 5098028 140729776655136 140729776653240 140292311179900 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 7667712 140729776656766 140729776656970 140729776656970 140729776660459 0
/proc/1359/statm: 2378 344 289 221 0 87 0
[pid=1361] ppid=1359 vsize=13980732 memory=129356 CPUtime=243.29 cores=0,2,4,6
/proc/1361/stat : 1361 (java) S 1359 1359 17093 0 -1 1077944320 44391 0 0 0 24311 18 0 0 20 0 15 0 64465585 14316269568 32339 18446744073709551615 4194304 4196468 140731635228512 140731635211056 140216024256247 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
/proc/1361/statm: 3495183 32339 3232 1 0 3483476 0
[pid=1361/tid=1362] ppid=1359 vsize=13980732 memory=796 CPUtime=239.65 cores=0,2,4,6
/proc/1361/task/1362/stat : 1362 (java) R 1359 1359 17093 0 -1 4202560 13810 0 0 0 23959 6 0 0 20 0 15 0 64465585 14316269568 32339 18446744073709551615 4194304 4196468 140731635228512 140216028495616 140215668232209 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1363] ppid=1359 vsize=13980732 memory=10960 CPUtime=0.05 cores=0,2,4,6
/proc/1361/task/1363/stat : 1363 (java) S 1359 1359 17093 0 -1 1077944384 811 0 0 0 4 1 0 0 20 0 15 0 64465586 14316269568 32339 18446744073709551615 4194304 4196468 140731635228512 140215987362832 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1364] ppid=1359 vsize=13980732 memory=15876 CPUtime=0.05 cores=0,2,4,6
/proc/1361/task/1364/stat : 1364 (java) S 1359 1359 17093 0 -1 1077944384 711 0 0 0 4 1 0 0 20 0 15 0 64465586 14316269568 32339 18446744073709551615 4194304 4196468 140731635228512 140215622909072 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1365] ppid=1359 vsize=13980732 memory=4126316290023845779 CPUtime=0.05 cores=0,2,4,6
/proc/1361/task/1365/stat : 1365 (java) S 1359 1359 17093 0 -1 1077944384 814 0 0 0 4 1 0 0 20 0 15 0 64465586 14316269568 32339 18446744073709551615 4194304 4196468 140731635228512 140215621856016 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1366] ppid=1359 vsize=13980732 memory=129356 CPUtime=0.05 cores=0,2,4,6
/proc/1361/task/1366/stat : 1366 (java) S 1359 1359 17093 0 -1 1077944384 1834 0 0 0 4 1 0 0 20 0 15 0 64465586 14316269568 32339 18446744073709551615 4194304 4196468 140731635228512 140215620803472 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1367] ppid=1359 vsize=13980732 memory=196428 CPUtime=0.03 cores=0,2,4,6
/proc/1361/task/1367/stat : 1367 (java) S 1359 1359 17093 0 -1 1077944384 1465 0 0 0 3 0 0 0 20 0 15 0 64465587 14316269568 32339 18446744073709551615 4194304 4196468 140731635228512 140214941063408 140216024267394 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1368] ppid=1359 vsize=13980732 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1368/stat : 1368 (java) S 1359 1359 17093 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64465588 14316269568 32339 18446744073709551615 4194304 4196468 140731635228512 140214940009696 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1369] ppid=1359 vsize=13980732 memory=36432 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1369/stat : 1369 (java) S 1359 1359 17093 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 64465588 14316269568 32339 18446744073709551615 4194304 4196468 140731635228512 140214938956544 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1370] ppid=1359 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1370/stat : 1370 (java) S 1359 1359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64465590 14316269568 32339 18446744073709551615 4194304 4196468 140731635228512 140214937905104 140216024274843 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1371] ppid=1359 vsize=13980732 memory=2420 CPUtime=1.27 cores=0,2,4,6
/proc/1361/task/1371/stat : 1371 (java) S 1359 1359 17093 0 -1 1077944384 8013 0 0 0 126 1 0 0 20 0 15 0 64465590 14316269568 32339 18446744073709551615 4194304 4196468 140731635228512 140214936853232 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1372] ppid=1359 vsize=13980732 memory=1732 CPUtime=1.49 cores=0,2,4,6
/proc/1361/task/1372/stat : 1372 (java) S 1359 1359 17093 0 -1 1077944384 9406 0 0 0 148 1 0 0 20 0 15 0 64465590 14316269568 32339 18446744073709551615 4194304 4196468 140731635228512 140214935800688 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1373] ppid=1359 vsize=13980732 memory=5788 CPUtime=0.49 cores=0,2,4,6
/proc/1361/task/1373/stat : 1373 (java) S 1359 1359 17093 0 -1 1077944384 5635 0 0 0 48 1 0 0 20 0 15 0 64465590 14316269568 32339 18446744073709551615 4194304 4196468 140731635228512 140214934747632 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1374] ppid=1359 vsize=13980732 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/1361/task/1374/stat : 1374 (java) S 1359 1359 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64465591 14316269568 32339 18446744073709551615 4194304 4196468 140731635228512 140214933695328 140216024266453 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
[pid=1361/tid=1376] ppid=1359 vsize=13980732 memory=20552 CPUtime=0.07 cores=0,2,4,6
/proc/1361/task/1376/stat : 1376 (java) S 1359 1359 17093 0 -1 1077944384 550 0 0 0 4 3 0 0 20 0 15 0 64465598 14316269568 32339 18446744073709551615 4194304 4196468 140731635228512 140214932642352 140216024267394 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21356544 140731635233207 140731635233382 140731635233382 140731635236815 0
Current children cumulated CPU time: 243.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 130732 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 1359 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001871 s
[startup+240.022 s]
# the end of solver process 1361 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.127 s, system=0.187971 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): 240.022
CPU time (s): 243.315
CPU user time (s): 243.127
CPU system time (s): 0.187971
CPU usage (%): 101.372
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 204564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.127
system time used= 0.187971
maximum resident set size= 206636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45366
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= 8342
involuntary context switches= 336
# summary of solver processes directly reported to runsolver:
# pid: 1359,1361
# total CPU time (s): 243.315
# total CPU user time (s): 243.127
# total CPU system time (s): 0.187971
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.28852 second user time and 2.32201 second system time
The end