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-4254360-1501616254/watcher-4254360-1501616254 -o /tmp/evaluation-result-4254360-1501616254/solver-4254360-1501616254 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501610539-18991 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2143709324 HOME/instance-4254360-1501616254.xml
pid=23578
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.00 1.96 3/199 23581
/proc/meminfo: memFree=31450680/32770624 swapFree=0/210112
[pid=23581] ppid=23578 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/23581/stat : 23581 (runsolver) D 23578 23581 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 61278885 24240128 106 18446744073709551615 4194304 4338465 140730205342640 140730205340280 139856367600343 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 34799616 140730205343835 140730205344325 140730205344325 140730205347786 0
/proc/23581/statm: 5918 106 53 36 0 2156 0
[startup+0.100172 s]
/proc/loadavg: 2.09 2.00 1.96 3/199 23581
/proc/meminfo: memFree=31450680/32770624 swapFree=0/210112
[pid=23581] ppid=23578 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23581/stat : 23581 (xcsp3-exec) S 23578 23581 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61278885 9740288 345 18446744073709551615 4194304 5098028 140721590703056 140721590701160 139842480984700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 11534336 140721590710682 140721590710886 140721590710886 140721590714347 0
/proc/23581/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200379 s]
/proc/loadavg: 2.09 2.00 1.96 3/199 23581
/proc/meminfo: memFree=31450680/32770624 swapFree=0/210112
[pid=23581] ppid=23578 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23581/stat : 23581 (xcsp3-exec) S 23578 23581 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61278885 9740288 345 18446744073709551615 4194304 5098028 140721590703056 140721590701160 139842480984700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 11534336 140721590710682 140721590710886 140721590710886 140721590714347 0
/proc/23581/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300267 s]
/proc/loadavg: 2.09 2.00 1.96 3/199 23581
/proc/meminfo: memFree=31450680/32770624 swapFree=0/210112
[pid=23581] ppid=23578 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23581/stat : 23581 (xcsp3-exec) S 23578 23581 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61278885 9740288 345 18446744073709551615 4194304 5098028 140721590703056 140721590701160 139842480984700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 11534336 140721590710682 140721590710886 140721590710886 140721590714347 0
/proc/23581/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70016 s]
/proc/loadavg: 2.09 2.00 1.96 3/199 23581
/proc/meminfo: memFree=31450680/32770624 swapFree=0/210112
[pid=23581] ppid=23578 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23581/stat : 23581 (xcsp3-exec) S 23578 23581 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61278885 9740288 345 18446744073709551615 4194304 5098028 140721590703056 140721590701160 139842480984700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 11534336 140721590710682 140721590710886 140721590710886 140721590714347 0
/proc/23581/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50071 s]
/proc/loadavg: 2.09 2.00 1.96 5/215 23597
/proc/meminfo: memFree=31391068/32770624 swapFree=0/210112
[pid=23581] ppid=23578 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23581/stat : 23581 (xcsp3-exec) S 23578 23581 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61278885 9740288 345 18446744073709551615 4194304 5098028 140721590703056 140721590701160 139842480984700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 11534336 140721590710682 140721590710886 140721590710886 140721590714347 0
/proc/23581/statm: 2378 345 289 221 0 87 0
[pid=23583] ppid=23581 vsize=13980732 CPUtime=3.73 cores=1,3,5,7
/proc/23583/stat : 23583 (java) S 23581 23581 18930 0 -1 1077944320 19767 0 0 0 368 5 0 0 20 0 15 0 61278893 14316269568 18254 18446744073709551615 4194304 4196468 140728541011824 140728540994368 139754117852919 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
/proc/23583/statm: 3495183 18254 3182 1 0 3483484 0
[pid=23583/tid=23584] ppid=23581 vsize=13980732 CPUtime=1.35 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (java) R 23581 23581 18930 0 -1 4202560 8599 0 0 0 132 3 0 0 20 0 15 0 61278893 14316269568 18254 18446744073709551615 4194304 4196468 140728541011824 139754122090960 139753759451743 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23585] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (java) S 23581 23581 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61278894 14316269568 18254 18446744073709551615 4194304 4196468 140728541011824 139754078750992 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23586] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (java) S 23581 23581 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61278894 14316269568 18254 18446744073709551615 4194304 4196468 140728541011824 139754077698448 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23587] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23587/stat : 23587 (java) S 23581 23581 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61278894 14316269568 18254 18446744073709551615 4194304 4196468 140728541011824 139754076645904 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23588] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23588/stat : 23588 (java) S 23581 23581 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61278894 14316269568 18254 18446744073709551615 4194304 4196468 140728541011824 139753714805392 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23589] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23589/stat : 23589 (java) S 23581 23581 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 61278895 14316269568 18254 18446744073709551615 4194304 4196468 140728541011824 139753034693104 139754117864066 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23590] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23590/stat : 23590 (java) S 23581 23581 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61278896 14316269568 18254 18446744073709551615 4194304 4196468 140728541011824 139753033639328 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23591] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23591/stat : 23591 (java) S 23581 23581 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61278896 14316269568 18254 18446744073709551615 4194304 4196468 140728541011824 139753032586736 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23592] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23592/stat : 23592 (java) S 23581 23581 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61278898 14316269568 18254 18446744073709551615 4194304 4196468 140728541011824 139753031535312 139754117871515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23593] ppid=23581 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/23583/task/23593/stat : 23593 (java) R 23581 23581 18930 0 -1 4202560 4236 0 0 0 101 0 0 0 20 0 15 0 61278898 14316269568 18254 18446744073709551615 4194304 4196468 140728541011824 139753030471504 139754099168016 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23594] ppid=23581 vsize=13980732 CPUtime=0.99 cores=1,3,5,7
/proc/23583/task/23594/stat : 23594 (java) R 23581 23581 18930 0 -1 4202560 3958 0 0 0 99 0 0 0 20 0 15 0 61278898 14316269568 18254 18446744073709551615 4194304 4196468 140728541011824 139753029418832 139754101263810 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23595] ppid=23581 vsize=13980732 CPUtime=0.33 cores=1,3,5,7
/proc/23583/task/23595/stat : 23595 (java) S 23581 23581 18930 0 -1 1077944384 1666 0 0 0 33 0 0 0 20 0 15 0 61278898 14316269568 18254 18446744073709551615 4194304 4196468 140728541011824 139753028376816 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23596] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23596/stat : 23596 (java) S 23581 23581 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61278898 14316269568 18254 18446744073709551615 4194304 4196468 140728541011824 139753027324512 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23597] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23597/stat : 23597 (java) S 23581 23581 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61278904 14316269568 18254 18446744073709551615 4194304 4196468 140728541011824 139753026272048 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 13990244
[startup+3.1006 s]
/proc/loadavg: 2.09 2.00 1.96 3/215 23597
/proc/meminfo: memFree=31389332/32770624 swapFree=0/210112
[pid=23581] ppid=23578 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23581/stat : 23581 (xcsp3-exec) S 23578 23581 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61278885 9740288 345 18446744073709551615 4194304 5098028 140721590703056 140721590701160 139842480984700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 11534336 140721590710682 140721590710886 140721590710886 140721590714347 0
/proc/23581/statm: 2378 345 289 221 0 87 0
[pid=23583] ppid=23581 vsize=13980732 CPUtime=5.71 cores=1,3,5,7
/proc/23583/stat : 23583 (java) S 23581 23581 18930 0 -1 1077944320 20823 0 0 0 566 5 0 0 20 0 15 0 61278893 14316269568 18934 18446744073709551615 4194304 4196468 140728541011824 140728540994368 139754117852919 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
/proc/23583/statm: 3495183 18934 3192 1 0 3483484 0
[pid=23583/tid=23584] ppid=23581 vsize=13980732 CPUtime=2.95 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (java) R 23581 23581 18930 0 -1 4202560 9011 0 0 0 292 3 0 0 20 0 15 0 61278893 14316269568 18934 18446744073709551615 4194304 4196468 140728541011824 139754122090136 139753759512561 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23585] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (java) S 23581 23581 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61278894 14316269568 18934 18446744073709551615 4194304 4196468 140728541011824 139754078750992 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23586] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (java) S 23581 23581 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61278894 14316269568 18934 18446744073709551615 4194304 4196468 140728541011824 139754077698448 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23587] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23587/stat : 23587 (java) S 23581 23581 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61278894 14316269568 18934 18446744073709551615 4194304 4196468 140728541011824 139754076645904 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23588] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23588/stat : 23588 (java) S 23581 23581 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61278894 14316269568 18934 18446744073709551615 4194304 4196468 140728541011824 139753714805392 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23589] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23589/stat : 23589 (java) S 23581 23581 18930 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 61278895 14316269568 18934 18446744073709551615 4194304 4196468 140728541011824 139753034693104 139754117864066 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23590] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23590/stat : 23590 (java) S 23581 23581 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61278896 14316269568 18934 18446744073709551615 4194304 4196468 140728541011824 139753033639328 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23591] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23591/stat : 23591 (java) S 23581 23581 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61278896 14316269568 18934 18446744073709551615 4194304 4196468 140728541011824 139753032586736 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23592] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23592/stat : 23592 (java) S 23581 23581 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61278898 14316269568 18934 18446744073709551615 4194304 4196468 140728541011824 139753031535312 139754117871515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23593] ppid=23581 vsize=13980732 CPUtime=1.16 cores=1,3,5,7
/proc/23583/task/23593/stat : 23593 (java) S 23581 23581 18930 0 -1 1077944384 4328 0 0 0 116 0 0 0 20 0 15 0 61278898 14316269568 18934 18446744073709551615 4194304 4196468 140728541011824 139753030481904 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23594] ppid=23581 vsize=13980732 CPUtime=1.19 cores=1,3,5,7
/proc/23583/task/23594/stat : 23594 (java) S 23581 23581 18930 0 -1 1077944384 4081 0 0 0 119 0 0 0 20 0 15 0 61278898 14316269568 18934 18446744073709551615 4194304 4196468 140728541011824 139753029429360 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23595] ppid=23581 vsize=13980732 CPUtime=0.37 cores=1,3,5,7
/proc/23583/task/23595/stat : 23595 (java) S 23581 23581 18930 0 -1 1077944384 2030 0 0 0 37 0 0 0 20 0 15 0 61278898 14316269568 18934 18446744073709551615 4194304 4196468 140728541011824 139753028376816 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23596] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23596/stat : 23596 (java) S 23581 23581 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61278898 14316269568 18934 18446744073709551615 4194304 4196468 140728541011824 139753027324512 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23597] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23597/stat : 23597 (java) S 23581 23581 18930 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 61278904 14316269568 18934 18446744073709551615 4194304 4196468 140728541011824 139753026272048 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 13990244
[startup+6.3007 s]
/proc/loadavg: 2.08 2.00 1.96 3/215 23597
/proc/meminfo: memFree=31382444/32770624 swapFree=0/210124
[pid=23581] ppid=23578 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23581/stat : 23581 (xcsp3-exec) S 23578 23581 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61278885 9740288 345 18446744073709551615 4194304 5098028 140721590703056 140721590701160 139842480984700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 11534336 140721590710682 140721590710886 140721590710886 140721590714347 0
/proc/23581/statm: 2378 345 289 221 0 87 0
[pid=23583] ppid=23581 vsize=13980732 CPUtime=9.23 cores=1,3,5,7
/proc/23583/stat : 23583 (java) S 23581 23581 18930 0 -1 1077944320 24897 0 0 0 917 6 0 0 20 0 15 0 61278893 14316269568 20528 18446744073709551615 4194304 4196468 140728541011824 140728540994368 139754117852919 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
/proc/23583/statm: 3495183 20528 3196 1 0 3483484 0
[pid=23583/tid=23584] ppid=23581 vsize=13980732 CPUtime=6.15 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (java) R 23581 23581 18930 0 -1 4202560 9473 0 0 0 612 3 0 0 20 0 15 0 61278893 14316269568 20528 18446744073709551615 4194304 4196468 140728541011824 139754122089552 139753759512499 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23585] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (java) S 23581 23581 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61278894 14316269568 20528 18446744073709551615 4194304 4196468 140728541011824 139754078750992 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23586] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (java) S 23581 23581 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61278894 14316269568 20528 18446744073709551615 4194304 4196468 140728541011824 139754077698448 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23587] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23587/stat : 23587 (java) S 23581 23581 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61278894 14316269568 20528 18446744073709551615 4194304 4196468 140728541011824 139754076645904 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23588] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23588/stat : 23588 (java) S 23581 23581 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 61278894 14316269568 20528 18446744073709551615 4194304 4196468 140728541011824 139753714805392 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23589] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23589/stat : 23589 (java) S 23581 23581 18930 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 15 0 61278895 14316269568 20528 18446744073709551615 4194304 4196468 140728541011824 139753034693104 139754117864066 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23590] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23590/stat : 23590 (java) S 23581 23581 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61278896 14316269568 20528 18446744073709551615 4194304 4196468 140728541011824 139753033639328 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23591] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23591/stat : 23591 (java) S 23581 23581 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61278896 14316269568 20528 18446744073709551615 4194304 4196468 140728541011824 139753032586736 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23592] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23592/stat : 23592 (java) S 23581 23581 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61278898 14316269568 20528 18446744073709551615 4194304 4196468 140728541011824 139753031535312 139754117871515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23593] ppid=23581 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/23583/task/23593/stat : 23593 (java) S 23581 23581 18930 0 -1 1077944384 5837 0 0 0 133 0 0 0 20 0 15 0 61278898 14316269568 20528 18446744073709551615 4194304 4196468 140728541011824 139753030481904 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23594] ppid=23581 vsize=13980732 CPUtime=1.33 cores=1,3,5,7
/proc/23583/task/23594/stat : 23594 (java) S 23581 23581 18930 0 -1 1077944384 5653 0 0 0 133 0 0 0 20 0 15 0 61278898 14316269568 20528 18446744073709551615 4194304 4196468 140728541011824 139753029429360 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23595] ppid=23581 vsize=13980732 CPUtime=0.38 cores=1,3,5,7
/proc/23583/task/23595/stat : 23595 (java) S 23581 23581 18930 0 -1 1077944384 2149 0 0 0 38 0 0 0 20 0 15 0 61278898 14316269568 20528 18446744073709551615 4194304 4196468 140728541011824 139753028376816 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23596] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23596/stat : 23596 (java) S 23581 23581 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61278898 14316269568 20528 18446744073709551615 4194304 4196468 140728541011824 139753027324512 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23597] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23597/stat : 23597 (java) S 23581 23581 18930 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 15 0 61278904 14316269568 20528 18446744073709551615 4194304 4196468 140728541011824 139753026272048 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
Current children cumulated CPU time (s) 9.23
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 2.08 2.00 1.96 5/215 23675
/proc/meminfo: memFree=31768580/32770624 swapFree=0/210168
[pid=23581] ppid=23578 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23581/stat : 23581 (xcsp3-exec) S 23578 23581 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61278885 9740288 345 18446744073709551615 4194304 5098028 140721590703056 140721590701160 139842480984700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 11534336 140721590710682 140721590710886 140721590710886 140721590714347 0
/proc/23581/statm: 2378 345 289 221 0 87 0
[pid=23583] ppid=23581 vsize=13980732 CPUtime=15.64 cores=1,3,5,7
/proc/23583/stat : 23583 (java) S 23581 23581 18930 0 -1 1077944320 26666 0 0 0 1558 6 0 0 20 0 15 0 61278893 14316269568 23623 18446744073709551615 4194304 4196468 140728541011824 140728540994368 139754117852919 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
/proc/23583/statm: 3495183 23623 3196 1 0 3483484 0
[pid=23583/tid=23584] ppid=23581 vsize=13980732 CPUtime=12.54 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (java) R 23581 23581 18930 0 -1 4202560 9857 0 0 0 1251 3 0 0 20 0 15 0 61278893 14316269568 23623 18446744073709551615 4194304 4196468 140728541011824 139754122092472 139753759513220 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23585] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (java) S 23581 23581 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61278894 14316269568 23623 18446744073709551615 4194304 4196468 140728541011824 139754078750992 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23586] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (java) S 23581 23581 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61278894 14316269568 23623 18446744073709551615 4194304 4196468 140728541011824 139754077698448 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
################
# More data... #
################
[pid=23583/tid=23590] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23590/stat : 23590 (java) S 23581 23581 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 61278896 14316269568 48349 18446744073709551615 4194304 4196468 140728541011824 139753033639328 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23591] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23591/stat : 23591 (java) S 23581 23581 18930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 61278896 14316269568 48349 18446744073709551615 4194304 4196468 140728541011824 139753032586752 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23592] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23592/stat : 23592 (java) S 23581 23581 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61278898 14316269568 48349 18446744073709551615 4194304 4196468 140728541011824 139753031535312 139754117871515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23593] ppid=23581 vsize=13980732 CPUtime=1.51 cores=1,3,5,7
/proc/23583/task/23593/stat : 23593 (java) S 23581 23581 18930 0 -1 1077944384 9416 0 0 0 151 0 0 0 20 0 15 0 61278898 14316269568 48349 18446744073709551615 4194304 4196468 140728541011824 139753030481904 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23594] ppid=23581 vsize=13980732 CPUtime=1.52 cores=1,3,5,7
/proc/23583/task/23594/stat : 23594 (java) S 23581 23581 18930 0 -1 1077944384 8599 0 0 0 152 0 0 0 20 0 15 0 61278898 14316269568 48349 18446744073709551615 4194304 4196468 140728541011824 139753029429360 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23595] ppid=23581 vsize=13980732 CPUtime=0.42 cores=1,3,5,7
/proc/23583/task/23595/stat : 23595 (java) S 23581 23581 18930 0 -1 1077944384 4880 0 0 0 42 0 0 0 20 0 15 0 61278898 14316269568 48349 18446744073709551615 4194304 4196468 140728541011824 139753028376816 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23596] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23596/stat : 23596 (java) S 23581 23581 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61278898 14316269568 48349 18446744073709551615 4194304 4196468 140728541011824 139753027324512 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23597] ppid=23581 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/23583/task/23597/stat : 23597 (java) S 23581 23581 18930 0 -1 1077944384 532 0 0 0 0 1 0 0 20 0 15 0 61278904 14316269568 48349 18446744073709551615 4194304 4196468 140728541011824 139753026272048 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
Current children cumulated CPU time (s) 105.69
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.95 1.95 1.95 3/215 23682
/proc/meminfo: memFree=31545580/32770624 swapFree=0/210276
[pid=23581] ppid=23578 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23581/stat : 23581 (xcsp3-exec) S 23578 23581 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61278885 9740288 345 18446744073709551615 4194304 5098028 140721590703056 140721590701160 139842480984700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 11534336 140721590710682 140721590710886 140721590710886 140721590714347 0
/proc/23581/statm: 2378 345 289 221 0 87 0
[pid=23583] ppid=23581 vsize=13980732 CPUtime=165.75 cores=1,3,5,7
/proc/23583/stat : 23583 (java) S 23581 23581 18930 0 -1 1077944320 41785 0 0 0 16565 10 0 0 20 0 15 0 61278893 14316269568 48997 18446744073709551615 4194304 4196468 140728541011824 140728540994368 139754117852919 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
/proc/23583/statm: 3495183 48997 3221 1 0 3483484 0
[pid=23583/tid=23584] ppid=23581 vsize=13980732 CPUtime=162.12 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (java) R 23581 23581 18930 0 -1 4202560 12699 0 0 0 16207 5 0 0 20 0 15 0 61278893 14316269568 48997 18446744073709551615 4194304 4196468 140728541011824 139754122092208 139753759512880 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23585] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (java) S 23581 23581 18930 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 15 0 61278894 14316269568 48997 18446744073709551615 4194304 4196468 140728541011824 139754078750992 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23586] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (java) S 23581 23581 18930 0 -1 1077944384 1319 0 0 0 0 0 0 0 20 0 15 0 61278894 14316269568 48997 18446744073709551615 4194304 4196468 140728541011824 139754077698448 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23587] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23587/stat : 23587 (java) S 23581 23581 18930 0 -1 1077944384 647 0 0 0 0 0 0 0 20 0 15 0 61278894 14316269568 48997 18446744073709551615 4194304 4196468 140728541011824 139754076645904 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23588] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23588/stat : 23588 (java) S 23581 23581 18930 0 -1 1077944384 181 0 0 0 0 0 0 0 20 0 15 0 61278894 14316269568 48997 18446744073709551615 4194304 4196468 140728541011824 139753714805392 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23589] ppid=23581 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/23583/task/23589/stat : 23589 (java) S 23581 23581 18930 0 -1 1077944384 984 0 0 0 1 0 0 0 20 0 15 0 61278895 14316269568 48997 18446744073709551615 4194304 4196468 140728541011824 139753034693104 139754117864066 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23590] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23590/stat : 23590 (java) S 23581 23581 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 61278896 14316269568 48997 18446744073709551615 4194304 4196468 140728541011824 139753033639328 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23591] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23591/stat : 23591 (java) S 23581 23581 18930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 61278896 14316269568 48997 18446744073709551615 4194304 4196468 140728541011824 139753032586752 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23592] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23592/stat : 23592 (java) S 23581 23581 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61278898 14316269568 48997 18446744073709551615 4194304 4196468 140728541011824 139753031535312 139754117871515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23593] ppid=23581 vsize=13980732 CPUtime=1.53 cores=1,3,5,7
/proc/23583/task/23593/stat : 23593 (java) S 23581 23581 18930 0 -1 1077944384 9553 0 0 0 152 1 0 0 20 0 15 0 61278898 14316269568 48997 18446744073709551615 4194304 4196468 140728541011824 139753030481904 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23594] ppid=23581 vsize=13980732 CPUtime=1.56 cores=1,3,5,7
/proc/23583/task/23594/stat : 23594 (java) S 23581 23581 18930 0 -1 1077944384 8780 0 0 0 156 0 0 0 20 0 15 0 61278898 14316269568 48997 18446744073709551615 4194304 4196468 140728541011824 139753029429360 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23595] ppid=23581 vsize=13980732 CPUtime=0.42 cores=1,3,5,7
/proc/23583/task/23595/stat : 23595 (java) S 23581 23581 18930 0 -1 1077944384 5317 0 0 0 42 0 0 0 20 0 15 0 61278898 14316269568 48997 18446744073709551615 4194304 4196468 140728541011824 139753028376816 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23596] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23596/stat : 23596 (java) S 23581 23581 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61278898 14316269568 48997 18446744073709551615 4194304 4196468 140728541011824 139753027324512 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23597] ppid=23581 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/23583/task/23597/stat : 23597 (java) S 23581 23581 18930 0 -1 1077944384 554 0 0 0 1 1 0 0 20 0 15 0 61278904 14316269568 48997 18446744073709551615 4194304 4196468 140728541011824 139753026272048 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
Current children cumulated CPU time (s) 165.75
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.80 1.90 1.94 3/215 23684
/proc/meminfo: memFree=31552780/32770624 swapFree=0/210312
[pid=23581] ppid=23578 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23581/stat : 23581 (xcsp3-exec) S 23578 23581 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61278885 9740288 345 18446744073709551615 4194304 5098028 140721590703056 140721590701160 139842480984700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 11534336 140721590710682 140721590710886 140721590710886 140721590714347 0
/proc/23581/statm: 2378 345 289 221 0 87 0
[pid=23583] ppid=23581 vsize=13980732 CPUtime=225.8 cores=1,3,5,7
/proc/23583/stat : 23583 (java) S 23581 23581 18930 0 -1 1077944320 43523 0 0 0 22568 12 0 0 20 0 15 0 61278893 14316269568 49784 18446744073709551615 4194304 4196468 140728541011824 140728540994368 139754117852919 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
/proc/23583/statm: 3495183 49784 3221 1 0 3483484 0
[pid=23583/tid=23584] ppid=23581 vsize=13980732 CPUtime=222.12 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (java) R 23581 23581 18930 0 -1 4202560 13320 0 0 0 22207 5 0 0 20 0 15 0 61278893 14316269568 49784 18446744073709551615 4194304 4196468 140728541011824 139754122092352 139753759513112 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23585] ppid=23581 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (java) S 23581 23581 18930 0 -1 1077944384 612 0 0 0 1 0 0 0 20 0 15 0 61278894 14316269568 49784 18446744073709551615 4194304 4196468 140728541011824 139754078750992 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23586] ppid=23581 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (java) S 23581 23581 18930 0 -1 1077944384 1477 0 0 0 1 0 0 0 20 0 15 0 61278894 14316269568 49784 18446744073709551615 4194304 4196468 140728541011824 139754077698448 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23587] ppid=23581 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/23583/task/23587/stat : 23587 (java) S 23581 23581 18930 0 -1 1077944384 713 0 0 0 1 0 0 0 20 0 15 0 61278894 14316269568 49784 18446744073709551615 4194304 4196468 140728541011824 139754076645904 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23588] ppid=23581 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/23583/task/23588/stat : 23588 (java) S 23581 23581 18930 0 -1 1077944384 245 0 0 0 1 0 0 0 20 0 15 0 61278894 14316269568 49784 18446744073709551615 4194304 4196468 140728541011824 139753714805392 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23589] ppid=23581 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/23583/task/23589/stat : 23589 (java) S 23581 23581 18930 0 -1 1077944384 1206 0 0 0 1 0 0 0 20 0 15 0 61278895 14316269568 49784 18446744073709551615 4194304 4196468 140728541011824 139753034693104 139754117864066 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23590] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23590/stat : 23590 (java) S 23581 23581 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 61278896 14316269568 49784 18446744073709551615 4194304 4196468 140728541011824 139753033639328 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23591] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23591/stat : 23591 (java) S 23581 23581 18930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 61278896 14316269568 49784 18446744073709551615 4194304 4196468 140728541011824 139753032586752 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23592] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23592/stat : 23592 (java) S 23581 23581 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61278898 14316269568 49784 18446744073709551615 4194304 4196468 140728541011824 139753031535312 139754117871515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23593] ppid=23581 vsize=13980732 CPUtime=1.53 cores=1,3,5,7
/proc/23583/task/23593/stat : 23593 (java) S 23581 23581 18930 0 -1 1077944384 9735 0 0 0 152 1 0 0 20 0 15 0 61278898 14316269568 49784 18446744073709551615 4194304 4196468 140728541011824 139753030481904 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23594] ppid=23581 vsize=13980732 CPUtime=1.56 cores=1,3,5,7
/proc/23583/task/23594/stat : 23594 (java) S 23581 23581 18930 0 -1 1077944384 8782 0 0 0 156 0 0 0 20 0 15 0 61278898 14316269568 49784 18446744073709551615 4194304 4196468 140728541011824 139753029429360 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23595] ppid=23581 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/23583/task/23595/stat : 23595 (java) S 23581 23581 18930 0 -1 1077944384 5501 0 0 0 43 0 0 0 20 0 15 0 61278898 14316269568 49784 18446744073709551615 4194304 4196468 140728541011824 139753028376816 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23596] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23596/stat : 23596 (java) S 23581 23581 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61278898 14316269568 49784 18446744073709551615 4194304 4196468 140728541011824 139753027324512 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23597] ppid=23581 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/23583/task/23597/stat : 23597 (java) S 23581 23581 18930 0 -1 1077944384 582 0 0 0 1 2 0 0 20 0 15 0 61278904 14316269568 49784 18446744073709551615 4194304 4196468 140728541011824 139753026272048 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
Current children cumulated CPU time (s) 225.8
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.78 1.89 1.93 3/215 23684
/proc/meminfo: memFree=31553708/32770624 swapFree=0/210320
[pid=23581] ppid=23578 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/23581/stat : 23581 (xcsp3-exec) S 23578 23581 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61278885 9740288 345 18446744073709551615 4194304 5098028 140721590703056 140721590701160 139842480984700 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 11534336 140721590710682 140721590710886 140721590710886 140721590714347 0
/proc/23581/statm: 2378 345 289 221 0 87 0
[pid=23583] ppid=23581 vsize=13980732 CPUtime=243.49 cores=1,3,5,7
/proc/23583/stat : 23583 (java) S 23581 23581 18930 0 -1 1077944320 43632 0 0 0 24337 12 0 0 20 0 15 0 61278893 14316269568 50296 18446744073709551615 4194304 4196468 140728541011824 140728540994368 139754117852919 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
/proc/23583/statm: 3495183 50296 3221 1 0 3483484 0
[pid=23583/tid=23584] ppid=23581 vsize=13980732 CPUtime=239.81 cores=1,3,5,7
/proc/23583/task/23584/stat : 23584 (java) R 23581 23581 18930 0 -1 4202560 13327 0 0 0 23976 5 0 0 20 0 15 0 61278893 14316269568 50296 18446744073709551615 4194304 4196468 140728541011824 139754122091704 139753759513225 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23585] ppid=23581 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/23583/task/23585/stat : 23585 (java) S 23581 23581 18930 0 -1 1077944384 613 0 0 0 1 0 0 0 20 0 15 0 61278894 14316269568 50296 18446744073709551615 4194304 4196468 140728541011824 139754078750992 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23586] ppid=23581 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/23583/task/23586/stat : 23586 (java) S 23581 23581 18930 0 -1 1077944384 1479 0 0 0 1 0 0 0 20 0 15 0 61278894 14316269568 50296 18446744073709551615 4194304 4196468 140728541011824 139754077698448 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23587] ppid=23581 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/23583/task/23587/stat : 23587 (java) S 23581 23581 18930 0 -1 1077944384 719 0 0 0 1 0 0 0 20 0 15 0 61278894 14316269568 50296 18446744073709551615 4194304 4196468 140728541011824 139754076645904 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23588] ppid=23581 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/23583/task/23588/stat : 23588 (java) S 23581 23581 18930 0 -1 1077944384 247 0 0 0 1 0 0 0 20 0 15 0 61278894 14316269568 50296 18446744073709551615 4194304 4196468 140728541011824 139753714805392 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23589] ppid=23581 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/23583/task/23589/stat : 23589 (java) S 23581 23581 18930 0 -1 1077944384 1206 0 0 0 1 0 0 0 20 0 15 0 61278895 14316269568 50296 18446744073709551615 4194304 4196468 140728541011824 139753034693104 139754117864066 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23590] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23590/stat : 23590 (java) S 23581 23581 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 61278896 14316269568 50296 18446744073709551615 4194304 4196468 140728541011824 139753033639328 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23591] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23591/stat : 23591 (java) S 23581 23581 18930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 61278896 14316269568 50296 18446744073709551615 4194304 4196468 140728541011824 139753032586752 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23592] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23592/stat : 23592 (java) S 23581 23581 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61278898 14316269568 50296 18446744073709551615 4194304 4196468 140728541011824 139753031535312 139754117871515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23593] ppid=23581 vsize=13980732 CPUtime=1.53 cores=1,3,5,7
/proc/23583/task/23593/stat : 23593 (java) S 23581 23581 18930 0 -1 1077944384 9735 0 0 0 152 1 0 0 20 0 15 0 61278898 14316269568 50296 18446744073709551615 4194304 4196468 140728541011824 139753030481904 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23594] ppid=23581 vsize=13980732 CPUtime=1.56 cores=1,3,5,7
/proc/23583/task/23594/stat : 23594 (java) S 23581 23581 18930 0 -1 1077944384 8782 0 0 0 156 0 0 0 20 0 15 0 61278898 14316269568 50296 18446744073709551615 4194304 4196468 140728541011824 139753029429360 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23595] ppid=23581 vsize=13980732 CPUtime=0.43 cores=1,3,5,7
/proc/23583/task/23595/stat : 23595 (java) S 23581 23581 18930 0 -1 1077944384 5591 0 0 0 43 0 0 0 20 0 15 0 61278898 14316269568 50296 18446744073709551615 4194304 4196468 140728541011824 139753028376816 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23596] ppid=23581 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/23583/task/23596/stat : 23596 (java) S 23581 23581 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61278898 14316269568 50296 18446744073709551615 4194304 4196468 140728541011824 139753027324512 139754117863125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
[pid=23583/tid=23597] ppid=23581 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/23583/task/23597/stat : 23597 (java) S 23581 23581 18930 0 -1 1077944384 583 0 0 0 2 2 0 0 20 0 15 0 61278904 14316269568 50296 18446744073709551615 4194304 4196468 140728541011824 139753026272048 139754117864066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728541016531 140728541016706 140728541016706 140728541020111 0
Current children cumulated CPU time (s) 243.49
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23583 sig 9
??? kill 23581 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23581 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1711
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=117
# CPU time returned by wait4() is 0.001828
# while last known CPU time is 243.49
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 243.49
CPU user time (s): 243.37
CPU system time (s): 0.12
CPU usage (%): 101.45
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001711
system time used= 0.000117
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.924178 second user time and 1.41186 second system time
The end